Completeness and cocompleteness of the categories of basic pairs and concrete spaces
Hajime Ishihara, Tatsuji Kawai · Mathematical Structures in Computer Science · 2014
We show that the category of basic pairs (BP) and the category of concrete spaces (CSpa) are both small-complete and small-cocomplete in the framework of constructive Zermelo–Frankel set theory extended with the set generation axiom. We also show thatCSpais a coreflective subcategory ofBP.