A tripos based on compact Hausdorff spaces
arXiv:1602.03412
Abstract
The category of compact Hausdorff spaces is the base of tripos. As such it can be freely completed to an elementary topos.
arXiv:1602.03412
The category of compact Hausdorff spaces is the base of tripos. As such it can be freely completed to an elementary topos.