Algebras over variable theories.

DOI10.1007/S00012-002-8174-3MaRDI QIDQ1771899zbMATH OpenOpenAlexFDO

Authors M. Nečesal, Jiří Rosický, David B. Benson

Publication date 19 April 2005

Published in Algebra Universalis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00012-002-8174-3

algebraic theory variety of \(S\)-sorted varieties

Theories (e.g., algebraic theories), structure, and semantics (18C10) Abstract data types; algebraic specification (68Q65)

Review text

By a theory is meant a small category \(\mathcal T\) equipped with a choice of finite products. A functor \(A : {\mathcal T} \rightarrow \mathcal {SET}\) preserving the chosen products is called an algebra of \(\mathcal T\) and by \(\text{ALG}({\mathcal T})\) is denoted the category of algebras of \(\mathcal T\) and their homomorphisms. Further, \(\text{ALG}_{\mathcal T}\) is the category whose objects are pairs \((F,A)\) where \(F : {\mathcal T} \rightarrow {\mathcal S}\) is a concrete theory morphism and \(A : {\mathcal S} \rightarrow \mathcal{SET}\) an algebra of \(\mathcal S\); morphisms \((F_{1},A_{1}) \rightarrow (F_{2},A_{2})\) are pairs \((H,\varphi )\) where \(H : {\mathcal S}_{1} \rightarrow {\mathcal S}_{2}\) is a concrete theory morphism such that \(H \cdot F_{1} = F_{2}\) and \(\varphi : A_{1} \rightarrow A_{2} \cdot H\) is a homomorphism of \(S_{1}\)-algebras. To each theory \(\mathcal T\) is found a theory \(\alpha {\mathcal T}\) whose category of algebras is isomorphic to \(\text{ALG}_{\mathcal T}\). Iterating this processing, it is found \(\xi {\mathcal T}\) such that \(\text{ALG}(\xi {\mathcal T})\) is isomorphic to \(\text{ALG}_{\xi {\mathcal T}}\) for each \(\mathcal T\) of \(\underline{\mathcal T}\), where \(\underline{\mathcal T}\) is the category of theories.

Recommendations

Cited in

(16)

This page was built for publication: Algebras over variable theories.

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