Monadicity of Inj0 over Top
Received:June 25, 1998  
Key Words: category   dual adjunction   meet-semilattice.  
Fund Project:Supported by the Natural Science Foundation of China (19701020) and Supported by the Teaching and Research Award Fund for Qutstanding Young Teachers in Higher Education Institiions of MOE.
Author NameAffiliation
ZHAO Dong-sheng Nanyang Technological University
Singapore 
ZHAO Bin Dept. of Math.
Shaanxi Normal University
Xi′an
China 
Hits: 2335
Download times: 1125
Abstract:
      In this paper, we mainly prove that the category Inj0 of all injective T0-spaces and strongly algebraic maps is monadic over Top by showing that Inj0 is equal to the Eilenberg-Moore category TopT, where T is the monad produced by an dual adjunction between the category Top and the category Slat of all meet-semilattices which have top elements and semilattice homomorphisms.
Citation:
DOI:10.3770/j.issn:1000-341X.2000.04.001
View Full Text  View/Add Comment