A notion of homotopy for the effective topos

DOI10.1017/S096012951400053XzbMath1362.18006OpenAlexW2098942552MaRDI QIDQ5740653

Jaap van Oosten

Publication date: 27 July 2016

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s096012951400053x

Mathematics Subject Classification ID

Topoi (18B25) Abstract and axiomatic homotopy theory in algebraic topology (55U35)

Related Items (4)

Categories of partial equivalence relations as localizations ⋮ Univalent polymorphism ⋮ Unnamed Item ⋮ A homotopy-theoretic model of function extensionality in the effective topos

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• The identity type weak factorisation system
• Realizability. An introduction to its categorical side
• Homotopical algebra
• Types are weak ω -groupoids
• Homotopy theoretic models of identity types

This page was built for publication: A notion of homotopy for the effective topos