Strong functors and monoidal monads

DOI10.1007/BF01304852zbMath0253.18007WikidataQ30053612 ScholiaQ30053612MaRDI QIDQ2557763

Publication date: 1972

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

Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15) Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20) Actions of a monoidal category, tensorial strength (18D25)

Related Items

Complete Iterativity for Algebras with Effects, Lifting theorems for Kleisli categories, Semantics of weakening and contraction, Weakest preconditions in fibrations, Bimonoidal structure of probability monads, Factorisation systems for logical relations and monadic lifting in type-and-effect system semantics, ``Keep definition, change category -- a practical approach to state-based system calculi, Continuity as a computational effect, A Categorical Setting for Lower Complexity, A Simply Typed λ-Calculus of Forward Automatic Differentiation, Unnamed Item, Regular behaviours with names: on rational fixpoints of endofunctors on nominal sets, Finitely Presentable Algebras For Finitary Monads, Quantale-Enriched Multicategories Via Actions, Fuzzy generalised quantifiers for natural language in categorical compositional distributional semantics, A coalgebraic perspective on logical interpretations, Probability, valuations, hyperspace: Three monads on top and the support as a morphism, Bundle functors and fibrations, Safe recursion revisited. I: Categorical semantics for lower complexity, Operadic categories and duoidal Deligne's conjecture, A coinductive calculus for asynchronous side-effecting processes, Covariant types, Ambiguity and Incomplete Information in Categorical Models of Language, Monad as modality, Generic weakest precondition semantics from monads enriched with order, Behavioural equivalences for coalgebras with unobservable moves, Hopf monads: a survey with new examples and applications, When programs have to watch paint dry, From gs-monoidal to oplax cartesian categories: constructions and functorial completeness, An equational notion of lifting monad, Restriction categories II: Partial map classification, GENERALISATIONS OF LODAY’S ASSEMBLY MAPS FOR LAWVERE’S ALGEBRAIC THEORIES, LNL polycategories and doctrines of linear logic, Smart Choices and the Selection Monad, Plethysms and operads, Differential 2-rigs, A calculus for generic, QoS-aware component composition, Unnamed Item, Unnamed Item, Pseudo-commutativity of KZ 2-monads, A generalised quantifier theory of natural language in categorical compositional distributional semantics with bialgebras, Unguarded recursion on coinductive resumptions, Reversible monadic computing, D-ultrafilters and their monads, 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, Coinduction in Flow: The Later Modality in Fibrations, Polynomial functors and polynomial monads, Strong categorical datatypes II: A term logic for categorical programming, Selection functions, bar recursion and backward induction, Some reasons for generalising domain theory, A presentation of the initial lift-algebra, Cartesian monads on toposes, Monads and algebras in the semantics of partial data types, The Giry monad is not strong for the canonical symmetric monoidal closed structure on \textbf {Meas}, Combinatorial functional and differential equations applied to differential posets, Local fibred right adjoints are polynomial, Unnamed Item, Presheaf Models of Quantum Computation: An Outline, Coherence for monoidal endofunctors, Coherence for monoidal monads and comonads, Monads generated by monoids, Unnamed Item, Unnamed Item, Restriction categories III: colimits, partial limits and extensivity, Monads on higher monoidal categories, Symmetric monoidal comonads and differential algebra, Categories, Unnamed Item, Fixed-Point Elimination in the Intuitionistic Propositional Calculus, On the construction of free algebras for equational systems, Strong functors on many-sorted sets, Unnamed Item, THE HERBRAND FUNCTIONAL INTERPRETATION OF THE DOUBLE NEGATION SHIFT, Notions of computation and monads, Classical mathematics for a constructive world, From parametric polymorphism to models of polymorphic FPC, Formal ball monads, The connected Vietoris powerlocale, Monads and monoids on symmetric monoidal closed categories, List Objects with Algebraic Structure, Limits in categories of Vietoris coalgebras, Pseudo-commutative monads and pseudo-closed 2-categories, Coalgebras and monads in the semantics of Java, Trace semantics via determinization, Bernays-Gödel type theory, Lifting results for categories of algebras

Cites Work