Pages that link to "Item:Q524707"

The following pages link to Univalence in locally Cartesian closed categories (Q524707):

Displaying 21 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)
• Univalence and completeness of Segal objects (Q2104885) (← 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)
• Brouwer's fixed-point theorem in real-cohesive homotopy type theory (Q4640312) (← links)
• Semantics of higher inductive types (Q4958656) (← links)
• Indexed type theories (Q5156767) (← links)
• Modalities in homotopy type theory (Q5208873) (← links)
• $L'$-localization in an $\infty$-topos (Q5220050) (← links)
• Every Elementary Higher Topos has a Natural Number Object (Q5858943) (← links)
• The effective model structure and -groupoid objects (Q5866297) (← links)
• THE TOM DIECK SPLITTING THEOREM IN EQUIVARIANT MOTIVIC HOMOTOPY THEORY (Q5886986) (← links)
• Constructing coproducts in locally Cartesian closed \(\infty\)-categories (Q6039222) (← links)
• CONDITIONAL FLATNESS, FIBERWISE LOCALIZATIONS, AND ADMISSIBLE REFLECTIONS (Q6200723) (← links)