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 条
  • [1] Types and coalgebraic structure
    H. Peter Gumm
    Tobias Schröder
    algebra universalis, 2005, 53 : 229 - 252
  • [2] A Coalgebraic Foundation for Coinductive Union Types
    Bonsangue, Marcello
    Rot, Jurriaan
    Ancona, Davide
    de Boer, Frank
    Rutten, Jan
    AUTOMATA, LANGUAGES, AND PROGRAMMING (ICALP 2014), PT II, 2014, 8573 : 62 - 73
  • [3] Coalgebraic structure of genetic inheritance
    Tian, JJ
    Li, BL
    MATHEMATICAL BIOSCIENCES AND ENGINEERING, 2004, 1 (02) : 243 - 266
  • [4] THE COALGEBRAIC STRUCTURE OF CELL COMPLEXES
    Athorne, Thomas
    THEORY AND APPLICATIONS OF CATEGORIES, 2012, 26 : 304 - 330
  • [5] A Coalgebraic Structure on Bisexual Populations
    Paniello, Irene
    Algebras and Representation Theory, 2021, 24 (04): : 1053 - 1069
  • [6] A Coalgebraic Structure on Bisexual Populations
    Paniello, Irene
    ALGEBRAS AND REPRESENTATION THEORY, 2021, 24 (04) : 1053 - 1069
  • [7] A Coalgebraic Structure on Bisexual Populations
    Irene Paniello
    Algebras and Representation Theory, 2021, 24 : 1053 - 1069
  • [8] NOMINAL COALGEBRAIC DATA TYPES WITH APPLICATIONS TO LAMBDA CALCULUS
    Kurz, Alexander
    Petrisan, Daniela
    Severi, Paula
    de Vries, Fer-Jan
    LOGICAL METHODS IN COMPUTER SCIENCE, 2013, 9 (04)
  • [9] Session Coalgebras: A Coalgebraic View on Session Types and Communication Protocols
    Keizer, Alex C.
    Basold, Henning
    Perez, Jorge A.
    PROGRAMMING LANGUAGES AND SYSTEMS, ESOP 2021, 2021, 12648 : 375 - 403
  • [10] Coalgebraic minimization of HD-automata for the π-calculus using polymorphic types
    Ferrari, G
    Montanari, U
    Tuosto, E
    THEORETICAL COMPUTER SCIENCE, 2005, 331 (2-3) : 325 - 365