CJO - Abstract - Coalgebras of bounded type

Volume 12
Issue 05 - Oct 2002
Add to basket £14.00 / $20.00
Cited by Articles (CrossRef)
Cited by Articles (Google Scholar)
Citation alert
Comments alert
Go to Next Abstract
Go to Previous Abstract

Mathematical Structures in Computer Science (2002), 12: 565-578 Cambridge University Press

Copyright © 2002 Cambridge University Press

doi:10.1017/S0960129501003590

Published online by Cambridge University Press 21 Oct 2002

Coalgebras of bounded type

H. PETER GUMM ^a1 and TOBIAS SCHRÖDER ^a1
^a1 Philipps-Universität Marburg, 35032 Marburg, Germany Email: gumm@mathematik.uni-marburg.de, tschroed@mathematik.uni-marburg.de

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.

(Received December 7 2000)
(Revised August 8 2001)