The Constructive Kan-Quillen Model Structure: Two New Proofs (2022)

First Author: Gambino N
Attributed to:  Monoidal bicategories, linear logic and operads funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Digital Object Identifier: http://dx.doi.org/10.1093/qmath/haab057

Publication URI: http://dx.doi.org/10.1093/qmath/haab057

Type: Journal Article/Review

Parent Publication: The Quarterly Journal of Mathematics

Issue: 4