Geodesic
A unified framework for notions of algebraic theory
Theory and applications of categories, Tome 34 (2019), pp. 1246-1316.

Voir la notice de l'article provenant de la source Theory and Applications of Categories website

Universal algebra uniformly captures various algebraic structures, by expressing them as equational theories or abstract clones. The ubiquity of algebraic structures in mathematics and related fields has given rise to several variants of universal algebra, such as theories of symmetric operads, non-symmetric operads, generalised operads, PROPs, PROs, and monads. These variants of universal algebra are called {notions of algebraic theory}. In this paper, we develop a unified framework for them. The key observation is that each notion of algebraic theory can be identified with a monoidal category, in such a way that algebraic theories correspond to monoid objects therein. To incorporate semantics, we introduce a categorical structure called {metamodel}, which formalises a definition of models of algebraic theories. We also define morphisms between notions of algebraic theory, which are a monoidal version of profunctors. Every strong monoidal functor gives rise to an adjoint pair of such morphisms, and provides a uniform method to establish isomorphisms between categories of models in different notions of algebraic theory. A general structure-semantics adjointness result and a double categorical universal property of categories of models are also shown.
Publié le :
Classification : 18C10, 18D05
Keywords: Algebraic theories, clones, operads, double limits 
@article{TAC_2019_34_a39,
     author = {Soichiro Fujii},
     title = {A unified framework for notions of algebraic theory},
     journal = {Theory and applications of categories},
     pages = {1246--1316},
     publisher = {mathdoc},
     volume = {34},
     year = {2019},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/TAC_2019_34_a39/}
}
TY  - JOUR
AU  - Soichiro Fujii
TI  - A unified framework for notions of algebraic theory
JO  - Theory and applications of categories
PY  - 2019
SP  - 1246
EP  - 1316
VL  - 34
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/TAC_2019_34_a39/
LA  - en
ID  - TAC_2019_34_a39
ER  - 
%0 Journal Article
%A Soichiro Fujii
%T A unified framework for notions of algebraic theory
%J Theory and applications of categories
%D 2019
%P 1246-1316
%V 34
%I mathdoc
%U http://geodesic.mathdoc.fr/item/TAC_2019_34_a39/
%G en
%F TAC_2019_34_a39
Soichiro Fujii. A unified framework for notions of algebraic theory. Theory and applications of categories, Tome 34 (2019), pp. 1246-1316. http://geodesic.mathdoc.fr/item/TAC_2019_34_a39/