scientific article; zbMATH DE number 7756110

DOI10.4230/lipics.types.2019.5arXiv1902.10820MaRDI QIDQ6079232

Unnamed Author, Nicolai Kraus

Publication date: 27 October 2023

Full work available at URL: https://arxiv.org/abs/1902.10820

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

graph morphismshomotopy type theorycubical setsdirected equality

Mathematics Subject Classification ID

Logic in computer science (03B70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Cohomology of small categories
• A cubical model of homotopy type theory
• Geometric realisations of cubical sets with connections, and classifying spaces of categories
• The Frobenius condition, right properness, and uniform fibrations
• Towards a directed homotopy type theory
• A type theory for synthetic $\infty$-categories
• A model for the homotopy theory of homotopy theory
• Towards a Cubical Type Theory without an Interval
• Cubical Type Theory: a constructive interpretation of the univalence axiom
• Varieties of Cubical Sets
• Homotopy Type Theory: Univalent Foundations of Mathematics
• Higher Topos Theory (AM-170)
• 2-Dimensional Directed Type Theory
• Univalence for inverse diagrams and homotopy canonicity
• The univalence axiom for elegant Reedy presheaves

This page was built for publication: