On Sweedler's cofree cocommutative coalgebra
نویسندگان
چکیده
منابع مشابه
On the Structure of Cofree Hopf Algebras
We prove an analogue of the Poincaré-Birkhoff-Witt theorem and of the Cartier-Milnor-Moore theorem for non-cocommutative Hopf algebras. The primitive part of a cofree Hopf algebra is a B∞-algebra. We construct a universal enveloping functor U2 from B∞-algebras to 2-associative algebras, i.e. algebras equipped with two associative operations. We show that any cofree Hopf algebra H is of the form...
متن کاملQuasitriangular Structures on Cocommutative Hopf Algebras
The article is devoted to the describtion of quasitriangular structures (universal R-matrices) on cocommutative Hopf algebras. It is known that such structures are concentrated on finite dimensional Hopf subalgebras. In particular, quasitriangular structure on group algebra is defined by the pairs of normal inclusions of an finite abelian group and by invariant bimultiplicative form on it. The ...
متن کاملMongruences and Cofree Coalgebras
A coalgebra is introduced here as a model of a certain signature consisting of a type X with various \destructor" function symbols, satisfying certain equations. These destructor function symbols are like methods and attributes in object-oriented programming: they provide access to the type (or state) X. We show that the category of such coalgebras and structure preserving functions is comonadi...
متن کاملCofree compositions of coalgebras
We develop the notion of the composition of two coalgebras, which arises naturally in higher category theory and the theory of species. We prove that the composition of two cofree coalgebras is cofree and give conditions which imply that the composition is a one-sided Hopf algebra. These conditions hold when one coalgebra is a graded Hopf operad D and the other is a connected graded coalgebra w...
متن کاملOn coalgebra based on classes
The category Class of classes and functions is proved to have a number of properties suitable for algebra and coalgebra: every endofunctor has an initial algebra and a terminal coalgebra, the categories of algebras and coalgebras are complete and cocomplete, and every endofunctor generates a free completely iterative monad. A description of a terminal coalgebra for the power-set functor is prov...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Pure and Applied Algebra
سال: 2015
ISSN: 0022-4049
DOI: 10.1016/j.jpaa.2015.05.012