论文信息 - On the Factorization Theorem of a Monotone Morphism in a Topos

On the Factorization Theorem of a Monotone Morphism in a Topos

In this paper, we investigate the factorization of a monotone morphism between two partially ordered objects in an arbitrary elementary topos by means of diagram proof. And then a new factorization theorem in an arbitrary elementary topos which is similar to the classical one is obtained.

Tao Lu | Hong Lu | T. Lu | H. Lu

[1] J. Isbell. First steps in descriptive theory of locales , 1991 .

[2] John R. Isbell,et al. Atomless Parts of Spaces. , 1972 .

[3] Horst Herrlich,et al. Category theory , 1979 .

[4] A. Joyal,et al. An extension of the Galois theory of Grothendieck , 1984 .

[5] André Joyal,et al. Continuous categories and exponentiable toposes , 1982 .

[6] Liu Ying-Ming,et al. Steenrod's theorem for locales , 1998, Mathematical Proceedings of the Cambridge Philosophical Society.

[7] S. Lane,et al. Sheaves In Geometry And Logic , 1992 .

[8] S. Lane. Categories for the Working Mathematician , 1971 .

[9] P. Johnstone,et al. REVIEWS-Sketches of an elephant: A topos theory compendium , 2003 .