Exact completion of path categories and algebraic set theory. I: Exact completion of path categories
Lua error in Module:PublicationMSCList at line 28: attempt to call field 'getDbData' (a nil value).
Lua error in Module:PublicationShowAbstract at line 21: attempt to call field 'getDbData' (a nil value).
The authors introduce a variant of Brown's notion of category of fibrant objects in which the class of weak equivalences satisfies the \(2\)-out-of-\(6\) property and in which every object is cofibrant. The authors develop the basic properties of such a category and its associated homotopy category. Subsequently, they show how the exact completion of this homotopy category can be obtained as the homotopy category associated to a larger category with path objects, obtained by freely adjoining certain homotopy quotients. In a second part of this paper, the authors present an application to models of constructive set theory.
- The exact completion for regular categories enriched in posets
- The fullness axiom and exact completion of homotopy categories
- scientific article; zbMATH DE number 19484
- scientific article; zbMATH DE number 1247371
- scientific article; zbMATH DE number 1251511
- scientific article; zbMATH DE number 4138013
- The category of complete lattices as a category of algebras
- scientific article; zbMATH DE number 177183
- Exact completion and representations in abelian categories
- Idempotent completion of extriangulated categories
- Abstract homotopy theory and generalized sheaf cohomology
- Extensional constructs in intensional type theory
- Homotopical algebra
- Homotopy limits in type theory
- Homotopy theoretic models of identity types
- scientific article; zbMATH DE number 3927168 (Why is no real title available?)
- scientific article; zbMATH DE number 3754682 (Why is no real title available?)
- scientific article; zbMATH DE number 194040 (Why is no real title available?)
- scientific article; zbMATH DE number 1226952 (Why is no real title available?)
- scientific article; zbMATH DE number 1251511 (Why is no real title available?)
- scientific article; zbMATH DE number 3794304 (Why is no real title available?)
- scientific article; zbMATH DE number 2117177 (Why is no real title available?)
- Introduction to extensive and distributive categories
- Locally cartesian closed exact completions
- Path categories and propositional identity types
- Quasicategories of frames of cofibration categories
- Rational homotopy theory
- Regular and exact completions
- Setoids in type theory
- Some free constructions in realizability and proof theory
- The identity type weak factorisation system
- The univalence axiom for elegant Reedy presheaves
- Univalence for inverse diagrams and homotopy canonicity
- Univalence in locally Cartesian closed categories
- When do completion processes give rise to extensive categories?
- Univalent polymorphism
- A characterisation of elementary fibrations
- The two out of three property in ind-categories and a convenient model category of spaces
- scientific article; zbMATH DE number 1251511 (Why is no real title available?)
- Homotopy theory of cofibration categories
- The fullness axiom and exact completion of homotopy categories
- Exact completion and constructive theories of sets
- W-types in setoids
- The effective model structure and \(\infty\)-groupoid objects
- The derivator of setoids
- On the homotopy hypothesis for 3-groupoids
- Quotients, pure existential completions and arithmetic universes
- -type theories
- Relating homotopy equivalences to conservativity in dependent type theories with computation axioms
- Biased elementary doctrines and quotient completions
- Groupoidal realizability for intensional type theory
- A 2-categorical approach to the semantics of dependent type theory with computation axioms
This page was built for publication: Exact completion of path categories and algebraic set theory. I: Exact completion of path categories
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1748403)
