Coalgebras and modal logic for parameterised endofunctors
Alexander Kurz, Dirk Pattinson · 2000
We study categories of coalgebras for endofunctors, which additionally depend on a parameter category. The corresponding category of coalgebras then naturally appears as cobred over the parameters. We give examples of constructions in the cobred framework and study the overall structure of such cobrations. 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.