# Quasitopos

From HandWiki

__: Generalization of a topos in mathematics__

**Short description**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.^{[1]} A solid quasitopos is one for which 0 is a strong subobject of 1.^{[2]}

## References

- ↑ Wyler, Oswald (1991).
*Lecture Notes on Topoi and Quasitopoi*. ISBN 978-9810201531. https://books.google.com/books?id=7Cj9N7ctjl8C. Retrieved 3 February 2017. - ↑ 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 in
*nLab*

Original source: https://en.wikipedia.org/wiki/Quasitopos.
Read more |