elementary topos

noun

elementary topos

noun

1

Category theory, Computing, Engineering, Mathematics, Natural sciences, Physical sciences, Sciences A Cartesian closed category which has a subobject classifier.

Hypernyms: locally Cartesian closed category
Hyponyms: Grothendieck topos

Entry derived from the Wiktionary, under licence CC BY-SA 4.0 — list of authors.