Top Qs
Timeline
Chat
Perspective
Quasitopos
Generalization of a topos in mathematics From Wikipedia, the free encyclopedia
Remove ads
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
External links
Wikiwand - on
Seamless Wikipedia browsing. On steroids.
Remove ads