Hostname: page-component-74656f9884-8r8nv Total loading time: 0 Render date: 2026-11-10T05:15:05.606Z Has data issue: false hasContentIssue false
  • English
  • Français

A note on coalgebras and presheaves

Published online by Cambridge University Press:  27 May 2005

JAMES WORRELL
JAMES WORRELL
Affiliation:
Department of Mathematics, Tulane University, New Orleans, LA 70118
Rights & Permissions [Opens in a new window]

Abstract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the 'Save PDF' action button.

We show that the category of coalgebras of a wide-pullback preserving endofunctor on a category of presheaves is itself a category of presheaves. This illustrates a connection between Jacobs' temporal logic of coalgebras and Ghilardi and Meloni's presheaf semantics for temporal modalities.

Information

Type
Paper
Information
Mathematical Structures in Computer Science , Volume 15 , Issue 3 , June 2005 , pp. 475 - 483
Copyright
2005 Cambridge University Press