On coalgebras which are algebras

被引:1
|
作者
Porst, HE [1 ]
Dzierzon, C [1 ]
机构
[1] Univ Bremen, Dept Math, D-28334 Bremen, Germany
来源
CATEGORICAL STRUCTURES AND THEIR APPLICATIONS | 2004年
关键词
Sigma-coalgebras; Sigma-labelled trees; presheaf categories;
D O I
10.1142/9789812702418_0017
中图分类号
O1 [数学];
学科分类号
0701 ; 070101 ;
摘要
The category Coalg Sigma of coalgebras with respect to a (bounded) signature Sigma is known to be locally finitely presentable (see [1]). We strenghten this result by showing that Coalg Sigma even is a presheaf category. Moreover, we give a presentation of this category as the category of all algebras of some (many-sorted) signature (without any equations).
引用
收藏
页码:227 / 235
页数:9
相关论文
共 1 条