Factorization systems and adjunctions.
“The kernel functor” from the category of archimedean lattice-ordered groups with distinguished weak unit onto LFrm, of Lindelöf completely regular frames, preserves and reflects monics. In , monics are one-to-one, but not necessarily so in LFrm. An embedding for which is one-to-one is termed kernel-injective, or KI; these are the topic of this paper. The situation is contrasted with kernel-surjective and -preserving (KS and KP). The -objects every embedding of which is KI are characterized;...