A notion of homotopy for the effective topos
From MaRDI portal
Publication:5740653
Cites work
- 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?)
- Homotopical algebra
- Homotopy theoretic models of identity types
- Realizability. An introduction to its categorical side
- The identity type weak factorisation system
- Types are weak \(\omega \)-groupoids
Cited in
(7)- Colimit completions and the effective topos
- Filtered colimits in the effective topos
- A homotopy-theoretic model of function extensionality in the effective topos
- Basic subtoposes of the effective topos
- Univalent polymorphism
- Categories of partial equivalence relations as localizations
- scientific article; zbMATH DE number 7243674 (Why is no real title available?)
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)