Coalgebras and modal logic for parameterised endofunctors

Authors:
A. Kurz;D. Pattinson
Affiliations:
-;-
Venue:
Coalgebras and modal logic for parameterised endofunctors
Year:
2000

Citing 0
Cited 3

Logics Admitting Final Semantics

FoSSaCS '02 Proceedings of the 5th International Conference on Foundations of Software Science and Computation Structures
Observational logic, constructor-based logic, and their duality

Theoretical Computer Science - Foundations of software science and computation structures
Higher-order Algebras and Coalgebras from Parameterized Endofunctors

Electronic Notes in Theoretical Computer Science (ENTCS)

Quantified Score

Hi-index	0.00

Visualization

Abstract

We study categories of coalgebras for endofunctors, which additionally depend on a parameter category. The corresponding category of coalgebras then naturally appears as cofibred over the parameters. We give examples of constructions in the cofibred framework and study the overall structure of such cofibrations. 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.