Introduction to Coalgebra

DOI10.1017/CBO9781316823187zbMath1364.68001OpenAlexW4232277105MaRDI QIDQ2828459

Bart Jacobs

Publication date: 26 October 2016

Full work available at URL: https://doi.org/10.1017/cbo9781316823187

zbMATH Keywords

invariantscoalgebrasbisimulationsalgebrasmodal logicsfinality

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Modal logic (including the logic of norms) (03B45) Abstract data types; algebraic specification (68Q65) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Categorical semantics of formal languages (18C50) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15) Eilenberg-Moore and Kleisli constructions for monads (18C20)

Related Items

Minimality Notions via Factorization Systems and Examples, Hybrid Automata as Coalgebras, Unnamed Item, Unnamed Item, Rough and Near: Modal History of Two Theories, Abstract categorical logic, Categories for Dynamic Epistemic Logic, Weighted and branching bisimilarities from generalized open maps, Preservation and reflection of bisimilarity via invertible steps, Remarks on hyperspaces for Priestley spaces, Differential 2-rigs, Open Dynamical Systems as Coalgebras for Polynomial Functors, with Application to Predictive Processing, Lax Liftings and Lax Distributive Laws, Unnamed Item, Unnamed Item, Unnamed Item, Unnamed Item, Unnamed Item, Up-to Techniques for Branching Bisimilarity, Coinduction in Flow: The Later Modality in Fibrations, Coalgebra and abstraction, The Vietoris functor and modal operators on rings of continuous functions, The Complexity of Computing a Bisimilarity Pseudometric on Probabilistic Automata, Unnamed Item, Extended Static Checking by Calculation Using the Pointfree Transform, Unnamed Item, Unnamed Item, New Bisimulation Semantics for Distributed Systems, (in)finite trace equivalence of probabilistic transition systems, Categorical Büchi and parity conditions via alternating fixed points of functors, Unnamed Item, Bialgebraic methods and modal logic in structural operational semantics, Unnamed Item, Efficient Coalgebraic Partition Refinement, Distributive laws for monotone specifications, Unnamed Item, Predicate and relation liftings for coalgebras with side effects: an application in coalgebraic modal logic, Coalgebraic semantics for nominal automata