Monoidal company for accessible functors

DOI10.4230/LIPICS.CALCO.2017.5MaRDI QIDQ4580200zbMATH OpenFDO

Authors Henning Basold, Damien Pous, Jurriaan Rot

Publication date 13 August 2018

zbMATH Keywords

monoidal categoriescoalgebrasdistributive lawsaccessible functors

Mathematics Subject Classification ID

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

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

Cited in

(6)

• Companions, causality and codensity
• Coinduction in Flow: The Later Modality in Fibrations
• A categorical framework for congruence of applicative bisimilarity in higher-order languages
• Diacritical companions
• Bisimulation and coinduction enhancements: a historical perspective
• 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)