Companions, causality and codensity

MaRDI QIDQ5228884zbMATH OpenFDO

Authors Damien Pous, Jurriaan Rot

Publication date 13 August 2019

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

zbMATH Keywords

coalgebracoinductiondistributive law

Mathematics Subject Classification ID

Logic in computer science (03B70) Complete lattices, completions (06B23) Applications of universal algebra in computer science (08A70) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15) Abstract data types; algebraic specification (68Q65) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Companions, codensity and causality
• Monoidal company for accessible functors
• Coinduction All the Way Up
• Enhanced coalgebraic bisimulation
• Generalised coinduction

Cited in

(6)

• Corecursion up-to via causal transformations
• Chains of theories and companionability
• Companions, codensity and causality
• Monoidal company for accessible functors
• Coinductive Properties of Causal Maps
• Fan-causality and uniform continuity on final coalgebras

This page was built for publication: Companions, causality and codensity

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5228884)