Algebraic Cocompleteness and Finitary Functors

Algebraic Cocompleteness and Finitary Functors

Logical Methods in Computer Science Volume 17, Issue 2, 2021, pp. 23:1–23:30 Submitted Feb. 27, 2020 https://lmcs.episciences.org/ Published May 28, 2021 ALGEBRAIC COCOMPLETENESS AND FINITARY FUNCTORS JIRˇ´I ADAMEK´ ∗ Department of Mathematics, Czech Technical University in Prague, Czech Republic Institute of Theoretical Computer Science, Technical University Braunschweig, Germany e-mail address: [email protected] Abstract. A number of categories is presented that are algebraically complete and cocomplete, i.e., every endofunctor has an initial algebra and a terminal coalgebra. Example: assuming GCH, the category Set≤λ of sets of power at most λ has that property, whenever λ is an uncountable regular cardinal. For all finitary (and, more generally, all precontinuous) set functors the initial algebra and terminal coalgebra are proved to carry a canonical partial order with the same ideal completion. And they also both carry a canonical ultrametric with the same Cauchy completion. Finally, all endofunctors of the category Set≤λ are finitary if λ has countable cofinality and there are no measurable cardinals µ ≤ λ. 1. Introduction The importance of terminal coalgebras for an endofunctor F was clearly demonstrated by Rutten [Rut00]: for state-based systems whose state-objects lie in a category K and whose dynamics are described by F , the terminal coalgebra νF collects behaviors of individual states. And given a system A the unique coalgebra homomorphism from A to νF assigns to every state its behavior. However, not every endofunctor has a terminal coalgebra. Analogously, an initial algebra µF need not exist. Freyd [Fre70] introduced the concept of an algebraically complete category: this means that every endofunctor has an initial algebra. More than a decade prior to Freyd's lecture Trnkov´aproved that the category Set≤ℵ0 of countable sets and mappings is algebraically complete [Trn71], Thm.2. This has inspired Koubek and the author to prove that for every cardinal λ the categories Set≤λ of sets of power at most λ and K- Vec≤λ of vector spaces of dimension at most λ, for any field K, are algebraically complete [AK79], Example 14. The algebraic completeness of the category of classes and maps has been proved in [AMV04]. Key words and phrases: initial algebra, terminal coalgebra, algebraicly complete category, finitary functor. ∗Supported by the Grant Agency of the Czech Republic under the Grant 19-00902S. l LOGICAL METHODS © J. Adámek IN COMPUTER SCIENCE DOI:10.23638/LMCS-17(2:23)2021 CC Creative Commons 23:2 J. Adamek´ Vol. 17:2 We dualize the above concept, and call a category algebraically cocomplete if every endofunctor has a terminal coalgebra. Assuming the generalized continuum hypothesis (GCH), we prove below that for every uncountable, regular cardinal λ the category Set≤λ is algebraically complete and cocomplete. (That is, every endofunctor F has both µF and νF .) In contrast, the category of countable sets is not algebraically cocomplete (Example 2.15). And the algebraic cocompleteness of the category Set≤ℵ1 is proved to be equivalent to the continuum hypothesis (Corollary 2.16). Further examples of algebraically complete and cocomplete categories, assuming GCH, are K- Vec≤λ for regular infinite cardinals λ > jKj and Nom≤λ the category of nominal sets of cardinality at most λ, for regular cardinals λ > @1. And if G is a group with 2jGj < λ, then the category G- Set≤λ of G-sets (sets with an action of G) of cardinality at most λ is algebraically complete and cocomplete. If we work in the category of cpo's as our base category, then Smyth and Plotkin proved in [SP82] that the initial algebra coincides with the terminal coalgebra for all locally continuous endofunctors. That is, the underlying objects are equal, and the structure maps are inverse to each other. Is there a connection between initial algebras µF and terminal coalgebras νF for set functors F , too? We concentrate on precontinuous set functors which is a generalization of finitary set functors encompassing also all continuous functors (preserving limits of !op-chains) and closed under arbitrary products, subfunctors, coproducts and composition. Each precontinuous functor has a terminal coalgebra νF which carries a canonical partial order, and an initial algebra that, as a subposet of νF , has the same ideal cpo-completion whenever F ;= 6 ;. Consquently, assuming GCH, if the initial algebra is uncountable, it has the same cardinality as the terminal coalgebra. And, analogously, assuming GCH the initial algebra and terminal coalgebra of a precon- tinuous functor with F ; 6= ; carry a canonical ultrametric such that the Cauchy completions of µF and νF coincide. This complements the result of Barr [Bar93] that for every finitary, continuous set functor with F ; 6= ; the metric space νF is the Cauchy completion of µF . Finitary functors are also a topic of the last section devoted to non-regular cardinals: if λ is a cardinal of countable cofinality, we prove that every endofunctor of Set≤λ is finitary, assuming that no measurable cardinal is smaller or equal to λ. For example for λ = @!. Surprisingly, Set≤ℵ! is not algebraically complete. Related Work This paper extends results of the paper [Ad´a19] presented at the conference CALCO 2019. The result about the ideal cpo-completion of the initial algebra and the last section on non-regular cardinals are new. In [Ad´a19] a proof was presented that assuming GCH, a set functor F having µF of uncountable regular cardinality has νF of the same cardinality. Unfortunately, the proof was not correct. We present in Corollary 4.15 a different proof assuming F is precontinuous. Acknowledgement The author is grateful to the referees for a number of very useful comments. And to George Janelidze, Stefan Milius, Larry Moss and Walter Tholen for valuable discussions. Vol. 17:2 ALGEBRAIC COCOMPLETENESS AND FINITARY FUNCTORS 23:3 2. Algebraically Cocomplete Categories For a number of categories K we prove that the full subcategory K≤λ on objects of power at most λ is algebraically cocomplete. Power is a cardinal defined below. Definition 2.1. An object A is called connected if whenever it is isomorphic to a coproduct, then it is isomorphic to one of the summands. (In particular, A is not initial.) An object has power λ if it is a coproduct of λ connected objects and λ is the least cardinal possible. Example 2.2. In Set, connected objects are the singleton sets, and power has its usual meaning. In the category K-Vec of vector spaces over a field K the connected spaces are those of dimension one, and power means dimension. In the category SetS of many-sorted sets the connected objects are those with precisely one element (in all sorts together), and ` the power of X = (Xs)s2S is simply j Xsj. s2S Definition 2.3. A category K is said to have width w(K) if it has coproducts, every object is a coproduct of connected objects, and w(K) is the smallest cardinal β such that (a) K has at most β connected objects up to isomorphism, and (b) for all cardinals α ≥ β there exist at most α morphisms from a connected object to an object of power α. Example 2.4. (1) Set has width 1. More generally, SetS has width jSj. Indeed, in Example 2.2 we have seen that the number of connected objects up to isomorphism is jSj, and (b) clearly holds. (2) K-Vec has width jKj + @0. Indeed, the only connected object, up to isomorphism, is K. For a space X of dimension α the number of morphisms from K to X is jXj. If K is infinite, then α ≥ jKj implies jXj = α (and jKj = jKj + @0). For K finite, the least cardinal λ such that jXj ≤ α holds for every α-dimensional spaces X with α ≥ λ is @0 (= jKj + @0). (3) G-Set, the category of sets with an action of the group G, has width at most 2jGj for infinite groups, and at most @0 for finite ones, see our next lemma. Recall that objects are pairs (X; ·) where X is a set and · is a function from G × X to X (notation: gx for g 2 G and x 2 X) such that h(gx) = (hg)x for h; g 2 G and x 2 X; and ex = x for x 2 X (e neutral in G) : Morphisms are the equivariant functions: those preserving the unary operation g:− for every g 2 G. (4) The category Nom of nominal sets has width @0, see 2.7 below. Recall that for a given countably infinite set A, the group Sf (A) of finite permutations consists of all composites of transpositions. A nominal set is a set X together with an action of the group Sf (A) on it (notation: πx for π 2 Sf (A) and x 2 X) such that every element x 2 X has a finite support. This means a finite subset A ⊆ A such that for every finite permutation we have: π(a) = a for all a 2 A implies πx = x: Morphisms are the equivariant functions. 23:4 J. Adamek´ Vol. 17:2 Lemma 2.5. For every group G the category G-Set of sets with an action of G has width jGj w(G- Set) ≤ 2 + @0 : Proof. (1) We first observe an important example of a G-set given by any equivalence relation ∼ on G which is equivariant, i.e., fulfils g ∼ g0 ) hg ∼ hg0 for all g; g0; h 2 G: Then the quotient set G= ∼ is a G-set (of equivalence classes [g]) w.r.t.

View Full Text

Details

  • File Type
    pdf
  • Upload Time
    -
  • Content Languages
    English
  • Upload User
    Anonymous/Not logged-in
  • File Pages
    30 Page
  • File Size
    -

Download

Channel Download Status
Express Download Enable

Copyright

We respect the copyrights and intellectual property rights of all users. All uploaded documents are either original works of the uploader or authorized works of the rightful owners.

  • Not to be reproduced or distributed without explicit permission.
  • Not used for commercial purposes outside of approved use cases.
  • Not used to infringe on the rights of the original creators.
  • If you believe any content infringes your copyright, please contact us immediately.

Support

For help with questions, suggestions, or problems, please contact us