Pages that link to "Item:Q4961720"
From MaRDI portal
The following pages link to Model structures on categories of models of type theories (Q4961720):
Displaying 13 items.
- Model structures on exact categories (Q649856) (← links)
- Model structures on pro-categories (Q873717) (← links)
- Modular correspondence between dependent type theories and categories including pretopoi and topoi (Q3371526) (← links)
- (Q4380424) (← links)
- Modular types in some supersimple theories (Q4451735) (← links)
- On fibrant objects in model categories (Q4563227) (← links)
- Categorical structures for type theory in univalent foundations (Q4683858) (← links)
- On the Structure of Mizar Types (Q4924547) (← links)
- Theories with few non-algebraic types over models, and their decompositions (Q5086946) (← links)
- (Q5111175) (← links)
- (Q5752573) (← links)
- Simplicial sets inside cubical sets (Q5858940) (← links)
- A general framework for the semantics of type theory (Q6149910) (← links)