The effective model structure and infinity-groupoid objects
Artikel i vetenskaplig tidskrift, 2022
Model structure
Författare
Nicola Gambino
University of Leeds
Simon Henry
University of Ottawa
Christian Sattler
Chalmers, Data- och informationsteknik, Computing Science
Karol Szumilo
Uniwersytet Warszawski
Forum of Mathematics, Sigma
20505094 (eISSN)
Vol. 10 e34Bevisteori 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
Sannolikhetsteori och statistik
Reglerteknik
DOI
10.1017/fms.2022.13