The effective model structure and infinity-groupoid objects
Journal article, 2022
Model structure
Author
Nicola Gambino
University of Leeds
Simon Henry
University of Ottawa
Christian Sattler
Chalmers, Computer Science and Engineering (Chalmers), Computing Science
Karol Szumilo
University of Warsaw
Forum of Mathematics, Sigma
20505094 (eISSN)
Vol. 10 e34Proof theory and higher categorical semantics of homotopy type theory
Swedish Research Council (VR) (2019-03765), 2020-01-01 -- 2023-12-31.
Subject Categories
Algebra and Logic
Probability Theory and Statistics
Control Engineering
DOI
10.1017/fms.2022.13