Coalgebras and Modal Logic for Parameterised Endofunctors Coalgebras and Modal Logic for Parameterised Endofunctors

We study categories of coalgebras for endofunctors, which additionally depend on a parameter category. The corresponding category of coal-gebras then naturally appears as coobred over the parameters. We give examples of constructions in the coobred framework and study the overall structure of such coobrations. Moreover, the dependency of (modal) logics for coalgebras on a parameter category is investigated and shown to give rise to the dual of an institution.

[1]  M. Arbib,et al.  Adjoint machines, state-behavior machines, and duality☆ , 1975 .

[2]  Robert Paré,et al.  Abstract families and the adjoint functor theorems , 1978 .

[3]  Horst Herrlich,et al.  Abstract and concrete categories , 1990 .

[4]  Joseph A. Goguen,et al.  Institutions: abstract model theory for specification and programming , 1992, JACM.

[5]  Sally Popkorn,et al.  A Handbook of Categorical Algebra , 2009 .

[6]  Andrea Corradini,et al.  A complete calculus for equational deduction in coalgebraic specification , 1997 .

[7]  John Power,et al.  An axiomatics for categories of coalgebras , 1998, CMCS.

[8]  Grigore Rosu.  A Birkhoff-like Axiomatizability Result for Hidden Algebra and Coalgebra , 1998, CMCS.

[9]  Alexander Kurz.  A Co-Variety-Theorem for Modal Logic , 1998, Advances in Modal Logic.

[10]  Lawrence S. Moss,et al.  Coalgebraic Logic , 1999, Ann. Pure Appl. Log..

[11]  Martin Rößiger,et al.  Coalgebras and Modal Logic , 2000, CMCS.

[12]  Jan J. M. M. Rutten,et al.  Universal coalgebra: a theory of systems , 2000, Theor. Comput. Sci..

[13]  Bart Jacobs,et al.  Towards a Duality Result in Coalgebraic Modal Logic , 2000, CMCS.

[14]  Alexander Kurz.  Specifying coalgebras with modal logic , 2001, Theor. Comput. Sci..

[15]  Martin Rö,et al.  From modal logic to terminal coalgebras , 2001, Theor. Comput. Sci..

[16]  Bart Jacobs,et al.  Categorical Logic and Type Theory , 2001, Studies in logic and the foundations of mathematics.

[17]  Dirk Pattinson,et al.  Semantical Principles in the Modal Logic of Coalgebras , 2001, STACS.

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