No label defined (Q3973025)

[For the entire collection see Zbl 0721.00020.] A quasitopos, as defined by \textit{J. Penon} [Cah. Topologie Géom. Différ. 18, 181-218 (1977; Zbl 0401.18002)], is a Cartesian closed category with representable strong partial morphisms. (This representability condition says roughly that each object can be expanded canonically by adding a point, call it ''undefined'', in such a way that certain partial maps can be treated as total by giving the value ''undefined'' for points not in the domain.) \textit{O. Wyler} [Lect. Notes Math. 540, 699-719 (1976; Zbl 0354.54001)] introduced the quasitopos hull \(Q(\mathbb{K})\) of a concrete category \(\mathbb{K}\) as the smallest concrete quasitopos in which \(\mathbb{K}\) is a full, concrete subcategory, closed under finite limits. In the present paper, the author: (1) characterizes those concrete categories that indeed have quasitopos hulls; (2) gives a new construction of \(Q(\mathbb{K})\) when it exists; and (3) specifies \(Q(\mathbb{K})\) for certain well-known choices of \(\mathbb{K}\). (Examples include: (a) \(\mathbb{K}\) = Hausdorff spaces and continuous maps, \(Q(\mathbb{K})\) = pseudotopological spaces; and (b) \(\mathbb{K}\) = metric spaces and continuous maps, \(Q(\mathbb{K})\) = sequential spaces.).