Hurewicz fibrations in elementary toposes
Algebraic Topology
2019-09-12 v4
Abstract
We study formal counterparts of Hurewicz fibrations and related topological notions in elementary toposes with NNO. The constructions are based on a specific notion of interval and lead to a structure of category of fibrant objects on toposes equipped with such a datum. We get in fact slightly more as the building blocks are derived from a weak factorisation system.
Keywords
Cite
@article{arxiv.1608.02509,
title = {Hurewicz fibrations in elementary toposes},
author = {Krzysztof Worytkiewicz},
journal= {arXiv preprint arXiv:1608.02509},
year = {2019}
}