The linear-non-linear substitution 2-monad

MaRDI QIDQ5019678zbMATH OpenFDO

Authors Martin Hyland, Christine Tasson

Publication date 10 January 2022

Full work available at URL https://arxiv.org/abs/2005.09559, http://eptcs.web.cse.unsw.edu.au/paper.cgi?ACT2020.15

Mathematics Subject Classification ID

Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15)

Abstract: We introduce a general construction on 2-monads. We develop background on maps of 2-monads, their left semi-algebras, and colimits in 2-category. Then, we introduce the construction of a colimit induced by a map of 2-monads, show that we obtain the structure of a 2-monad and give a characterisation of its algebras. Finally, we apply the construction to the map of 2-monads between free symmetric monoidal and the free cartesian 2-monads and combine them into a linear-non-linear 2-monad.

Recommendations

• Operads as polynomial 2-monads
• Homotopy-theoretic aspects of 2-monads
• Two-dimensional monad theory
• Monads in double categories
• A general limit lifting theorem for 2-dimensional monad theory

Cites work

• A 2-categories companion
• A unified treatment of transfinite constructions for free algebras, free monoids, colimits, associated sheaves, and so on
• Adjunctions whose counits are coequalizers, and presentations of finitary enriched monads
• Categorical logic and type theory
• Classical lambda calculus in modern dress
• Differential categories
• Elements of a theory of algebraic theories
• Flexible limits for 2-categories
• Foundations of Software Science and Computational Structures
• scientific article; zbMATH DE number 432742 (Why is no real title available?)
• scientific article; zbMATH DE number 626734 (Why is no real title available?)
• Idempotent semirings with a commutative additive reduct
• Linear logic
• Locally cartesian closed categories and type theory
• Modular correspondence between dependent type theories and categories including pretopoi and topoi
• New Approach to Arakelov Geometry
• Notions of computation and monads
• Operads, clones, and distributive laws
• Pseudo-distributive laws and axiomatics for variable binding
• Relative pseudomonads, Kleisli bicategories, and substitution monoidal structures
• Reports of the Midwest Category Seminar
• The cartesian closed bicategory of generalised species of structures
• The differential lambda-calculus
• Towards a notion of lambda monoid
• Two-dimensional monad theory
• Typed Lambda Calculi and Applications

Cited in

(4)

• Algebraic presentation of semifree monads
• Modules over monads and operational semantics (expanded version)
• LNL polycategories and doctrines of linear logic
• Semialgebras and weak distributive laws

This page was built for publication: The linear-non-linear substitution 2-monad

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