A characterization of concrete quasitopoi by injectivity (Q809173)

\textit{H. Herrlich} and \textit{G. E. Strecker} [Quaest. Math. 9, 263-280 (1986; Zbl 0614.18003)] described the injective objects (w.r.t. full embeddings) in the quasicategory of concrete categories over a fixed category \({\mathfrak X}\) with concrete finite products as the concretely Cartesian closed topological categories. Here, the authors show that there is no analogous result when trading products for finite limits, even for \({\mathfrak X}\) the category of sets. However, for \({\mathfrak X}\) finitely complete, an analogous result exists in the quasicategory of concrete categories over \({\mathfrak X}\) which admit initial lifts of finite products and of regular subobjects. In particular, for a quasitopos \({\mathfrak X}\), one obtains as injective objects the concrete quasitopoi with concrete exponentials, and injective hulls are precisely the quasitopos hulls.