scientific article; zbMATH DE number 16371

[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.).

Recommendations

Cited in

(21)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3973025)