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 tt :1 →Ω.

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

Footnotes

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