Sciweavers

74 search results - page 2 / 15
» Algebras Versus Coalgebras
Sort
View
LFCS
2009
Springer
14 years 3 months ago
A Bialgebraic Approach to Automata and Formal Language Theory
A bialgebra is a structure which is simultaneously an algebra and a coalgebra, such that the algebraic and coalgebraic parts are compatible. Bialgebras are usually studied over a ...
James Worthington
ENTCS
2002
141views more  ENTCS 2002»
13 years 10 months ago
Coalgebraic Monads
This paper introduces coalgebraic monads as a unified model of term algebras covering fundamental examples such as initial algebras, final coalgebras, rational terms and term grap...
Neil Ghani, Christoph Lüth, Federico De March...
CORR
2011
Springer
162views Education» more  CORR 2011»
13 years 5 months ago
Finitely generated free Heyting algebras via Birkhoff duality and coalgebra
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...
Nick Bezhanishvili, Mai Gehrke
TCS
2002
13 years 10 months ago
A coalgebraic equational approach to specifying observational structures
A coalgebraic, equational approach to the speci
Corina Cîrstea
ENTCS
2002
121views more  ENTCS 2002»
13 years 10 months ago
Modal Predicates and Co-equations
We show how coalgebras can be presented by operations and equations. This is a special case of Linton's approach to algebras over a general base category X, namely where X is...
Alexander Kurz, Jirí Rosický