Monoidal company for accessible functors

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

Authors: Henning Basold, Damien Pous, Jurriaan Rot 

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 (6)

• Companions, causality and codensity
• 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
• Companions, codensity and causality

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)