Hostname: page-component-76fb5796d-22dnz Total loading time: 0 Render date: 2024-04-26T23:08:06.688Z Has data issue: false hasContentIssue false
  • English
  • Français

Coalgebras of bounded type

Published online by Cambridge University Press:  21 October 2002

H. PETER GUMM  and
TOBIAS SCHRÖDER
H. PETER GUMM
Affiliation:
Philipps-Universität Marburg, 35032 Marburg, Germany Email: gumm@mathematik.uni-marburg.de, tschroed@mathematik.uni-marburg.de
TOBIAS SCHRÖDER
Affiliation:
Philipps-Universität Marburg, 35032 Marburg, Germany Email: gumm@mathematik.uni-marburg.de, tschroed@mathematik.uni-marburg.de
Get access Rights & Permissions [Opens in a new window]

Abstract

We use some results of Trnková to show first that subcoalgebras are always closed under finite intersections. Assuming that the type functor F is bounded, we obtain a concrete representation of the terminal F-coalgebra. We also provide several equivalent characterizations of boundedness.

Type
Research Article
Information
Mathematical Structures in Computer Science , Volume 12 , Issue 5 , October 2002 , pp. 565 - 578
Copyright
2002 Cambridge University Press

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)