The following pages link to (Q5089004):
Displaying 10 items.
- Finitary birepresentations of finitary bicategories (Q2121277) (← links)
- The construction of set-truncated higher inductive types (Q2133178) (← links)
- (Q4684236) (← links)
- (Q4990312) (← links)
- Degrees of bi-embeddable categoricity (Q4995600) (← links)
- Bicategories in univalent foundations (Q5055496) (← links)
- The Univalence Axiom in posetal model categories (Q5262479) (← links)
- (Q6061668) (← links)
- Semantics for two-dimensional type theory (Q6649441) (← links)
- A Cartesian bicategory of polynomial functors in homotopy type theory (Q6653748) (← links)