Towards Trace Metrics via Functor Lifting

DOI10.4230/LIPIcs.CALCO.2015.35zbMath1366.68189arXiv1505.08105OpenAlexW391307657MaRDI QIDQ5275342

Henning Kerstan, Filippo Bonchi, Paolo Baldan, Barbara König

Publication date: 11 July 2017

Full work available at URL: https://arxiv.org/abs/1505.08105

zbMATH Keywords

coalgebrapseudometrictrace metricmonad lifting

Mathematics Subject Classification ID

Algebraic theory of languages and automata (68Q70) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15) Categories of machines, automata (18B20) Eilenberg-Moore and Kleisli constructions for monads (18C20)

Related Items (3)

The ℓ ^p -metrization of functors with finite supports ⋮ Up-to techniques for behavioural metrics via fibrations ⋮ Up-To Techniques for Behavioural Metrics via Fibrations

This page was built for publication: Towards Trace Metrics via Functor Lifting