Results 1  10
of
42
Products of coalgebras
, 2001
"... We prove that the category of Fcoalgebras is complete, that is products and equalizers exist, provided that the type functor F is bounded or preserves mono sources. This generalizes and simplifies a result of Worrell ([Wor98]). We also describe the relationship between the product A × B and the lar ..."
Abstract

Cited by 21 (5 self)
 Add to MetaCart
We prove that the category of Fcoalgebras is complete, that is products and equalizers exist, provided that the type functor F is bounded or preserves mono sources. This generalizes and simplifies a result of Worrell ([Wor98]). We also describe the relationship between the product A × B and the largest bisimulation ∼ A,B between A and B and find an example of two finite coalgebras whose product is infinite.
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 18 (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.
Coalgebraic BisimulationUpTo
, 2013
"... Bisimulationupto enhances the bisimulation proof method for process equivalence. We present its generalization from labelled transition systems to arbitrary coalgebras, and show that for a large class of systems, enhancements such as bisimulation up to bisimilarity, up to equivalence and up to con ..."
Abstract

Cited by 17 (7 self)
 Add to MetaCart
Bisimulationupto enhances the bisimulation proof method for process equivalence. We present its generalization from labelled transition systems to arbitrary coalgebras, and show that for a large class of systems, enhancements such as bisimulation up to bisimilarity, up to equivalence and up to context are sound proof techniques. This allows for simplified bisimulation proofs for many different types of statebased systems.
Towards Weak Bisimulation For Coalgebras
, 2002
"... This report contains a novel approach to observation equivalence for coalgebras. ..."
Abstract

Cited by 11 (1 self)
 Add to MetaCart
This report contains a novel approach to observation equivalence for coalgebras.
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 { nam ..."
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.
Coalgebras of Bounded Type
 UNDER CONSIDERATION FOR PUBLICATION IN MATH. STRUCT. IN COMP. SCIENCE
, 2001
"... Using results of Trnková, we first show that subcoalgebras are always closed under finite intersections. Assuming that the type functor F is bounded, we obtain a concrete representation of the terminal Fcoalgebra. Several equivalent characterizations of boundedness are provided. ..."
Abstract

Cited by 11 (4 self)
 Add to MetaCart
Using results of Trnková, we first show that subcoalgebras are always closed under finite intersections. Assuming that the type functor F is bounded, we obtain a concrete representation of the terminal Fcoalgebra. Several equivalent characterizations of boundedness are provided.
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.
A Companion to Coalgebraic Weak Bisimulation for ActionType Systems
, 2009
"... We propose a coalgebraic definition of weak bisimulation for classes of coalgebras obtained from bifunctors in the category Set. Weak bisimilarity for a system is obtained as strong bisimilarity of a transformed system. The particular transformation consists of two steps: First, the behavior on acti ..."
Abstract

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