Distributive law between a monad and a comonad
 
 
Description:  This work is mainly motivated by the modern approach to the deformation theory of associative algebras.
The idea is to unify notions of different <i>\infty</i>-algebras, such as <I>A<sub>\infty</sub></i>-algebras or <i>B<sub>\infty</sub></i>-algebras. The situation is usually as follows. We have a monad <i>M</i> and a comonad <I>N</i> on a category <i>C</i> with a distributive law <i>\lambda\colon MN\to NM</i> between them. Then we consider the category of <i>M<sup>N</sup></i>-algebras, where <i>M<sup>N</sup></i>-algebra is just an object <i>A</i> of <i>C</i> together with a structure of <i>M</i>-algebra on <i>NA</i>. It turns out that under mild conditions on <i>C</i> there exists indeed a monad <i>M<sup>N</sup></i> that justifies the notion of <i>M<sup>N</sup></i>-algebra.
Date:  2010-11-09
Start Time:   15:00
Speaker:  Ivan Yudin (CMUC)
Institution:  CMUC
Place:  Sala 5.5
Research Groups: -Algebra, Logic and Topology
See more:   <Main>  
 
© Centre for Mathematics, University of Coimbra, funded by
Science and Technology Foundation
Powered by: rdOnWeb v1.4 | technical support