Sciweavers

Share
35 search results - page 1 / 7
» Bases as Coalgebras
Sort
View
ENTCS
2000
88views more  ENTCS 2000»
8 years 7 months ago
Notes on Coalgebras, Cofibrations and Concurrency
We consider categories of coalgebras as (co)-fibred over a base category of parameters and analyse categorical constructions in the total category of deterministic and non-determi...
Alexander Kurz, Dirk Pattinson
FOSSACS
2010
Springer
9 years 2 months ago
CIA Structures and the Semantics of Recursion
Final coalgebras for a functor serve as semantic domains for state based systems of various types. For example, formal languages, streams, nonwell-founded sets and behaviors of CCS...
Stefan Milius, Lawrence S. Moss, Daniel Schwencke
ENTCS
2002
121views more  ENTCS 2002»
8 years 7 months ago
Modal Predicates and Co-equations
We show how coalgebras can be presented by operations and equations. This is a special case of Linton's approach to algebras over a general base category X, namely where X is...
Alexander Kurz, Jirí Rosický
ICALP
2010
Springer
9 years 6 days ago
Automata for Coalgebras: An Approach Using Predicate Liftings
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...
Gaëlle Fontaine, Raul Andres Leal, Yde Venema
ENTCS
2002
80views more  ENTCS 2002»
8 years 7 months ago
Some Co-Birkhoff Type Theorems
We consider the dual of Theorem 1 from [33], relating closure conditions on subcategories with projectivity classes for collections of discrete cocones. We extend these results by...
Jesse Hughes
books