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 条
  • [31] Categories of Coalgebraic Games
    Honsell, Furio
    Lenisa, Marina
    Redamalla, Rekha
    MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE 2012, 2012, 7464 : 503 - 515
  • [32] Coalgebraic Hybrid Logic
    Myers, Rob
    Pattinson, Dirk
    Schroeder, Lutz
    FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATIONAL STRUCTURES, PROCEEDINGS, 2009, 5504 : 137 - +
  • [33] COALGEBRAIC BEHAVIORAL METRICS
    Baldan, Paolo
    Bonchi, Filippo
    Kerstan, Henning
    Koenig, Barbara
    LOGICAL METHODS IN COMPUTER SCIENCE, 2018, 14 (03)
  • [34] Coalgebraic Semantics for Nominal Automata
    Frank, Florian
    Milius, Stefan
    Urbat, Henning
    COALGEBRAIC METHODS IN COMPUTER SCIENCE (CMCS 2022), 2022, 13225 : 45 - 66
  • [35] RELATING COALGEBRAIC NOTIONS OF BISIMULATION
    Staton, Sam
    LOGICAL METHODS IN COMPUTER SCIENCE, 2011, 7 (01)
  • [36] Probabilistic mediator: A coalgebraic perspective
    Liu, Ai
    Liu, Shaoying
    Sun, Meng
    JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, 2022, 129
  • [37] Completeness for μ-calculi: A coalgebraic approach
    Enqvist, Sebastian
    Seifan, Fatemeh
    Venema, Yde
    ANNALS OF PURE AND APPLIED LOGIC, 2019, 170 (05) : 578 - 641
  • [38] Coalgebraic modal logic in CoCasl
    Schroeder, Lutz
    Mossakowski, Till
    RECENT TRENDS IN ALGEBRAIC DEVELOPMENT TECHNIQUES, 2007, 4409 : 127 - +
  • [39] Coalgebraic theories of sequences in PVS
    Hensel, U
    Jacobs, B
    JOURNAL OF LOGIC AND COMPUTATION, 1999, 9 (04) : 463 - 500
  • [40] EXPTIME TABLEAUX FOR THE COALGEBRAIC μ-CALCULUS
    Cirstea, Corina
    Kupke, Clemens
    Pattinson, Dirk
    LOGICAL METHODS IN COMPUTER SCIENCE, 2011, 7 (03)