Mongruences and cofree coalgebras

DOI10.1007/3-540-60043-4_57zbMath1496.68110OpenAlexW1480882475MaRDI QIDQ5096389

Bart Jacobs

Publication date: 16 August 2022

Published in: Algebraic Methodology and Software Technology (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-60043-4_57

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Categorical semantics of formal languages (18C50) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15)

Related Items (16)

Kernels, in a nutshell ⋮ Observational ultraproducts of polynomial coalgebras. ⋮ Some facets of Horn covarieties in a category ⋮ Modal Operators for Coequations ⋮ Invariants of monadic coalgebras ⋮ Bialgebraic Semantics and Recursion ⋮ Specifying coalgebras with modal logic ⋮ From modal logic to terminal coalgebras ⋮ Equational axiomatizability for coalgebra ⋮ Coalgebraic semantics for timed processes ⋮ Object-oriented hybrid systems of coalgebras plus monoid actions ⋮ A hidden agenda ⋮ Comprehension for Coalgebras ⋮ Towards Behavioral Maude ⋮ Universal coalgebra: A theory of systems ⋮ On institutions for modular coalgebraic specifications.

Cites Work

• Additions and corrections to ``Terminal coalgebras in well-founded set theory
• Final Data Types and Their Specification
• An approach to object semantics based on terminal co-algebras
• A final coalgebra theorem
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Mongruences and cofree coalgebras