Colimits of representable algebra-valued functors

MaRDI QIDQ3519056zbMATH OpenFDO

Authors George M. Bergman

Publication date 13 August 2008

Full work available at URL https://arxiv.org/abs/0711.0674, https://eudml.org/doc/129305, http://www.emis.de/journals/TAC/volumes/20/12/20-12abs.html

IPFS File on IPFS (Hint: this is only the Hash - if you get a timeout, this file is not available on our server.)

zbMATH Keywords

latticeringsemigroupcoalgebragroupoidmonoidBoolean ringrepresentable functorlimits and colimitsStone topological algebra

Mathematics Subject Classification ID

Categories of algebras (08C05) Module categories in associative algebras (16D90) Connections of semigroups with homological algebra and category theory (20M50) Sets with a single binary operation (groupoids) (20N02) Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) (18A30) Stone spaces (Boolean spaces) and related structures (06E15) Equational categories (18C05)

Abstract: If C and D are varieties of algebras in the sense of general algebra, then by a representable functor C --> D we understand a functor which, when composed with the forgetful functor D --> Set, gives a representable functor in the classical sense; Freyd showed that these functors are determined by D-coalgebra objects of C. Let Rep(C,D) denote the category of all such functors, a full subcategory of Cat(C,D), opposite to the category of D-coalgebras in C. It is proved that Rep(C,D) has small colimits, and in certain situations, explicit constructions for the representing coalgebras are obtained. In particular, Rep(C,D) always has an initial object. This is shown to be "trivial" unless C and D either both have_no_ zeroary operations, or both have _more_than_one_ derived zeroary operation. In those two cases, the functors in question may have surprisingly opulent structures. It is also shown that every set-valued representable functor on C admits a universal morphism to a D-valued representable functor. Several examples are worked out in detail, and areas for further investigation noted.

Recommendations

• Algebra objects and algebra families for finite limit theories
• Birkhoffs variety theorem for coalgebras
• From varieties of algebras to covarieties of coalgebras
• scientific article; zbMATH DE number 2154590
• On universal categories of coalgebras

Cited in

(3)

• Internal coalgebras in cocomplete categories: Generalizing the Eilenberg–Watts theorem
• Algebra objects and algebra families for finite limit theories
• scientific article; zbMATH DE number 2130881 (Why is no real title available?)

This page was built for publication: Colimits of representable algebra-valued functors

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