首页 | 本学科首页   官方微博 | 高级检索  
     


Types and coalgebraic structure
Authors:H. Peter Gumm  Tobias Schröder
Affiliation:(1) Philipps-Universität Marburg, 35032 Marburg, Germany
Abstract:We relate weak limit preservation properties of coalgebraic type functors F to structure theoretic properties of the class$$mathcal{S}et_F $$ of all F-coalgebras. In particular, we give coalgebraic characterizations for the condition that F weakly preserves pullbacks, kernel pairs or preimages. We also describe regular monos and epis. In case that |F(1)| ≠ 1 we show that F preserves preimages iff$$mathcal{H}mathcal{S}(mathcal{K}) = mathcal{S}mathcal{H}(mathcal{K})$$ for every class$$mathcal{K}$$ of F-coalgebras. The case |F(1)| = 1 is left as an open problem.Dedicated to the memory of Ivan RivalReceived August 29, 2003; accepted in final form July 13, 2004.This revised version was published online in August 2005 with a corrected cover date.
Keywords:08C99  18A99
本文献已被 SpringerLink 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号