Algebra objects and algebra families for finite limit theories
type: Item
instance of: scholarly article
title: Algebra objects and algebra families for finite limit theories
zbMATH Open document ID: 0777.18002
DOI: 10.1016/0022-4049(92)90047-J
author: Michael Johnson
author: R. F. C. Walters
published in: Journal of Pure and Applied Algebra
publication date: 1993-05-16T00:00:00Z
review text: A functor \(F: \mathbb{C}\to\text{\textbf{Set}}\) is called familially representable if it is a coproduct of representable functors, a representing family for \(F\) being a family \((A_ i)_{i\in I}\) of objects of \(\mathbb{C}\) such that \(F\simeq\coprod_{i\in I}\Hom_{\mathbb{C}}(A_ i,-)\). The purpose of the paper is to describe the structure that the family \((A_ i)_{i\in I}\) inherits from the functor \(F\). When \(F\) has, for example, an algebraic structure, the family \((A_ i)_{i\in I}\) gets the structure of an ``algebra family''. Conversely, any ``algebra family'' of objects in \(\mathbb{C}\) provides a familially representable functor carrying an algebraic structure. For example, the free monoid functor \(M: \text{\textbf{Set}}\to\text{\textbf{Set}}\) is familially representable and its representing family has the structure of a ``comonoid family''. Other examples are given involving ``cocategory family'' and giving explicit constructions of categories such as the Moore construction of a category of paths in a topological space, and other free constructions.
Mathematics Subject Classification ID: 18A40
Mathematics Subject Classification ID: 18C99
zbMATH DE Number: 166157
zbMATH Keywords: algebra family
zbMATH Keywords: algebraic structure
zbMATH Keywords: familially representable functor
zbMATH Keywords: free constructions
reviewed by: Yves Diers
MaRDI profile type: Publication
cites work: Categories multialgebriques
cites work: Q3810814
cites work: The duality between flow charts and circuits
cites work: Q4215784
full work available at URL: 0022-4049(92)90047-j
OpenAlex ID: W2087654506
description: scientific article; zbMATH DE number 166157