Univalence in locally cartesian closed ∞-categories

David Gepner, Joachim Kock

Research output: Contribution to journalArticleResearchpeer-review

16 Citations (Scopus)

Fingerprint

Dive into the research topics of 'Univalence in locally cartesian closed ∞-categories'. Together they form a unique fingerprint.

Mathematics

Medicine and Dentistry

Computer Science