A category modeled after the properties of the category of sets. A category E is a topos if E has finite limits and every object of E has a power object (Barr and Wells 1985, p. 75)

See also

Category, Logos

Explore with Wolfram|Alpha


Barr, M. and Wells, C. Toposes, Triples and Theories. New York: Springer-Verlag, 1985.Freyd, P. J. and Scedrov, A. Categories, Allegories. Amsterdam, Netherlands: North-Holland, 1990.MacLane, S. and Moerdijk, I. Sheaves in Geometry and Logic: A First Introduction to Topos Theory. New York: Springer, pp. 24-30, 1994.McLarty, C. Elementary Categories, Elementary Toposes. New York: Oxford University Press, 1992.

Referenced on Wolfram|Alpha


Cite this as:

Weisstein, Eric W. "Topos." From MathWorld--A Wolfram Web Resource.

Subject classifications