650 search results - page 4 / 130 » On Coalgebras over Algebras |
CORR
2011
Springer
14 years 5 months ago
2011
Springer
Algebras axiomatized entirely by rank 1 axioms are algebras for a functor and thus the free algebras can be obtained by a direct limit process. Dually, the final coalgebras can be...
75
Voted
TCS
2002
14 years 10 months ago
2002
A coalgebraic, equational approach to the speci
ENTCS
2007
14 years 10 months ago
2007
Bialgebraic semantics, invented a decade ago by Turi and Plotkin, is an approach to formal reasoning about well-behaved structural operational specifications. An extension of alg...
ENTCS
2002
14 years 10 months ago
2002
We investigate the reasons for which the existence of certain right adjoints implies the existence of some final coalgebras, and vice-versa. In particular we prove and discuss the...
ENTCS
2000
14 years 10 months ago
2000
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...