Types and coalgebraic structure

被引:28
|
作者
Gumm, HP [1 ]
Schröder, T [1 ]
机构
[1] Univ Marburg, D-35032 Marburg, Germany
关键词
08C99; 18A99;
D O I
10.1007/s00012-005-1888-2
中图分类号
O1 [数学];
学科分类号
0701 ; 070101 ;
摘要
We relate weak limit preservation properties of coalgebraic type functors F to structure theoretic properties of the class Set(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 vertical bar F(1)vertical bar not equal 1 we show that F preserves preimages iff HS(K) = SH(K) for every class K of F-coalgebras. The case vertical bar F (1)vertical bar = 1 is left as an open problem.
引用
收藏
页码:229 / 252
页数:24
相关论文
共 50 条
  • [41] Algebraic and Coalgebraic Logic Corner
    Venema, Yde
    JOURNAL OF LOGIC AND COMPUTATION, 2009, 19 (02) : 303 - 303
  • [42] A Coalgebraic Perspective on Logical Interpretations
    M. A. Martins
    A. Madeira
    L. S. Barbosa
    Studia Logica, 2013, 101 : 783 - 825
  • [43] Finitary coalgebraic multisemilattices and multilattices
    Cabrera, I. P.
    Cordero, P.
    Gutierrez, G.
    Martinez, J.
    Ojeda-Aciego, M.
    APPLIED MATHEMATICS AND COMPUTATION, 2012, 219 (01) : 31 - 44
  • [44] Coalgebraic semantics for component systems
    Glesner, Sabine
    Blech, Jan Olaf
    ARCHITECTING SYSTEMS WITH TRUSTWORTHY COMPONENTS, 2006, 3938 : 245 - 261
  • [45] Preorders on Monads and Coalgebraic Simulations
    Katsumata, Shin-ya
    Sato, Tetsuya
    FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES (FOSSACS 2013), 2013, 7794 : 145 - 160
  • [46] Types of sperm structure and corresponding types of ovum structure
    Liu, Yun
    Hunan Shifan Daxue Ziran Kexue Xuebao/Natural Sciences Journal of Hunan Normal University, 1992, 15 (02):
  • [47] Simplified coalgebraic trace equivalence
    Kurz, Alexander
    Milius, Stefan
    Pattinson, Dirk
    Schröder, Lutz
    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2015, 8950 : 75 - 90
  • [48] On institutions for modular coalgebraic specifications
    Kurz, A
    Hennicker, R
    THEORETICAL COMPUTER SCIENCE, 2002, 280 (1-2) : 69 - 103
  • [49] A Coalgebraic View of Heyting Duality
    Brian A. Davey
    John C. Galati
    Studia Logica, 2003, 75 (3) : 259 - 270
  • [50] A Coalgebraic Theory of Reactive Systems
    Bonchi, Filippo
    Montanari, Ugo
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2008, 209 : 201 - 215