The Constructive Kan-Quillen Model Structure: Two New Proofs
Artikel i vetenskaplig tidskrift, 2022
Författare
Nicola Gambino
University of Leeds
Christian Sattler
Chalmers, Data- och informationsteknik, Computing Science
Karol Szumilo
Uniwersytet Warszawski
Quarterly Journal of Mathematics
0033-5606 (ISSN) 1464-3847 (eISSN)
Vol. 73 4 1307-1373Bevisteori och semantik för homotopitypteori i högre ordningens kategorier
Vetenskapsrådet (VR) (2019-03765), 2020-01-01 -- 2023-12-31.
Ämneskategorier
Algebra och logik
Geometri
Matematisk analys
DOI
10.1093/qmath/haab057