Quasitopos - Quasitopos

v matematika konkrétně teorie kategorií, a quasitopos je zobecnění a topos. Topos má a klasifikátor podobjektu klasifikace všech podobjektů, ale v quasitopos jsou klasifikovány pouze silné podobjekty. Rovněž se vyžaduje, aby byly kvazitopózy konečně cocomplete a místně kartezián uzavřen.^[1] Solid quasitopos je ten, pro který 0 je silný podobjekt 1.^[2]

Reference

^ Wyler, Oswald (1991). Poznámky k přednášce o Topoi a Quasitopoi. ISBN 978-9810201531. Citováno 3. února 2017.
^ Monro, G.P. (Září 1986). „Quasitopoi, logické a hejtovací modely“. Journal of Pure and Applied Algebra. 42 (2): 141–164. doi:10.1016/0022-4049(86)90077-0.

externí odkazy

Quasitopos v nLab

Tento teorie kategorií související článek je a pahýl. Wikipedii můžete pomoci pomocí rozšiřovat to.

[1] Wyler, Oswald (1991). Poznámky k přednášce o Topoi a Quasitopoi. ISBN 978-9810201531. Citováno 3. února 2017.

[2] Monro, G.P. (Září 1986). „Quasitopoi, logické a hejtovací modely“. Journal of Pure and Applied Algebra. 42 (2): 141–164. doi:10.1016/0022-4049(86)90077-0.

[1]

[2]