scientific article; zbMATH DE number 7756110

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

Title of this publication is not available (Why is that?)

zbMATH Keywords

homotopy type theorycubical setsgraph morphismsdirected equality

Mathematics Subject Classification ID

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)

• Transpension: the right adjoint to the Pi-type

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6079232)