Sweedler theory of monads

DOI10.1007/978-3-030-99253-8_22OpenAlexW4226430568MaRDI QIDQ6181941

Dylan McDermott, Tarmo Uustalu, Exequiel Rivas

Publication date: 23 January 2024

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-030-99253-8_22

zbMATH Keywords

duoidal categories(co)monadsinteraction lawsrunners(co)algebrasSweedler operations

Mathematics Subject Classification ID

Theory of computing (68Qxx) Theory of software (68Nxx)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Generalizations of the Sweedler dual
• An invitation to general algebra and universal constructions.
• Commutativity
• Algebraic and coalgebraic perspectives on interaction laws
• Stateful runners of effectful computations
• Monoidal Functors, Species and Hopf Algebras
• On Categories of Monoids, Comonoids, and Bimonoids
• Accessible Categories: The Foundations of Categorical Model Theory
• Hopf measuring comonoids and enrichment
• The costructure–cosemantics adjunction for comodels for computational effects
• Interaction Laws of Monads and Comonads
• Internal coalgebras in cocomplete categories: Generalizing the Eilenberg–Watts theorem
• Linear usage of state
• Tensors of Comodels and Models for Operational Semantics
• Algebra valued functors in general and tensor products in particular
• Representable Functors and Operations on Rings
• Understanding the small object argument
• Stream Processors and Comodels.

This page was built for publication: Sweedler theory of monads