Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20) Actions of a monoidal category, tensorial strength (18D25)
Cites work
Cited in
(94)- A coinductive calculus for asynchronous side-effecting processes
- Finitely presentable algebras for finitary monads
- Monads on higher monoidal categories
- Unguarded recursion on coinductive resumptions
- Restriction categories II: Partial map classification
- Covariant types
- Reversible monadic computing
- Shades of iteration: from Elgot to Kleene
- When programs have to watch paint dry
- Gabriel-Morita theory for excisive model categories
- Categories
- Plethysms and operads
- LNL polycategories and doctrines of linear logic
- Operadic categories and duoidal Deligne's conjecture
- Safe recursion revisited. I: Categorical semantics for lower complexity
- Hopf monads: a survey with new examples and applications
- Notions of computation and monads
- Bernays-Gödel type theory
- Unguarded recursion on coinductive resumptions
- List Objects with Algebraic Structure
- The essence of higher-order concurrent separation logic
- Lax monads. Indexed monoidal monads
- Differential 2-rigs
- Lifting theorems for Kleisli categories
- Combinatorial functional and differential equations applied to differential posets
- A presentation of the initial lift-algebra
- Monads and monoids on symmetric monoidal closed categories
- D-ultrafilters and their monads
- Behavioural equivalences for timed systems
- scientific article; zbMATH DE number 3724667 (Why is no real title available?)
- A generalised quantifier theory of natural language in categorical compositional distributional semantics with bialgebras
- Frames and topological algebras for a double-power monad
- The Giry monad is not strong for the canonical symmetric monoidal closed structure on \textbf {Meas}
- Classical mathematics for a constructive world
- ``Keep definition, change category -- a practical approach to state-based system calculi
- Complete iterativity for algebras with effects
- Iris from the ground up: a modular foundation for higher-order concurrent separation logic
- Coalgebras and monads in the semantics of Java
- Coinduction in Flow: The Later Modality in Fibrations
- scientific article; zbMATH DE number 7779295 (Why is no real title available?)
- Weakest preconditions in fibrations
- Factorisation systems for logical relations and monadic lifting in type-and-effect system semantics
- Fuzzy generalised quantifiers for natural language in categorical compositional distributional semantics
- The connected Vietoris powerlocale
- From parametric polymorphism to models of polymorphic FPC
- Semantics of weakening and contraction
- Smart Choices and the Selection Monad
- A coalgebraic perspective on logical interpretations
- Local fibred right adjoints are polynomial
- Pseudo-commutative monads and pseudo-closed 2-categories
- Probability, valuations, hyperspace: three monads on Top and the support as a morphism
- A calculus for generic, QoS-aware component composition
- Continuity as a computational effect
- Monads generated by monoids
- Ambiguity and incomplete information in categorical models of language
- Generic weakest precondition semantics from monads enriched with order
- A categorical setting for lower complexity
- Symmetric monoidal comonads and differential algebra
- Regular behaviours with names: on rational fixpoints of endofunctors on nominal sets
- scientific article; zbMATH DE number 7559448 (Why is no real title available?)
- Fixed-Point Elimination in the Intuitionistic Propositional Calculus
- On the construction of free algebras for equational systems
- scientific article; zbMATH DE number 7471684 (Why is no real title available?)
- scientific article; zbMATH DE number 3749236 (Why is no real title available?)
- Quantale-enriched multicategories via actions
- From gs-monoidal to oplax cartesian categories: constructions and functorial completeness
- Sum and tensor of quantitative effects
- Presheaf models of quantum computation: an outline
- Bundle functors and fibrations
- Lifting results for categories of algebras
- scientific article; zbMATH DE number 672108 (Why is no real title available?)
- Formal ball monads
- An equational notion of lifting monad
- Selection functions, bar recursion and backward induction
- Pseudo-commutativity of KZ 2-monads
- Monads and algebras in the semantics of partial data types
- Trace semantics via determinization
- Monad as modality
- Bimonoidal structure of probability monads
- The Herbrand functional interpretation of the double negation shift
- Coherence for monoidal endofunctors
- Coherence for monoidal monads and comonads
- A simply typed \(\lambda\)-calculus of forward automatic differentiation
- scientific article; zbMATH DE number 6981655 (Why is no real title available?)
- Limits in categories of Vietoris coalgebras
- Some reasons for generalising domain theory
- Restriction categories III: colimits, partial limits and extensivity
- Polynomial functors and polynomial monads
- Behavioural equivalences for coalgebras with unobservable moves
- Strong functors on many-sorted sets
- GENERALISATIONS OF LODAY’S ASSEMBLY MAPS FOR LAWVERE’S ALGEBRAIC THEORIES
- Monoidal Kleisli bicategories and the arithmetic product of coloured symmetric sequences
- Strong categorical datatypes II: A term logic for categorical programming
- Cartesian monads on toposes
This page was built for publication: Strong functors and monoidal monads
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2557763)
