The enriched Vietoris monad on representable spaces (Q2249254): Difference between revisions

This paper continues the author's categorical investigation of the formal analogy between ordered sets and topological spaces, [\textit{D. Hofmann}, Adv. Math. 215, No. 2, 789--824 (2007; Zbl 1127.18001); J. Pure Appl. Algebra 215, No. 3, 283--302 (2011; Zbl 1228.18001)]. In this analogy, for instance, the down-set monad corresponds to the filter monad and cocomplete ordered sets translate to continuous lattices. One of the key ideas is that of a \(\mathcal{T}\)-category for a topological theory, \(\mathcal{T}\), (for which see [Zbl 1127.18001]). This concept embodies several types of space, not only topological and metric ones, but also approach spaces, and comes naturally with corresponding notions of \(\mathcal{T}\)-functors and \(\mathcal{T}\)-distributors. It also extends the notion of \(\mathcal{V}\)-category for \(\mathcal{V}\) a non-trivial quantale. The theory of \(\mathcal{T}\)-categories, together with that of analogues of weighted limits and colimits in this context are developed and related to more classical topological ideas such as the Vietoris monad and continuous lattices.