Strong Monad
Lambert M. Surhone, Mariam T. Tennoe, Susan F. Henssonow
High Quality Content by WIKIPEDIA articles! In category theory, a strong monad over a monoidal category (C,otimes,I) is a monad (T,?,?) together with a natural transformation t_{A,B} : Aotimes TBto T(Aotimes B), called (tensorial) strength, such that the diagrams. In category theory, a monad or triple is an (endo-)functor, together with two associated natural transformations. Monads are important in the theory of pairs of adjoint functors, and they generalize closure operators on partially ordered sets to arbitrary categories. The notion of "algebras for a monad" generalizes classical notions from universal algebra, and in this sense, monads can be thought of as "theories". Данное издание не является...
ISBN: 978-6-1312-3424-8
Издательство:
Книга по требованию
Дата выхода: июль 2011