Algebras Versus Coalgebras
详细信息 查看全文
- 作者：Robert Wisbauer
- 关键词：Algebras ; Coalgebras ; Categories ; Hopf algebras
- 刊名：Applied Categorical Structures
- 出版年：2008
- 出版时间：April, 2008
- 年：2008
- 卷：16
- 期：1-2
- 页码：255-295
- 全文大小：708.8 KB
- 刊物类别：Mathematics and Statistics
- 刊物主题：Mathematics
Mathematical Logic and Foundations
Theory of Computation
Convex and Discrete Geometry
Geometry - 出版者：Springer Netherlands
- ISSN：1572-9095
文摘
Algebras and coalgebras are fundamental notions for large parts of mathematics. The basic constructions from universal algebra are now expressed in the language of categories and thus are accessible to classical algebraists and topologists as well as to logicians and computer scientists. Some of them have developed specialised parts of the theory and often reinvented constructions already known in a neighbouring area. One purpose of this survey is to show the connection between results from different fields and to trace a number of them back to some fundamental papers in category theory from the early 1970s. Another intention is to look at the interplay between algebraic and coalgebraic notions. Hopf algebras are one of the most interesting objects in this setting. While knowledge of algebras and coalgebras are folklore in general category theory, the notion of Hopf algebras is usually only considered for monoidal categories. In the course of the text we do suggest how to overcome this defect by defining a Hopf monad on an arbitrary category as a monad and comonad satisfying some compatibility conditions and inducing an equivalence between the base category and the category of the associated bimodules. For a set G, the endofunctor G× – on the category of sets shares these properties if and only if G admits a group structure. Finally, we report about the possibility of subsuming algebras and coalgebras in the notion of ( F , G )-dimodules associated to two functors F,G:\mathbbA? \mathbbBF,G:\mathbb{A}\to \mathbb{B} between different categories. This observation, due to Tatsuya Hagino, was an outcome from the theory of categorical data types and may also be of use in classical algebra.