Location of Repository

Comprehension for Coalgebras

By Bart Jacobs


The notion of an endofunctor having "greatest subcoalgebras" is introduced as a form of comprehension. This notion is shown to be instrumental in giving a systematic and abstract proof of the existence of limits for coalgebras -- proved earlier by Worrell and by Gumm & Schroder. These insights, in dual form, are used to reinvestigate colimits for algebras in terms of "least quotient algebras" -- leading to a uniform approach to limits of coalgebras and colimits of algebras. Finally, at an abstract level of fibrations, an equivalence is established between having greatest subcoalgebras (in a base category of types) and greatest invariants (in a total category of predicates)

Topics: invariants (in a total
Year: 2002
OAI identifier: oai:CiteSeerX.psu:
Provided by: CiteSeerX
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • http://citeseerx.ist.psu.edu/v... (external link)
  • http://www.cs.kun.nl/~bart/PAP... (external link)
  • Suggested articles

    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.