Towards a directed homotopy type theory

DOI10.1016/J.ENTCS.2019.09.012OpenAlexW2995356144WikidataQ113317351 ScholiaQ113317351MaRDI QIDQ2133175

Paige Randall North

Publication date: 29 April 2022

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

zbMATH Keywords

dependent type theorydirected homotopy theorysemantics of type theory

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (6)

Unnamed Item ⋮ A formal logic for formal category theory ⋮ Bicategorical type theory: semantics and syntax ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Internal sums for synthetic fibered \((\infty,1)\)-categories

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• The identity type weak factorisation system
• Comprehension categories and the semantics of type dependency
• The simplicial model of univalent foundations (after Voevodsky)
• Homotopical algebra
• Abstract homotopy theory and generalized sheaf cohomology
• 2-Dimensional Directed Type Theory

This page was built for publication: Towards a directed homotopy type theory