Sciweavers

IANDC
2010
160views more  IANDC 2010»
13 years 9 months ago
Coequational logic for accessible functors
Covarieties of coalgebras are those classes of coalgebras for an endofunctor H on the category of sets that are closed under coproducts, subcoalgebras and quotients. Equivalently,...
Daniel Schwencke