Hostname: page-component-8448b6f56d-dnltx Total loading time: 0 Render date: 2024-04-24T06:37:21.128Z 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
Get access Rights & Permissions [Opens in a new window]

Abstract

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.

Type
Paper
Information
Mathematical Structures in Computer Science , Volume 15 , Issue 3 , June 2005 , pp. 475 - 483
Copyright
2005 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.)