A notion of homotopy for the effective topos

DOI10.1017/S096012951400053XzbMATH Open1362.18006OpenAlexW2098942552MaRDI QIDQ5740653FDOQ5740653

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

• Title not available (Why is that?)
• Title not available (Why is that?)
• Homotopical algebra
• Types are weak \(\omega \)-groupoids
• Homotopy theoretic models of identity types
• The identity type weak factorisation system
• Realizability. An introduction to its categorical side
• Title not available (Why is that?)

Cited In (7)

• Filtered colimits in the effective topos
• A homotopy-theoretic model of function extensionality in the effective topos
• Title not available (Why is that?)
• Colimit completions and the effective topos
• Univalent polymorphism
• Categories of partial equivalence relations as localizations
• Basic subtoposes of 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)