A notion of homotopy for the effective topos

DOI10.1017/S096012951400053XMaRDI QIDQ5740653zbMATH OpenOpenAlexFDO

Authors 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)

Cites work

• Homotopical algebra
• Homotopy theoretic models of identity types
• scientific article; zbMATH DE number 1226952 (Why is no real title available?)
• scientific article; zbMATH DE number 1860105 (Why is no real title available?)
• scientific article; zbMATH DE number 793892 (Why is no real title available?)
• Realizability. An introduction to its categorical side
• The identity type weak factorisation system
• Types are weak -groupoids

Cited in

(7)

• Univalent polymorphism
• Categories of partial equivalence relations as localizations
• A homotopy-theoretic model of function extensionality in the effective topos
• Colimit completions and the effective topos
• Basic subtoposes of the effective topos
• The Sierpinski object in the Scott realizability topos
• Filtered colimits in the effective topos

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

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