Constructive Simplicial Homotopy
Category Theory
2016-04-19 v1
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.
Cite
@article{arxiv.1604.04746,
title = {Constructive Simplicial Homotopy},
author = {Wouter Pieter Stekelenburg},
journal= {arXiv preprint arXiv:1604.04746},
year = {2016}
}
Comments
24 pages