A Yoneda lemma-formulation of the univalence axiom
Author: Iosif Petrakis
Paper Information
| Title: | A Yoneda lemma-formulation of the univalence axiom |
| Authors: | Iosif Petrakis |
| Proceedings: | HoTT/UF Abstracts |
| Editors: | Benedikt Ahrens, Simon Huber and Anders Mörtberg |
| Keywords: | type theory, univalent foundations, univalence axiom |
| Abstract: | ABSTRACT. |
| Pages: | 2 |
| Talk: | Jul 08 11:00 (Session 38H) |
| Paper: |  |