| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 8959562 | Advances in Mathematics | 2018 | 38 Pages |
Abstract
This allows a precise formulation of the conjectures that intensional type theory gives internal languages for higher categories, and provides a framework and toolbox for further progress on these conjectures.
Keywords
Related Topics
Physical Sciences and Engineering
Mathematics
Mathematics (General)
Authors
Krzysztof Kapulkin, Peter LeFanu Lumsdaine,