Functors for coalgebras
From MaRDI portal
Publication:5950751
zbMath0982.08003MaRDI QIDQ5950751
Publication date: 16 December 2001
Published in: Algebra Universalis (Search for Journal in Brave)
Applications of universal algebra in computer science (08A70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Categories admitting limits (complete categories), functors preserving limits, completions (18A35) Categorical semantics of formal languages (18C50) Categories of algebras (08C05)
Related Items
Coalgebras for fuzzy transition systems ⋮ Relating Coalgebraic Notions of Bisimulation ⋮ Free-lattice functors weakly preserve epi-pullbacks ⋮ Flatness properties of acts over semigroups ⋮ Subsequential transducers: a coalgebraic perspective ⋮ More existence theorems for recursion categories. ⋮ Completeness for \(\mu\)-calculi: a coalgebraic approach ⋮ Monoid-labeled transition systems ⋮ Transitivity and Difunctionality of Bisimulations ⋮ A coalgebraic view on positive modal logic ⋮ Equational and implicational classes of coalgebras ⋮ Covarieties and complete covarieties ⋮ On the final sequence of a finitary set functor ⋮ Operators on classes of coalgebras ⋮ Connected monads weakly preserve products ⋮ Modal Predicates and Coequations ⋮ Abstract Logics as Dialgebras ⋮ On \(\mathbf{MV} \)-coalgebras over the category of BL-algebras ⋮ On institutions for modular coalgebraic specifications.
This page was built for publication: Functors for coalgebras
