CVNA is complete and cocomplete, but not locally presentable. Its opposite category (compact strictly localizable enhanced measurable spaces) also has interesting properties: it is complete, cocomplete, has a subobject classifier, subobjects form a complete Boolean algebra, is a regular category, but is not a topos.
This issue has been created by Dmitri Pavlov via the submission form on https://catdat.app/categories
CVNA is complete and cocomplete, but not locally presentable. Its opposite category (compact strictly localizable enhanced measurable spaces) also has interesting properties: it is complete, cocomplete, has a subobject classifier, subobjects form a complete Boolean algebra, is a regular category, but is not a topos.
This issue has been created by Dmitri Pavlov via the submission form on https://catdat.app/categories