Topological improvements of categories of structured sets

Cartesian closed topological hull Cartesian closedness concrete category construct injective hull MacNeille completion quasitopos topological quasitopos hull

Mathematics Subject Classification ID

Embedding theorems, universal categories (18B15) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Categorical methods in general topology (54B30)

Review text

A category \({\mathcal A}\) with a forgetful functor \(U: {\mathcal A}\to Set\) is called a construct if every constant map between \({\mathcal A}\)-objects is an \({\mathcal A}\)-morphism. Examples include Top, Unif and Prox. These examples are also topological, i.e., they have sufficient initial and final objects. Unfortunately, many topologists and analysts have found that being topological is not enough; that more ``convenience properties are needed for a satisfactory construct. Two of these properties are ``Cartesian closedness and ``heredity. The author discusses how one might embed constructs into various convenient ``hulls (``completions in some sense). Many examples are given, and constructions described. Foundational problems are also briefly discussed, and there are many references to the current literature.

Recommendations

Cites work

Cited in

(28)

This page was built for publication: Topological improvements of categories of structured sets

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