Sciweavers

ENTCS
2000
88views more  ENTCS 2000»
14 years 8 days ago
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-determi...
Alexander Kurz, Dirk Pattinson