PlanetMath:

(more info)

Math for the people, by the people.

donor list - find out how

Main Menu

Encyclopedia by subject

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

generalized toposes with many-valued logic subobject classifiers owned by bci1 natural numbers object owned by mps quantum logic toposes owned by bci1 subobject classifier owned by CWoo topos owned by CWoo
Show empty categories:
[ up \| top ]