Pages that link to "Item:Q524707"
From MaRDI portal
The following pages link to Univalence in locally Cartesian closed categories (Q524707):
Displaying 12 items.
- Graphs, hypergraphs, and properads (Q276737) (← links)
- Model topoi and motivic homotopy theory (Q1627553) (← links)
- Univalent completion (Q1659918) (← links)
- Exact completion of path categories and algebraic set theory. I: Exact completion of path categories (Q1748403) (← links)
- Parametrized spectra, multiplicative Thom spectra and the twisted Umkehr map (Q1757325) (← links)
- The simplicial model of univalent foundations (after Voevodsky) (Q2031691) (← links)
- Filter quotients and non-presentable \((\infty,1)\)-toposes (Q2040521) (← links)
- The \(\infty\)-categorical Eckmann-Hilton argument (Q2279080) (← links)
- Polynomial functors and combinatorial Dyson–Schwinger equations (Q2981022) (← links)
- Data Types with Symmetries and Polynomial Functors over Groupoids (Q3178294) (← links)
- The effective model structure and -groupoid objects (Q5866297) (← links)
- CONDITIONAL FLATNESS, FIBERWISE LOCALIZATIONS, AND ADMISSIBLE REFLECTIONS (Q6200723) (← links)
