A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2005; you can also visit the original URL.
The file type is application/pdf
.
A note on coalgebras and presheaves
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