Completeness and cocompleteness of the categories of basic pairs and concrete spaces

Abstract

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.