Abstract:Coalgebra, as the abstract study of state-based systems, comes naturally equipped with a notion of behavioural equivalence that identifies states exhibiting the same behaviour. In many cases, however, this equivalence is finer than the intended semantics. Particularly in automata theory, behavioural equivalence of nondeterministic automata is essentially bisimilarity, and thus does not coincide with language equivalence. Language equivalence can be captured as behavioural equivalence on the determinization, which is obtained via the standard powerset construction. This construction can be lifted to coalgebraic generality, assuming a so-called Eilenberg-Moore distributive law between the functor termining the type of accepted structure (e.g.\ word languages) and a monad capturing the branching type (e.g.\ nondeterministic, weighted, probabilistic). Eilenberg-Moore-style coalgebraic semantics in this sense has been shown to be essentially subsumed by the more general framework of graded semantics, which is centrally based on graded monads. Graded semantics comes with a range of generic results, in particular regarding invariance and, under suitable conditions, expressiveness of dedicated modal logics for a given semantics; notably, these logics are evaluated on the original state space. We show that the instantiation of such graded logics to the case of Eilenberg-Moore-style semantics works extremely smoothly, and yields expressive modal logics in essentially all cases of interest. We additionally parametrize the framework over a quantale of truth values, thus in particular covering both the two-valued notions of equivalence and quantitative ones, i.e. behavioural distances.

Measuring data types

Coinductive control of inductive data types

Types and Semantics for Extensible Data Types (Extended Version)

Computing in Coq with Infinite Algebraic Data Structures

Sheaves of Measures and KMS-Weights on Topological Graph Algebras

Coalgebraic Behavioral Metrics

Algebraic two-level measure trees

Amortized Analysis via Coalgebra

$W$-Types in Categories of Coalgebras

Graded Semantics and Graded Logics for Eilenberg-Moore Coalgebras

The Hopf category of Frobenius algebras

Terminal Coalgebras and Non-wellfounded Sets in Homotopy Type Theory

Entwined comodules and contramodules over coalgebras with several objects: Frobenius, separability and Maschke theorems

Free algebras of topologically enriched multi-sorted equational theories

Measurings of Hopf algebroids and morphisms in cyclic (co)homology theories

On representation categories of $A_\infty$-algebras and $A_\infty$-coalgebras

A Weakly Initial Algebra for Higher-Order Abstract Syntax in Cedille

Projective Modules and Cohomology for Integral Basic Algebras

Measures on effect algebras

$\mathbb{E}_{\infty}$-coalgebras and $p$-adic homotopy theory

On the deformation theory of $\mathbb{E}_\infty$-coalgebras