CARTESIAN CLOSED TOPOLOGICAL HULLS AS INJECTIVE HULLS
R. Herrlich, George E. Strecker · Quaestiones Mathematicae · 1986
It is shown that (concretely) Cartesian closed topological hulls can be characterized as injective hulls in a rather natural setting. The characterization of locale hulls as injective hulls in the category of (meet-) semilattices by Bruns & Lakser and Born & Kimura constitutes a special case.