The following pages link to Displayed Categories (Q3121521):
Displaying 8 items.
- The construction of set-truncated higher inductive types (Q2133178) (← links)
- Displayed Categories (Q3121521) (← links)
- (Q4989403) (← links)
- (Q5009703) (← links)
- Bicategories in univalent foundations (Q5055496) (← links)
- Bicategorical type theory: semantics and syntax (Q6149956) (← links)
- What should a generic object be? (Q6174093) (← links)
- Semantics for two-dimensional type theory (Q6649441) (← links)
