메뉴 건너뛰기




Volumn 311, Issue 1-3, 2004, Pages 257-283

On tree coalgebras and coalgebra presentations

Author keywords

labelled trees; presentable objects and categories; Accessible and bounded functors; Coalgebras

Indexed keywords

FUNCTIONS; POLYNOMIALS; TREES (MATHEMATICS);

EID: 18844464456     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0304-3975(03)00378-5     Document Type: Article
Times cited : (58)

References (14)
  • 1
    • 80051905264 scopus 로고
    • A final coalgebra theorem
    • Springer, Berlin
    • P. Aczel, M. Mendler, A final coalgebra theorem, Lecture Notes in Computer Science, Vol. 389, Springer, Berlin, 1989, pp. 357-365.
    • (1989) Lecture Notes in Computer Science , vol.389 , pp. 357-365
    • Aczel, P.1    Mendler, M.2
  • 2
    • 0037187377 scopus 로고    scopus 로고
    • On abstract data types presented by multiequations
    • Adámek J., Hébert M., Rosický J. On abstract data types presented by multiequations. Theoret. Comput. Sci. 275:2002;427-462.
    • (2002) Theoret. Comput. Sci. , vol.275 , pp. 427-462
    • Adámek, J.1    Hébert, M.2    Rosický, J.3
  • 4
  • 6
    • 0038669321 scopus 로고    scopus 로고
    • How accessible are categories of algebras?
    • Adámek J., Sousa L. How accessible are categories of algebras? J. Pure Appl. Algebra. 182:2003;1-15.
    • (2003) J. Pure Appl. Algebra , vol.182 , pp. 1-15
    • Adámek, J.1    Sousa, L.2
  • 8
    • 0027610699 scopus 로고
    • Terminal coalgebras in well-founded set theory
    • Barr M. Terminal coalgebras in well-founded set theory. Theoret. Comput. Sci. 114:1993;299-315.
    • (1993) Theoret. Comput. Sci. , vol.114 , pp. 299-315
    • Barr, M.1
  • 9
    • 0003212584 scopus 로고
    • Lokal präsentierbare Kategorien
    • Berlin: Springer
    • Gabriel P., Ulmer F. Lokal präsentierbare Kategorien. Lect. Notes Math. Vol. 221:1971;Springer, Berlin.
    • (1971) Lect. Notes Math. , vol.221
    • Gabriel, P.1    Ulmer, F.2
  • 11
    • 0001519115 scopus 로고    scopus 로고
    • A small final coalgebra theorem
    • Kawahara Y., Mori M. A small final coalgebra theorem. Theoret. Comput. Sci. 233:2000;129-145.
    • (2000) Theoret. Comput. Sci. , vol.233 , pp. 129-145
    • Kawahara, Y.1    Mori, M.2
  • 13
    • 0003230384 scopus 로고    scopus 로고
    • Accessible categories: The foundations of categorical model theory
    • Amer. Math. Soc. Providence
    • M. Makkai, R. Paré, Accessible categories: the foundations of categorical model theory, Contemporary Math. 104, Amer. Math. Soc. Providence.
    • Contemporary Math. , vol.104
    • Makkai, M.1    Paré, R.2
  • 14
    • 0001986854 scopus 로고    scopus 로고
    • Universal coalgebra: A theory of systems
    • Rutten J.J.M.M. Universal coalgebra. a theory of systems Theoret. Comput. Sci. 249:2000;3-80.
    • (2000) Theoret. Comput. Sci. , vol.249 , pp. 3-80
    • Rutten, J.J.M.M.1


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.