Topos theory MOC

Elementary topos

An elementary topos is a category such that1 #m/def/topos

  1. is finitely bicomplete, that is it has all finitary products and coproducts;
  2. has all exponentials;
  3. has a subobject classifier .

#state/develop | #lang/en | #SemBr

Footnotes

  1. 1994. Sheaves in geometry and logic: A first introduction to topos theory, p. 48 ↩