The equivariant model structure on cartesian cubical sets
From MaRDI portal
Cites work
- A 2-categorical proof of Frobenius for fibrations defined from a generic point
- A constructive account of the Kan-Quillen model structure and of Kan's Ex^ functor
- A cubical model of homotopy type theory
- A Kripke model for simplicial sets
- ABSTRACT HOMOTOPY
- Abstract homotopy theory and generalized sheaf cohomology
- Algebraic weak factorisation systems. I: Accessible AWFS.
- An algebraic weak factorisation system on 01-substitution sets: a constructive proof
- Canonicity for cubical type theory
- Cartesian cubical computational type theory: Constructive reasoning with paths and equalities
- Cartesian cubical model categories
- Cubical assemblies, a univalent and impredicative universe and a failure of propositional resizing
- Cubical type theory: a constructive interpretation of the univalence axiom
- Effective Kan fibrations in simplicial sets
- Exact homotopy squares and derivators
- Foundations of Software Science and Computation Structures
- Functional Kan simplicial sets: non-constructivity of exponentiation
- Grothendieck's homotopy theory
- Higher Topos Theory (AM-170)
- Homotopical algebra
- Homotopy canonicity for cubical type theory
- Homotopy theoretic models of identity types
- Homotopy type theory. Univalent foundations of mathematics
- scientific article; zbMATH DE number 6694181 (Why is no real title available?)
- scientific article; zbMATH DE number 3692654 (Why is no real title available?)
- scientific article; zbMATH DE number 3779585 (Why is no real title available?)
- scientific article; zbMATH DE number 3521950 (Why is no real title available?)
- scientific article; zbMATH DE number 1226952 (Why is no real title available?)
- scientific article; zbMATH DE number 1241699 (Why is no real title available?)
- scientific article; zbMATH DE number 7003193 (Why is no real title available?)
- scientific article; zbMATH DE number 1924514 (Why is no real title available?)
- scientific article; zbMATH DE number 1840601 (Why is no real title available?)
- scientific article; zbMATH DE number 1420782 (Why is no real title available?)
- scientific article; zbMATH DE number 5219541 (Why is no real title available?)
- Internal type theory
- Internal universes in models of homotopy type theory
- Kripke-Joyal forcing for type theory and uniform fibrations
- Modal dependent type theory and dependent right adjoints
- Model structure on the universe of all types in interval type theory
- Monoidal algebraic model structures
- Natural models of homotopy type theory
- Non-constructivity in Kan simplicial sets
- On an extension of the notion of Reedy category
- On higher inductive types in cubical type theory
- On Hofmann-Streicher universes
- Presheaves as models for homotopy types
- Quotient inductive-inductive types
- Syntax and models of Cartesian cubical type theory
- The Constructive Kan–Quillen Model Structure: Two New Proofs
- The derivator of setoids
- The Frobenius condition, right properness, and uniform fibrations
- The local universes model: an overlooked coherence construction for dependent type theories
- The simplicial model of univalent foundations (after Voevodsky)
- The theory and practice of Reedy categories
- The univalence axiom for elegant Reedy presheaves
- The univalence axiom in cubical sets
- Topological and simplicial models of identity types
- Towards a constructive simplicial model of Univalent Foundations
- Understanding the small object argument
- Unifying Cubical Models of Univalent Type Theory
- Varieties of cubical sets
This page was built for publication: The equivariant model structure on cartesian cubical sets
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7239609)
