A Note on Coalgebras and Presheaves

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 modal logic.

• Type: Journal
• Year: 2002
• Where: ENTCS
• Authors: James Worrell
• Keywords: ENTCS 2002, Modal Logic, Temporal Logic, Wide-pullback Preserving Endofunctor