Galois connections categorically (Q2639163): Difference between revisions

This is an expansion of a previous paper [Lect. Notes Comput. Sci. 239, 122-134 (1986; Zbl 0615.06002)]. It is a somewhat discursive discussion of Galois connections in (briefly) partially ordered sets, concrete categories, and categories. In concrete categories the authors consider only Galois connections commuting with the forgetful functors, which are shown to have some nice features; for instance, they are closed under composition. In general categories authors make precise reviewer's loose observation [Am. J. Math. 94, 535-596 (1972; Zbl 0439.18009)] that ``pre- Galois'' connections must be Galois, and more usefully, they give a local version. There are also some quite substantial examples.