Monads on symmetric monoidal closed categories

DOI10.1007/BF01220868zbMath0196.03403OpenAlexW2052577206MaRDI QIDQ2539417

Publication date: 1970

Published in: Archiv der Mathematik (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01220868

zbMATH Keywords

general algebraic structures

Related Items

Unnamed Item, Complete Iterativity for Algebras with Effects, Semantics of weakening and contraction, ``Keep definition, change category -- a practical approach to state-based system calculi, Ordinals in Frobenius monads, A Simply Typed λ-Calculus of Forward Automatic Differentiation, The convex powerdomain in a category of posets realized by cpos, Lifting as a KZ-doctrine, Monads for which structures are adjoint to units, Categorifying Computations into Components via Arrows as Profunctors, Discrete Lawvere theories and computational effects, Unnamed Item, Combining algebraic effects with continuations, On fixpoint objects and gluing constructions, Functional distribution monads in functional-analytic contexts, A dialectica-like model of linear logic, From probability monads to commutative effectuses, Hopf monads: a survey with new examples and applications, A survey of categorical properties of \(\mathbb{L}\)-fuzzy relations, From gs-monoidal to oplax cartesian categories: constructions and functorial completeness, Diagrammatic presentations of enriched monads and varieties for a subcategory of arities, GENERALISATIONS OF LODAY’S ASSEMBLY MAPS FOR LAWVERE’S ALGEBRAIC THEORIES, Closed categories generated by commutative monads, Commutativity, The order-K-ification monads, Unnamed Item, Unnamed Item, Monad compositions II: Kleisli strength, Unnamed Item, Pseudo-commutativity of KZ 2-monads, Unnamed Item, Iris from the ground up: A modular foundation for higher-order concurrent separation logic, The Essence of Higher-Order Concurrent Separation Logic, Unnamed Item, Gabriel-Morita theory for excisive model categories, Unnamed Item, Lax monads. Indexed monoidal monads, Quantitative domains and infinitary algebras, Selection functions, bar recursion and backward induction, Some reasons for generalising domain theory, The Giry monad is not strong for the canonical symmetric monoidal closed structure on \textbf {Meas}, Tail recursion through universal invariants, Semimodule Enrichment, Generalized Płonka sums and products, Presheaf Models of Quantum Computation: An Outline, Units of equivariant ring spectra, Affine Monads and Side-Effect-Freeness, Coherence for monoidal endofunctors, Coherence for monoidal monads and comonads, Skew structures in 2-category theory and homotopy theory, V-localizations and V-Kleisli algebras, Monads generated by monoids, Combining effects: sum and tensor, Unnamed Item, Languages for monoidal categories, Monads on higher monoidal categories, Commutants for enriched algebraic theories and monads, Symmetric monoidal comonads and differential algebra, Categories, Unnamed Item, From parametric polymorphism to models of polymorphic FPC, Strong functors and monoidal monads, Monads and monoids on symmetric monoidal closed categories, On the differential graded Eilenberg-Moore construction, Quantifiers on languages and codensity monads, Pseudo-commutative monads and pseudo-closed 2-categories, Coalgebraic semantics for nominal automata, Unnamed Item

Cites Work