Globular weak ω-categories as models of a type theory
Domains
Category Theory [math.CT]| Origin | Files produced by the author(s) |
|---|
Conference Papers
Year : 2021
Samuel Mimram : Connect in order to contact the contributor
https://hal.science/hal-04337467
Submitted on : Wednesday, December 13, 2023-4:20:28 PM
Last modification on : Thursday, August 1, 2024-5:08:02 PM
Dates and versions
Identifiers
- HAL Id : hal-04337467 , version 1
Cite
Thibaut Benjamin, Eric Finster, Samuel Mimram. Globular weak ω-categories as models of a type theory. Workshop on Homotopy Type Theory / Univalent Foundations, Jul 2021, The Internet, Argentina. ⟨hal-04337467⟩
34
View
18
Download