Relative elegance and Cartesian cubes with one connection
Artikel i vetenskaplig tidskrift, 2025
Författare
Evan Cavallo
Chalmers, Data- och informationsteknik, Computing Science
Christian Sattler
Chalmers, Data- och informationsteknik, Computing Science
Canadian Journal of Mathematics
0008-414X (ISSN) 1496-4279 (eISSN)
Vol. 2025 1-64Bevisteori och semantik för homotopitypteori i högre ordningens kategorier
Vetenskapsrådet (VR) (2019-03765), 2020-01-01 -- 2023-12-31.
Ämneskategorier (SSIF 2025)
Algebra och logik
DOI
10.4153/S0008414X25101466