Results 1  10
of
22
Coalgebraic Structure From Weak Limit Preserving Functors
, 1999
"... Given an endofunctor F on the category of sets, we investigate how the structure theory of Set F , the category of F coalgebras, depends on certain preservation properties of F . In particular, we consider preservation of various weak limits and obtain corresponding conditions on bisimulations and ..."
Abstract

Cited by 13 (7 self)
 Add to MetaCart
Given an endofunctor F on the category of sets, we investigate how the structure theory of Set F , the category of F coalgebras, depends on certain preservation properties of F . In particular, we consider preservation of various weak limits and obtain corresponding conditions on bisimulations and subcoalgebras. We give a characterization of monos in Set F in terms of congruences and bisimulations, which explains, under which conditions monos must be injective maps.
The Coalgebraic Dual Of Birkhoff's Variety Theorem
, 2000
"... We prove an abstract dual of Birkho's variety theorem for categories E of coalgebras, given suitable assumptions on the underlying category E and suitable : E ## E . We also discuss covarieties closed under bisimulations and show that they are denable by a trivial kind of coequation { namely, ..."
Abstract

Cited by 11 (0 self)
 Add to MetaCart
We prove an abstract dual of Birkho's variety theorem for categories E of coalgebras, given suitable assumptions on the underlying category E and suitable : E ## E . We also discuss covarieties closed under bisimulations and show that they are denable by a trivial kind of coequation { namely, over one "color". We end with an example of a covariety which is not closed under bisimulations. This research is part of the Logic of Types and Computation project at Carnegie Mellon University under the direction of Dana Scott.
Towards Weak Bisimulation For Coalgebras
, 2002
"... This report contains a novel approach to observation equivalence for coalgebras. ..."
Abstract

Cited by 9 (1 self)
 Add to MetaCart
This report contains a novel approach to observation equivalence for coalgebras.
On Tree Coalgebras and Coalgebra Presentations
, 2002
"... For deterministic systems, expressed as coalgebras over polynomial functors, every tree t (an element of the final coalgebra) turns out to represent a new coalgebra A t . The universal property of these coalgebras, resembling freeness, is that for every state s of every system S there exists a uniqu ..."
Abstract

Cited by 7 (1 self)
 Add to MetaCart
For deterministic systems, expressed as coalgebras over polynomial functors, every tree t (an element of the final coalgebra) turns out to represent a new coalgebra A t . The universal property of these coalgebras, resembling freeness, is that for every state s of every system S there exists a unique coalgebra homomorphism from a unique A t which takes the root of t to s. Moreover, the tree coalgebras are finitely presentable and form a strong generator. Thus, these categories of coalgebras are locally finitely presentable; in particular every system is a filtered colimit of finitely presentable systems.
Observational Ultraproducts of Polynomial Coalgebras
, 2002
"... Coalgebras of polynomial functors constructed from sets of observable elements have been found useful in modelling various kinds of data types and statetransition systems. ..."
Abstract

Cited by 6 (3 self)
 Add to MetaCart
Coalgebras of polynomial functors constructed from sets of observable elements have been found useful in modelling various kinds of data types and statetransition systems.
TYPES AND COALGEBRAIC STRUCTURE
"... We relate weak limit preservation properties of coalgebraic type functors F to structure theoretic properties of the class of all Fcoalgebras. ..."
Abstract

Cited by 6 (4 self)
 Add to MetaCart
We relate weak limit preservation properties of coalgebraic type functors F to structure theoretic properties of the class of all Fcoalgebras.
ON MINIMAL COALGEBRAS
"... Abstract. We define an outdegree for Fcoalgebras and show that the coalgebras of outdegree at most κ form a covariety. As a subcategory of all Fcoalgebras, this class has a terminal object, which for many problems can stand in for the terminal Fcoalgebra, which need not exist in general. As exam ..."
Abstract

Cited by 4 (1 self)
 Add to MetaCart
Abstract. We define an outdegree for Fcoalgebras and show that the coalgebras of outdegree at most κ form a covariety. As a subcategory of all Fcoalgebras, this class has a terminal object, which for many problems can stand in for the terminal Fcoalgebra, which need not exist in general. As examples, we derive structure theoretic results about minimal coalgebras, showing that, for instance minimization of coalgebras is functorial, that products of finitely many minimal coalgebras exist and are given by their largest common subcoalgebra, that minimal subcoalgebras have no inner endomorphisms and show how minimal subcoalgebras can be constructed from Mooreautomata. Since the elements of minimal subcoalgebras must correspond uniquely to the formulae of any logic characterizing observational equivalence, we give in the last section a straightforward and selfcontained account of the coalgebraic logic of D. Pattinson and L. Schröder, which we believe is simpler and more direct than the original exposition. For every automaton A there exists a minimal automaton ∇(A), which displays
Dialgebraic Specification and Modeling
"... corecursive functions COALGEBRA state model constructors destructors data model recursive functions reachable hidden abstraction observable hidden restriction congruences invariants visible abstraction ALGEBRA visible restriction!e Swinging Cube ..."
Abstract

Cited by 4 (4 self)
 Add to MetaCart
corecursive functions COALGEBRA state model constructors destructors data model recursive functions reachable hidden abstraction observable hidden restriction congruences invariants visible abstraction ALGEBRA visible restriction!e Swinging Cube
Observational Coalgebras and Complete Sets of Cooperations
, 2008
"... In this paper we introduce the notion of an observational coalgebra structure and of a complete set of cooperations. We demonstrate in various example the usefulness of these notions, in particular, we show how they give rise to coalgebraic proof and definition principles. ..."
Abstract

Cited by 3 (0 self)
 Add to MetaCart
In this paper we introduce the notion of an observational coalgebra structure and of a complete set of cooperations. We demonstrate in various example the usefulness of these notions, in particular, we show how they give rise to coalgebraic proof and definition principles.
Weak Bisimulation for ActionType Coalgebras
"... A coalgebraic definition of weak bisimulation is proposed for a class of coalgebras obtained from bifunctors in Set. Weak bisimilarity for a system is obtained as strong bisimilarity of a transformed system. The transformation consists of two steps: First, the behaviour on actions is expanded to beh ..."
Abstract

Cited by 2 (1 self)
 Add to MetaCart
A coalgebraic definition of weak bisimulation is proposed for a class of coalgebras obtained from bifunctors in Set. Weak bisimilarity for a system is obtained as strong bisimilarity of a transformed system. The transformation consists of two steps: First, the behaviour on actions is expanded to behaviour on finite words. Second, the behaviour on finite words is taken modulo the hiding of invisible actions, yielding behaviour on equivalence classes of words closed under silent steps. The coalgebraic definition is justified by two correspondence results, one for the classical notion of weak bisimulation of Milner and another for the notion of weak bisimulation for generative probabilistic transition systems as advocated by Baier and Hermanns.