Constructive Simplicial Homotopy
From MaRDI portal
Abstract: This paper aims to help the development of new models of homotopy type theory, in particular with models that are based on realizability toposes. For this purpose it develops the foundations of an internal simplicial homotopy that does not rely on classical principles that are not valid in realizability toposes and related categories.
This page was built for publication: Constructive Simplicial Homotopy
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6272590)
