From cubes to twisted cubes via graph morphisms in type theory
From MaRDI portal
Publication:6079232
DOI10.4230/LIPICS.TYPES.2019.5arXiv1902.10820MaRDI QIDQ6079232FDOQ6079232
Authors: Nicolai Kraus 
Publication date: 27 October 2023
Full work available at URL: https://arxiv.org/abs/1902.10820
Recommendations
Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Logic in computer science (03B70)
Cites Work
- Title not available (Why is that?)
- Higher Topos Theory (AM-170)
- Homotopy type theory. Univalent foundations of mathematics
- Cohomology of small categories
- A model for the homotopy theory of homotopy theory
- Title not available (Why is that?)
- Univalence for inverse diagrams and homotopy canonicity
- The univalence axiom for elegant Reedy presheaves
- Extending homotopy type theory with strict equality
- 2-Dimensional Directed Type Theory
- Title not available (Why is that?)
- A type theory for synthetic \(\infty\)-categories
- Cubical type theory: a constructive interpretation of the univalence axiom
- Geometric realisations of cubical sets with connections, and classifying spaces of categories
- The Frobenius condition, right properness, and uniform fibrations
- A cubical model of homotopy type theory
- Varieties of cubical sets
- Towards a directed homotopy type theory
- Towards a cubical type theory without an interval
Cited In (1)
This page was built for publication: From cubes to twisted cubes via graph morphisms in type theory
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6079232)
