Pages that link to "Item:Q5055496"
From MaRDI portal
The following pages link to Bicategories in univalent foundations (Q5055496):
Displaying 10 items.
- BGP-reflection functors in root categories. (Q882948) (← links)
- Finitary birepresentations of finitary bicategories (Q2121277) (← links)
- Displayed Categories (Q3121521) (← links)
- (Q4990312) (← links)
- Degrees of bi-embeddable categoricity (Q4995600) (← links)
- Displayed Categories (Q5111300) (← links)
- The Univalence Axiom in posetal model categories (Q5262479) (← links)
- Univalent categories and the Rezk completion (Q5740648) (← links)
- (Q6061668) (← links)
- Bicategorical type theory: semantics and syntax (Q6149956) (← links)