Pages that link to "Item:Q2104885"
From MaRDI portal
The following pages link to Univalence and completeness of Segal objects (Q2104885):
Displaying 7 items.
- The unambiguity of segmented morphisms (Q967360) (← links)
- On existence of finite universal Korovkin sets in Segal algebras (Q1389816) (← links)
- Univalent completion (Q1659918) (← links)
- Univalent categories and the Rezk completion (Q5740648) (← links)
- Yoneda lemma for simplicial spaces (Q6175166) (← links)
- Internal sums for synthetic fibered \((\infty,1)\)-categories (Q6496511) (← links)
- Two-sided Cartesian fibrations of synthetic \((\infty, 1)\)-categories (Q6612003) (← links)