A note on coalgebras and presheaves

Authors:
James Worrell
Affiliations:
Department of Mathematics, Tulane University, New Orleans, LA 70118
Venue:
Mathematical Structures in Computer Science
Year:
2005

Citing 4
Cited 0

Universal coalgebra: a theory of systems

Theoretical Computer Science - Modern algebra and its applications
On the structure of categories of coalgebras

Theoretical Computer Science
The temporal logic of coalgebras via Galois algebras

Mathematical Structures in Computer Science
Temporal algebra

Mathematical Structures in Computer Science

Quantified Score

Hi-index	0.01

Visualization

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.