Exact completion of path categories and algebraic set theory. I: Exact completion of path categories

DOI10.1016/J.JPAA.2017.11.017zbMath1420.18034arXiv1603.02456OpenAlexW2962800673MaRDI QIDQ1748403

Ieke Moerdijk, Benno van den Berg

Publication date: 11 May 2018

Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1603.02456

zbMATH Keywords

homotopy theoryconstructive set theoryexact completionpath objectcategory with fibrant objects

Mathematics Subject Classification ID

Abstract and axiomatic homotopy theory in algebraic topology (55U35)

Related Items (6)

A characterisation of elementary fibrations ⋮ Unnamed Item ⋮ EXACT COMPLETION AND CONSTRUCTIVE THEORIES OF SETS ⋮ Univalent polymorphism ⋮ W-types in setoids ⋮ The effective model structure and -groupoid objects

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Univalence in locally Cartesian closed categories
• The identity type weak factorisation system
• Introduction to extensive and distributive categories
• Regular and exact completions
• Locally cartesian closed exact completions
• Some free constructions in realizability and proof theory
• Quasicategories of frames of cofibration categories
• Homotopical algebra
• Rational homotopy theory
• Homotopy theoretic models of identity types
• Setoids in type theory
• Path Categories and Propositional Identity Types
• Extensional Constructs in Intensional Type Theory
• Abstract homotopy theory and generalized sheaf cohomology
• Homotopy limits in type theory
• Univalence for inverse diagrams and homotopy canonicity
• When do completion processes give rise to extensive categories?
• The univalence axiom for elegant Reedy presheaves

This page was built for publication: Exact completion of path categories and algebraic set theory. I: Exact completion of path categories