Pages that link to "Item:Q1748403"
From MaRDI portal
The following pages link to Exact completion of path categories and algebraic set theory. I: Exact completion of path categories (Q1748403):
Displaying 8 items.
- Homotopy theory of cofibration categories (Q505369) (← links)
- Univalent polymorphism (Q1987219) (← links)
- A characterisation of elementary fibrations (Q2131276) (← links)
- The two out of three property in ind-categories and a convenient model category of spaces (Q2981749) (← links)
- EXACT COMPLETION AND CONSTRUCTIVE THEORIES OF SETS (Q5148098) (← links)
- W-types in setoids (Q5155691) (← links)
- The effective model structure and -groupoid objects (Q5866297) (← links)
- Quotients, pure existential completions and arithmetic universes (Q6593819) (← links)