The shuffle quasimonad and modules with differentiation and integration
DOI10.1016/j.entcs.2016.09.030zbMath1395.03031OpenAlexW2529791593WikidataQ113317642 ScholiaQ113317642MaRDI QIDQ1744374
Marc Bagnol, J. S. Lemay, J. Robin B. Cockett, Richard F. Blute
Publication date: 23 April 2018
Full work available at URL: https://doi.org/10.1016/j.entcs.2016.09.030
Associative rings determined by universal properties (free algebras, coproducts, adjunction of inverses, etc.) (16S10) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15)
Related Items (1)
Cites Work
- Linear logic
- Differential interaction nets
- Monads and distributive laws for Rota-Baxter and differential algebras
- The weak theory of monads
- Properties of free Baxter algebras
- The differential lambda-calculus
- Baxter algebras and shuffle products
- Quasi-shuffle products
- Rota-Baxter operators on the polynomial algebra, integration, and averaging operators
- On differential Rota-Baxter algebras.
- Regular pairings of functors and weak (co)monads
- Derivations in Codifferential Categories
- Differential categories
- FREE ROTA–BAXTER ALGEBRAS AND ROOTED TREES
- A remark on the theory of semi-functors
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: The shuffle quasimonad and modules with differentiation and integration