A tripos based on compact Hausdorff spaces
Category Theory
2016-02-11 v1
Abstract
The category of compact Hausdorff spaces is the base of tripos. As such it can be freely completed to an elementary topos.
Cite
@article{arxiv.1602.03412,
title = {A tripos based on compact Hausdorff spaces},
author = {Fabio Pasquali},
journal= {arXiv preprint arXiv:1602.03412},
year = {2016}
}