Théories homotopiques dans les topos. (Homotopy theories in topoi)
From MaRDI portal
Publication:1850079
DOI10.1016/S0022-4049(01)00176-1zbMath1015.18009OpenAlexW2033555113MaRDI QIDQ1850079
Publication date: 2 December 2002
Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/s0022-4049(01)00176-1
Topoi (18B25) Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20) Localization of categories, calculus of fractions (18E35)
Related Items (14)
On combinatorial model categories ⋮ Remarks on combinatorial and accessible model categories ⋮ A model structure à la Thomason on 2-Cat ⋮ Combinatorial and accessible weak model categories ⋮ Left determined model structures for locally presentable categories ⋮ Homotopy-Theoretic Models of Type Theory ⋮ Univalence in locally Cartesian closed categories ⋮ Symmetric cubical sets ⋮ On fibrant objects in model categories ⋮ Univalence for inverse diagrams and homotopy canonicity ⋮ Homotopical algebraic geometry. I: Topos theory ⋮ Semantics of higher inductive types ⋮ A homotopy-theoretic model of function extensionality in the effective topos ⋮ Weak model categories in classical and constructive mathematics
Cites Work
This page was built for publication: Théories homotopiques dans les topos. (Homotopy theories in topoi)