A Note on Coalgebras and Presheaves

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

[1]  Bart Jacobs,et al.  The temporal logic of coalgebras via Galois algebras , 2002, Mathematical Structures in Computer Science.

[2]  G. M.,et al.  Mathematical Monographs , 2022, Nature.

[3]  James Worrell,et al.  On the structure of categories of coalgebras , 2001, Theor. Comput. Sci..

[4]  Ross Street,et al.  Fibrations in bicategories , 1980 .

[5]  Peter T. Johnstone,et al.  Connected limits, familial representability and Artin glueing , 1995, Mathematical Structures in Computer Science.

[6]  S. Ghilardi,et al.  Modal and tense predicate logic: Models in presheaves and categorical conceptualization , 1988 .