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.
A. Kurz and D. Pattinson, “Notes on Coalgebras, Cofibrations and Concurrency,” Electronic Notes in Theoretical Computer Science, vol. 33, pp. 196–229, 2000. DOI: 10.1016/S1571-0661(05)80349-4
Creative Commons License
This work is licensed under a Creative Commons Attribution-Noncommercial-No Derivative Works 3.0 License.
Algebra Commons, Logic and Foundations Commons, Other Computer Engineering Commons, Other Computer Sciences Commons, Other Mathematics Commons
This article was originally published in Electronic Notes in Theoretical Computer Science, volume 33, in 2000. DOI: 10.1016/S1571-0661(05)80349-4