Pages that link to "Item:Q4581462"
From MaRDI portal
The following pages link to Path Categories and Propositional Identity Types (Q4581462):
Displaying 10 items.
- ``Pathologies'' in two syntactic categories of partial maps (Q1115866) (← links)
- Exact completion of path categories and algebraic set theory. I: Exact completion of path categories (Q1748403) (← links)
- Univalent polymorphism (Q1987219) (← links)
- A characterisation of elementary fibrations (Q2131276) (← links)
- Models of type theory based on Moore paths (Q4611383) (← links)
- On the identity type as the type of computational paths (Q4644591) (← links)
- Model structures on categories of models of type theories (Q4961720) (← links)
- CATEGORICAL HARMONY AND PATH INDUCTION (Q5274880) (← links)
- Type-n Arrow Categories (Q5283219) (← links)
- Univalence for inverse diagrams and homotopy canonicity (Q5740656) (← links)