Path Categories and Propositional Identity Types

DOI10.1145/3204492zbMath1407.03005arXiv1604.06001OpenAlexW2964293103MaRDI QIDQ4581462

Benno van den Berg

Publication date: 20 August 2018

Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)

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

zbMATH Keywords

type theoryhomotopy theorycategorical logic

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Topological categories, foundations of homotopy theory (55U40)

Related Items (4)

A characterisation of elementary fibrations ⋮ Univalent polymorphism ⋮ Exact completion of path categories and algebraic set theory. I: Exact completion of path categories ⋮ Unnamed Item

This page was built for publication: Path Categories and Propositional Identity Types