CatDat

elementary topos

An elementary topos is a cartesian closed category with finite limits and a subobject classifier.

Relevant implications

Examples

Counterexamples

Unknown

For these categories the database has no info if they satisfy this property or not.