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

Boolean ringcoalgebragroupoidlatticelimits and colimitsmonoidrepresentable functorringsemigroupStone topological algebra

Mathematics Subject Classification ID

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

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)

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

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)