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