Quasitopos Explained

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]

Notes and References

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