Pages that link to "Item:Q2946651"

The following pages link to Topological and Simplicial Models of Identity Types (Q2946651):

Displaying 27 items.

• Modeling Martin-Löf type theory in categories (Q280835) (← links)
• A cubical model of homotopy type theory (Q1799035) (← links)
• On the construction of functorial factorizations for model categories (Q1948311) (← links)
• The Frobenius condition, right properness, and uniform fibrations (Q2013548) (← links)
• A characterisation of elementary fibrations (Q2131276) (← links)
• Equipping weak equivalences with algebraic structure (Q2305674) (← links)
• The Local Universes Model (Q2957763) (← links)
• Homotopy-Theoretic Models of Type Theory (Q3007656) (← links)
• A homotopy-theoretic model of function extensionality in the effective topos (Q3119466) (← links)
• (Q3121020) (← links)
• Natural models of homotopy type theory (Q3130300) (← links)
• Mathesis Universalis and Homotopy Type Theory (Q3305624) (← links)
• Homotopy theoretic models of identity types (Q3598111) (← links)
• Three extensional models of type theory (Q3625679) (← links)
• (Q4611383) (← links)
• Categorical structures for type theory in univalent foundations (Q4683858) (← links)
• A Hurewicz Model Structure for Directed Topology (Q4994670) (← links)
• (Q5028425) (← links)
• Elementary fibrations of enriched groupoids (Q5084307) (← links)
• Identity types and weak factorization systems in Cauchy complete categories (Q5108537) (← links)
• Models of Type Theory Based on Moore Paths (Q5111326) (← links)
• (Q5119392) (← links)
• Type Theory and Homotopy (Q5253928) (← links)
• Univalence for inverse diagrams and homotopy canonicity (Q5740656) (← links)
• MODELS OF MARTIN-LÖF TYPE THEORY FROM ALGEBRAIC WEAK FACTORISATION SYSTEMS (Q5879185) (← links)
• Martin-Löf identity types in C-systems (Q6139425) (← links)
• Towards a constructive simplicial model of Univalent Foundations (Q6176777) (← links)