PlanetMath:

(more info)

Math for the people, by the people.

Main Menu

Encyclopedia by subject

18B25 - Category theory; homological algebra :: Special categories :: Topoi

axioms of elementary topoi owned by bci1 axioms of metacategories and supercategories owned by bci1 generalized toposes with many-valued logic subobject classifiers owned by bci1 natural numbers object owned by mps quantum logics toposes owned by bci1 subobject classifier owned by CWoo topos owned by CWoo
Show empty categories:
[ up \| top ]