A Note on Coalgebras and Presheaves
James Worrell · Electronic Notes in Theoretical Computer Science · 2002
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.