Results 1  10
of
13
Coalgebraic automata theory: Basic results
 Logical Methods in Computer Science
"... Vol. 4 (4:10) 2008, pp. 1–43 www.lmcsonline.org ..."
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.
From Tcoalgebras to filter structures and transition systems
 Algebra and Coalgebra in Computer Science
, 2005
"... Abstract. For any setendofunctor T: Set → Set there exists a largest subcartesian transformation µ to the filter functor F: Set → Set. Thus we can associate with every Tcoalgebra A a certain filtercoalgebra AF. Precisely, when T weakly preserves preimages, µ is natural, and when T weakly preserve ..."
Abstract

Cited by 4 (2 self)
 Add to MetaCart
Abstract. For any setendofunctor T: Set → Set there exists a largest subcartesian transformation µ to the filter functor F: Set → Set. Thus we can associate with every Tcoalgebra A a certain filtercoalgebra AF. Precisely, when T weakly preserves preimages, µ is natural, and when T weakly preserves intersections, µ factors through the covariant powerset functor P, thus providing for every Tcoalgebra A a Kripke structure AP. The paper characterizes weak preservation of preimages, of intersections, and preservation of both preimages and intersections by a functor T via the existence of transformations from T to either F or P. Moreover, we define for arbitrary Tcoalgebras A a nexttime operator ○A with associated modal operators ✷ and ✸ and relate their properties to weak limit preservation properties of T. In particular, for any Tcoalgebra A there is a transition system K with ○A = ○K if and only if T weakly preserves intersections. 1.
Endofunctors of Set
 PROCEEDINGS OF THE CONFERENCE CATEGORICAL METHODS IN ALGEBRA AND TOPOLOGY, BREMEN 2000, EDS
, 2000
"... The functors F: K! H, which are naturally equivalent to every functor G: K! H for which FX is isomorphic to GX for all X, are called DVO functors. We discuss DVO subfunctors of the powerset functor Set! Set and of their factorfunctors. A settheoretical assumption (EUCE) is introduced and, under ..."
Abstract

Cited by 2 (0 self)
 Add to MetaCart
The functors F: K! H, which are naturally equivalent to every functor G: K! H for which FX is isomorphic to GX for all X, are called DVO functors. We discuss DVO subfunctors of the powerset functor Set! Set and of their factorfunctors. A settheoretical assumption (EUCE) is introduced and, under (GCH+EUCE), the classes W of cardinal numbers, which have the form W = fjXj; jF Xj = jXjg for some F: Set! Set, are characterized. The presented results solve several
Distributivity of Categories of Coalgebras
"... We prove that for any F the category of F coalgebras is distributive if F preserves preimages, i.e. pullbacks along an injective map, and that the converse is also true whenever has finite products. ..."
Abstract

Cited by 2 (2 self)
 Add to MetaCart
We prove that for any F the category of F coalgebras is distributive if F preserves preimages, i.e. pullbacks along an injective map, and that the converse is also true whenever has finite products.
EVERY GROUP IS REPRESENTABLE BY ALL NATURAL TRANSFORMATIONS OF SOME SETFUNCTOR
"... Abstract. For every group G, we construct a functor F: SET! SET (finitary for afinite group G) such that the monoid of all natural endotransformations of F is a groupisomorphic to G. 1. Introduction Classical results by G. Birkhoff [3] and J. de Groot [4] show that every group can be represented as ..."
Abstract

Cited by 2 (2 self)
 Add to MetaCart
Abstract. For every group G, we construct a functor F: SET! SET (finitary for afinite group G) such that the monoid of all natural endotransformations of F is a groupisomorphic to G. 1. Introduction Classical results by G. Birkhoff [3] and J. de Groot [4] show that every group can be represented as the automorphism group of a distributive lattice, and as the automorphism group of a topological space. Since then many results of similar type were proven. An extensive survey about groupuniversality is presented in [5]. Many such representations are consequences of far more general results concerning representations of categories, see the monograph [9]. The structures, in which the group representation problem was considered, were always structured sets algebras, topologies or relational structures. Our contribution is of a different nature, the structure being a set functor, i.e. an endofunctor of the categorySE T
Finitary set endofunctors are alguniversal
"... set functors with no natural transformations between them (except the obvious identities). 1. ..."
Abstract

Cited by 2 (2 self)
 Add to MetaCart
set functors with no natural transformations between them (except the obvious identities). 1.
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 "#...
www.elsevier.com/locate/entcs Some Properties and Some Problems on Set Functors 4
"... We study properties of functors on categories of sets (classes) together with set (class) functions. In particular, we investigate the notion of inclusion preserving functor, and we discuss various monotonicity and continuity properties of set functors. As a consequence of these properties, we show ..."
Abstract

Cited by 1 (0 self)
 Add to MetaCart
We study properties of functors on categories of sets (classes) together with set (class) functions. In particular, we investigate the notion of inclusion preserving functor, and we discuss various monotonicity and continuity properties of set functors. As a consequence of these properties, we show that some classes of set operators do not admit functorial extensions. Then, starting from Aczel’s Special Final Coalgebra Theorem, we study the class of functors uniform on maps, we present and discuss various examples of functors which are not uniform on maps but still inclusion preserving, and we discuss simple characterization theorems of final coalgebras as fixpoints. We present a number of conjectures and problems.
UNIVERSAL COALGEBRAS AND THEIR LOGICS
, 2009
"... ABSTRACT. We survey coalgebras as models of state based systems together with their global and local logics. We convey some useful intuition regarding Setfunctors which leads naturally to coalgebraic modal logic where modalities are validity patterns for the successor object of a state. 1. ..."
Abstract
 Add to MetaCart
ABSTRACT. We survey coalgebras as models of state based systems together with their global and local logics. We convey some useful intuition regarding Setfunctors which leads naturally to coalgebraic modal logic where modalities are validity patterns for the successor object of a state. 1.