A note on coalgebras and presheaves

JAMES WORRELL
2005 Mathematical Structures in Computer Science  
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.
doi:10.1017/s0960129505004767 fatcat:obtyz3c2aver3a2mazt3ck6wei