Notes on Coalgebras, Cofibrations and Concurrency

We consider categories of coalgebras as (co)-fibred over a base category of parameters and analyse categorical constructions in the total category of deterministic and non-deterministic coalgebras.

• Type: Journal
• Year: 2000
• Where: ENTCS
• Authors: Alexander Kurz, Dirk Pattinson
• Keywords: Analyse Categorical Constructions, Base Category, ENTCS 2000, Total Category