Cohomology of algebraic theories (Q2644751): Difference between revisions

The first result considers the relations between MacLane cohomology of rings with coefficients in a bimodule [\textit{S. MacLane}: Homologie des anneaux des modules, Colloque de Topologie Algébrique, Louvain 1956, 55-80 (1957; Zbl 0084.267)] and Ext groups in functor categories. That leads to define the cohomology of an associative ring R with coefficients in a functor from free generated left R-modules to left R-modules. Connections with the cohomology of small categories are given (particularly classifying the extensions of R in the category of algebraic theories). Then, it appears that the domain of the cohomology here defined must be the category of algebraic theories, rather than that of rings. The generalization of this cohomology to algebraic theories given here is a case of Barr and Beck cotriple cohomology [\textit{M. Barr} and \textit{J. Beck}: Acyclic models and triples, Proc. Conf. Categorical Algebra, La Jolla 1965, 336-343 (1966; Zbl 0201.354)].