Results 1 
4 of
4
Cohomology of Algebraic Theories
 J. of Algebra
, 1991
"... this paper were announced in [11], [18]. Some of them were obtained by the second author only, in particular, the main theorem of Section 2. 2. On the Mac Lane Cohomology In this section we prove Theorem A, which is concerned with the relationship between Mac Lane cohomology of rings and Ext groups ..."
Abstract

Cited by 36 (18 self)
 Add to MetaCart
(Show Context)
this paper were announced in [11], [18]. Some of them were obtained by the second author only, in particular, the main theorem of Section 2. 2. On the Mac Lane Cohomology In this section we prove Theorem A, which is concerned with the relationship between Mac Lane cohomology of rings and Ext groups in functor categories; related questions are discussed. Let us recall the denition of the Mac Lane cohomology from [13]. Consider the sets Cn with 2 n elements  ntuples ("1 ; :::; "n ), where " i = 0 or 1, for n > 0 and i 6 n, and the 0tuple ( ) for n = 0. For convenience Cn can be visualized as the set of vertices of an ncube, the product of n copies of the 1cube with vertices 0 and 1. Dene maps 0 i ; 1 i : Cn ! Cn+1 , 1 6 i 6 n + 1, by the equalities 0 i ("1 ; :::; "n) = ("1 ; :::; " i 1 ; 0; " i+1 ; :::; "n ); 1 i ("1 ; :::; "n) = ("1 ; :::; " i 1 ; 1; " i+1 ; :::; "n ): For an abelian group A and a set S, let A[S] denote the sum of S copies of the group A. Since the sets Cn are nite, the group A[Cn ] can be identied with the group of all maps t : Cn ! A: Let Q 0 n (A) be the free abelian group generated by the set A[Cn ], i. e., Q 0 n (A) = Z[A[Cn ]]: Following Mac Lane [13], dene for i = 1; 2; :::; n the homomorphisms R i ; S i ; P i : Q 0 n (A) ! Q 0 n 1 (A) by R i = Z[R i ]; S i = Z[S i ]; P i = Z[P i ]; COHOMOLOGY OF ALGEBRAIC THEORIES 257 where R i ; S i ; P i : A[Cn ] ! A[Cn 1 ] are homomorphisms dened for e 2 Cn 1 and t 2 A[Cn ] by (R i t)(e) = t(0 i e); (S i t)(e) = t(1 i e); (P i t)(e) = t(0 i e) + t(1 i e): In [13], Mac Lane denes the boundary homomorphism @ : Q 0 n (A) ! Q 0 n 1 (A) by the equality @ = n X i=1 ( 1) i (P i R i S i ): A generator t : Cn ! A of the group Q 0 n (A) is called a slab when t( ) = 0, for n...
Finitary construction of free algebras for equational systems
, 2008
"... The purpose of this paper is threefold: to present a general abstract, yet practical, notion of equational system; to investigate and develop the finitary construction of free algebras for equational systems; and to illustrate the use of equational systems as needed in modern applications. Key words ..."
Abstract

Cited by 1 (0 self)
 Add to MetaCart
(Show Context)
The purpose of this paper is threefold: to present a general abstract, yet practical, notion of equational system; to investigate and develop the finitary construction of free algebras for equational systems; and to illustrate the use of equational systems as needed in modern applications. Key words: Equational system; algebra; free construction; monad. 1
SEQUENTIAL MULTICATEGORIES
"... tion with its cartesian structure and with sequential multicategories (whose arrows are sequences of concurrent arrows in a given category). Then we consider cartesian multicategories in a similar perspective and develop some peculiar items such as algebraic products. Several classical facts arise ..."
Abstract
 Add to MetaCart
(Show Context)
tion with its cartesian structure and with sequential multicategories (whose arrows are sequences of concurrent arrows in a given category). Then we consider cartesian multicategories in a similar perspective and develop some peculiar items such as algebraic products. Several classical facts arise as a consequence of this analysis when some of the multicategories involved are representable. 1.