26 search results - page 2 / 6 » Generalizing the powerset construction, coalgebraically |
ACS
2008
13 years 5 months ago
2008
Abstract. We define an out-degree for F-coalgebras and show that the coalgebras of outdegree at most form a covariety. As a subcategory of all Fcoalgebras, this class has a termin...
ENTCS
2002
13 years 5 months ago
2002
In this paper we show that it is possible to model observable behaviour of coalgebras independently from their internal dynamics, but within the general framework of representing ...
CALCO
2005
Springer
13 years 11 months ago
2005
Springer
In this paper we identify context-free grammars as coalgebras. To obtain the associated context-free languages (consisting of only finite-length strings) we introduce a general a...
ICALP
2010
Springer
13 years 10 months ago
2010
Springer
Universal Coalgebra provides the notion of a coalgebra as the natural mathematical generalization of state-based evolving systems such as (infinite) words, trees, and transition s...
ACS
2008
13 years 5 months ago
2008
We study the various categories of corings, coalgebras, and comodules from a categorical perspective. Emphesis is given to the question which properties of these categories can be...