Results 1  10
of
25
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
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.
State Based Systems Are Coalgebras
 Cubo  Matematica Educacional 5
, 2003
"... Universal coalgebra is a mathematical theory of state based systems, which in many respects is dual to universal algebra. Equality must be replaced by indistinguishability. Coinduction replaces induction as a proof principle and maps are defined by corecursion. In this (entirely selfcontained) pap ..."
Abstract

Cited by 2 (0 self)
 Add to MetaCart
Universal coalgebra is a mathematical theory of state based systems, which in many respects is dual to universal algebra. Equality must be replaced by indistinguishability. Coinduction replaces induction as a proof principle and maps are defined by corecursion. In this (entirely selfcontained) paper we give a first glimpse at the general theory and focus on some applications in Computer Science. 1. State based systems State based systems can be found everywhere in our environment  from simple appliances like alarm clocks and answering machines to sophisticated computing devices. Typically, such systems receive some input and, as a result, produce some output. In contrast to purely algebraic systems, however, the output is not only determined by the input received, but also by some modifiable "internal state". Internal states are usually not directly observable, so there may as well be di#erent states that cannot be distinguished from the inputoutput behavior of the system. A simple example of a state based system is a digital watch with several buttons and a display. Clearly, the buttons that are pressed do not by themselves determine the output  it also depends on the internal state, which might include the current time, the mode (time/alarm/stopwatch), and perhaps the information which buttons have been pressed previously. The user of a system is normally not interested in knowing precisely, what the internal states of the system are, nor how they are represented. Of course, he might try to infer all possible states by testing various inputoutput combinations and attribute di#erent behaviors to di#erent states. Some states might not be distinguishable by their outside behavior. It is therefore natural to define an appropriate indistinguishability relation "#...