퀘이시토포스
Quasitopos수학, 특히 범주론에서 퀘이시토포스는 토포스의 일반화다.topos에는 모든 하위 객체를 분류하는 하위 객체 분류기가 있지만, quasitopos에서는 강한 하위 객체만 분류된다.또한 퀘이토포스는 정밀하게 완전해야 하고 국소적으로 카르테시안을 닫아야 한다.[1]고체 퀘이시토포스는 0이 1의 강한 하위 개체인 것이다.[2]
참조
- ^ 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.
