Misplaced Pages

In mathematics, specifically category theory, a quasitopos is a generalization of a topos. A topos has a subobject classifier classifying all subobjects, but in a quasitopos, only strong subobjects are classified. Quasitoposes are also required to be finitely cocomplete and locally cartesian closed. A solid quasitopos is one for which 0 is a strong subobject of 1.

References

1. Wyler, Oswald (1991). Lecture Notes on Topoi and Quasitopoi. ISBN 978-9810201531. Retrieved 3 February 2017.
2. Monro, G.P. (September 1986). "Quasitopoi, logic and heyting-valued models". Journal of Pure and Applied Algebra. 42 (2): 141–164. doi:10.1016/0022-4049(86)90077-0.

External links

• Quasitopos at the nLab

This category theory-related article is a stub. You can help Misplaced Pages by expanding it.

• v
• t
• e

• Topos theory
• Category theory stubs