Strong dinatural transformations and generalised codensity monads

DOI10.46298/ENTICS.16689MaRDI QIDQ7312209zbMATH OpenFDO

Authors Maciej Piróg, Filip Sieczkowski

Publication date 11 August 2026

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.46298/ENTICS.16689

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55)

Cites work

• Asymptotic Improvement of Computations over Free Monads
• Bilinearity and Cartesian Closed Monads.
• Closed categories generated by commutative monads
• Codensity and Stone spaces
• Codensity and the Giry monad
• Codensity and the ultrafilter monad
• Codensity liftings of monads
• D-ultrafilters and their monads
• Dinatural numbers
• Dinatural transformations
• Eilenberg-Moore monoids and backtracking monad transformers
• Equational theories and monads from polynomial Cayley representations
• Fusion for free. Efficient algebraic effect handlers
• scientific article; zbMATH DE number 3882404 (Why is no real title available?)
• scientific article; zbMATH DE number 3549200 (Why is no real title available?)
• scientific article; zbMATH DE number 1216133 (Why is no real title available?)
• Kan extensions for program optimisation Or: Art and Dan explain an old trick
• Monad compositions. I: General constructions and recursive distributive laws
• Notions of computation and monads

This page was built for publication: Strong dinatural transformations and generalised codensity monads

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