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 条
  • [21] Modal Logics are Coalgebraic
    Cirstea, Corina
    Kurz, Alexander
    Pattinson, Dirk
    Schroeder, Lutz
    Venema, Yde
    COMPUTER JOURNAL, 2011, 54 (01): : 31 - 41
  • [22] On a coalgebraic view on Logic
    Hofmann, Dirk
    Martins, Manuel A.
    JOURNAL OF LOGIC AND COMPUTATION, 2013, 23 (05) : 1097 - 1106
  • [23] Exercises in coalgebraic specification
    Jacobs, B
    ALGEBRAIC AND COALGEBRAIC METHODS IN THE MATHEMATICS OF PROGRAM CONSTRUCTION, 2002, 2297 : 237 - 280
  • [24] A coalgebraic semantics of subtyping
    Poll, E
    RAIRO-INFORMATIQUE THEORIQUE ET APPLICATIONS-THEORETICAL INFORMATICS AND APPLICATIONS, 2001, 35 (01): : 61 - 81
  • [25] Traces for coalgebraic components
    Hasuo, Ichiro
    Jacobs, Bart
    MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 2011, 21 (02) : 267 - 320
  • [26] Coalgebraic Predicate Logic
    Litak, Tadeusz
    Pattinson, Dirk
    Sano, Katsuhiko
    Schroder, Lutz
    AUTOMATA, LANGUAGES, AND PROGRAMMING, ICALP 2012, PT II, 2012, 7392 : 299 - 311
  • [27] Coalgebraic Correspondence Theory
    Schroeder, Lutz
    Pattinson, Dirk
    FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATIONAL STRUCTURES, PROCEEDINGS, 2010, 6014 : 328 - +
  • [28] Coalgebraic Symbolic Semantics
    Bonchi, Filippo
    Montanari, Ugo
    ALGEBRA AND COALGEBRA IN COMPUTER SCIENCE, PROCEEDINGS, 2009, 5728 : 173 - 190
  • [29] A coalgebraic view on reachability
    Wissmann, Thorsten
    Milius, Stefan
    Katsumata, Shin-ya
    Dubut, Jeremy
    COMMENTATIONES MATHEMATICAE UNIVERSITATIS CAROLINAE, 2019, 60 (04): : 605 - 638
  • [30] Enhanced coalgebraic bisimulation
    Rot, Jurriaan
    Bonchi, Filippo
    Bonsangue, Marcello
    Pous, Damien
    Rutten, Jan
    Silva, Alexandra
    MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 2017, 27 (07) : 1236 - 1264