The following pages link to Quasi-unital \(\infty\)-categories (Q498739):
Displayed 4 items.
- Segal spaces, spans, and semicategories (Q5150171) (← links)
- Higher Structures in Homotopy Type Theory (Q6075425) (← links)
- Locally (co)Cartesian fibrations as realisation fibrations and the classifying space of cospans (Q6134510) (← links)
- Two-level type theory and applications (Q6149950) (← links)