Search

As composites of constant, finite (co)product, identity, and powerset functors, Kripke polynomial functors form a relevant class of Set -functors in the theory of coalgebras. The main goal of this paper is to expand the theory of limits in categories of coalgebras of Kripke polynomial functors to the context of quantale-enriched categories. To assume the role of the powerset functor we consider "powerset-like" functors based on the Hausdorff V -category structure. As a starting point, we show that for a lifting of a Set -functor to a topological category X over Set that commutes with the forgetful functor, the corresponding category of coalgebras over X is topological over the category of coalgebras over Set and, therefore, it is "as complete" but cannot be "more complete". Secondly, based on a Cantor-like argument, we observe that Hausdorff functors on categories of quantale-enriched categories do not admit a terminal coalgebra. Finally, in order to overcome these "negative" results, we combine quantale-enriched categories and topology à la Nachbin. Besides studying some basic properties of these categories, we investigate "powerset-like" functors which simultaneously encode the classical Hausdorff metric and Vietoris topology and show that the corresponding categories of coalgebras of "Kripke polynomial" functors are (co)complete. [ABSTRACT FROM AUTHOR]

W denotes the category of archimedean ℓ-groups with designated weak unit and ℓ-homomorphisms that preserve the weak unit, and B is the bounded coreflection in W. Comp denotes the category of compact Hausdorff spaces with continuous maps, and Y : W → Comp is the familiar Yosida functor. The enormous collection hcW of hull classes in W and the somewhat less enormous collection ccComp of covering classes in Comp are clearly related 'via' Y, but rather unclearly in the details. In an earlier paper we investigated the relationship between hcW and ccComp and continue to do so here, now focusing on the role of B. Among other things, (i) we define B-saturated hull classes and the sub-species Y-saturated and type μ, (ii) show that for a hull class H of the latter two types, but not always the first, Y[ H] is a covering class, and (iii) describe the various ways the three types relate. This paper is the second installment in our ongoing investigation of the complex taxonomy of hull classes. [ABSTRACT FROM AUTHOR]