A convenient category of locally preordered spaces
Algebraic Topology
2008-12-06 v3
Abstract
As a practical foundation for a homotopy theory of abstract spacetime, we extend a category of certain compact partially ordered spaces to a convenient category of locally preordered spaces. In particular, we show that our new category is Cartesian closed and that the forgetful functor to the category of compactly generated spaces creates all limits and colimits.
Cite
@article{arxiv.0709.3646,
title = {A convenient category of locally preordered spaces},
author = {Sanjeevi Krishnan},
journal= {arXiv preprint arXiv:0709.3646},
year = {2008}
}
Comments
26 pages, 0 figures, partially presented at GETCO 2005; changes: claim of Prop. 5.11 weakened to finite case and proof changed due to problems with proof of Lemma 3.26, now removed; Eg. 2.7, statement before Lem. 2.11, typos, and other minor problems corrected throughout; extensive rewording; proof of Lem. 3.31, now 3.30, added