On the canonical algebraic structure of a category
type: Item
instance of: scholarly article
title: On the canonical algebraic structure of a category
zbMATH Open document ID: 0965.18005
DOI: 10.1016/S0022-4049(99)00187-5
author: Emilio Faro
author: Max Kelly
published in: Journal of Pure and Applied Algebra
publication date: 2001-08-06T00:00:00Z
review text: Let \({\mathcal A}\) be a locally small category and \(H=\Hom_{\mathcal A}: {\mathcal A}^{\text{op}}\times{\mathcal A}\to{\mathcal S}et\). Define the category \({\mathcal A}^*\) with objects the natural numbers and morphisms \(n\to m\) the natural transformations from \(H^n\) to \(H^m\). \({\mathcal A}^*\) is a Lawvere theory when the class of \(n\)-ary operations \(n\to 1\) is a (small) set for each \(n\). The first few pages of the paper are a useful review of the basic category theory of Lawvere theories. Commutative theories are those for which each operation \(\omega\) realizes as an homomorphism \(\omega_A:{\mathcal A}^n\to {\mathcal A}\) on the algebras. For a commutative \(T\), the category \(T\)-\({\mathcal A}lg\) of \({\mathcal S}et\)-models of \(T\) has a canonical symmetric monoidal closed structure. The authors point out that enrichments of a category \({\mathcal A}\) over such a \(T\)-\({\mathcal A}lg\) correspond to liftings of \(H\) through the forgetful functor \(T\)-\({\mathcal A}lg \to{\mathcal S}et\), and hence to theory-maps \(T\to A^*\). Conditions for \({\mathcal A}^*\) to be an honest theory (i.e., to be small) are also investigated, and the existence of finite powers and of a small cogenerating set in \({\mathcal A}\) (or in \({\mathcal A}^{\text{op}})\) is found to be a sufficient condition. Existence of finite powers in \({\mathcal A}\) (or \({\mathcal A}^{\text{op}})\) also implies that \({\mathcal A}^*\) is commutative, so that in this case \(\mathcal A\) has a canonical enrichment over \({\mathcal A}^*\)-\({\mathcal A}lg\). Among other results, it is shown that \((T\)-\({\mathcal A} lg)^* \cong T^*\cong\) the center of \(T\) (= the subtheory of \(T\) on the operations which commute with all the operations of \(T)\), and \({\mathcal A}^* \cong ({\mathcal A}_f)^*\) if \({\mathcal A}\) is a locally finitely presentable category and \({\mathcal A}_f\) the full subcategory on its finitely presentable objects.
Mathematics Subject Classification ID: 18C10
Mathematics Subject Classification ID: 08B05
Mathematics Subject Classification ID: 18C15
Mathematics Subject Classification ID: 18D20
zbMATH DE Number: 1538803
zbMATH Keywords: algebraic theories
zbMATH Keywords: commutative theories
zbMATH Keywords: enriched categories
reviewed by: Michel Hébert
MaRDI profile type: Publication
cites work: Q5672787
cites work: Q4314472
cites work: Algebra valued functors in general and tensor products in particular
cites work: Q3934579
cites work: FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
cites work: Q5523691
full work available at URL: s0022-4049(99)00187-5
OpenAlex ID: W2028757146
Recommended article: Q4218944
Recommended article: On the commutative algebra of categories
Recommended article: ESSENTIALLY ALGEBRAIC CATEGORIES
Recommended article: The cluster category of a canonical algebra
Recommended article: On the structure of categories of coalgebras
Recommended article: Q3978971
Recommended article: Characterizing categories of algebras
Recommended article: Categories as models on a suitable algebraic theory
Recommended article: Q4309354
Recommended article: On the Structure of Modular Categories
description: scientific article; zbMATH DE number 1538803