Monoidal company for accessible functors

DOI10.4230/LIPICS.CALCO.2017.5zbMATH Open1436.18014MaRDI QIDQ4580200FDOQ4580200

Henning Basold, Jurriaan Rot, Damien Pous

Publication date: 13 August 2018

Recommendations

• Companions, codensity and causality
• Companions, causality and codensity
• scientific article; zbMATH DE number 1497875
• Distributive laws for monotone specifications
• Distributive laws for monotone specifications

zbMATH Keywords

monoidal categoriescoalgebrasdistributive lawsaccessible functors

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Monoidal categories, symmetric monoidal categories (18M05)

Cited In (4)

• Bisimulation and coinduction enhancements: a historical perspective
• Coinduction in Flow: The Later Modality in Fibrations
• Diacritical companions
• A categorical framework for congruence of applicative bisimilarity in higher-order languages

This page was built for publication: Monoidal company for accessible functors

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