Community hub
0 subscribers7 pages, 0 posts
Recent from talks
Be the first to start a discussion here.
Be the first to start a discussion here.
Be the first to start a discussion here.
Be the first to start a discussion here.
Contribute something
Welcome to the community hub built to collect knowledge and have discussions related to Quasitopos.
Nothing was collected or created yet.
Quasitopos
View on Wikipediafrom Wikipedia
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
[edit]- ^ Wyler, Oswald (1991). Lecture Notes on Topoi and Quasitopoi. ISBN 978-9810201531. 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
[edit]- Quasitopos at the nLab
 | This category theory-related article is a stub. You can help Wikipedia by expanding it. |