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) Actions of a monoidal category, tensorial strength (18D25) Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20)
Cites work
Cited in
(only showing first 100 items - show all)- On the construction of free algebras for equational systems
- The connected Vietoris powerlocale
- Lax monads. Indexed monoidal monads
- Monads and algebras in the semantics of partial data types
- Monads generated by monoids
- Categories
- Semantics of weakening and contraction
- Covariant types
- Monad as modality
- An equational notion of lifting monad
- Restriction categories II: Partial map classification
- Lifting results for categories of algebras
- Bundle functors and fibrations
- Gabriel-Morita theory for excisive model categories
- The Giry monad is not strong for the canonical symmetric monoidal closed structure on \textbf {Meas}
- Pseudo-commutative monads and pseudo-closed 2-categories
- Coalgebras and monads in the semantics of Java
- Bernays-Gödel type theory
- A calculus for generic, QoS-aware component composition
- Weakest preconditions in fibrations
- Bimonoidal structure of probability monads
- Factorisation systems for logical relations and monadic lifting in type-and-effect system semantics
- D-ultrafilters and their monads
- Formal ball monads
- Trace semantics via determinization
- Continuity as a computational effect
- Monads and monoids on symmetric monoidal closed categories
- Fuzzy generalised quantifiers for natural language in categorical compositional distributional semantics
- Fixed-Point Elimination in the Intuitionistic Propositional Calculus
- Complete iterativity for algebras with effects
- The essence of higher-order concurrent separation logic
- ``Keep definition, change category -- a practical approach to state-based system calculi
- Classical mathematics for a constructive world
- Limits in categories of Vietoris coalgebras
- Behavioural equivalences for timed systems
- A categorical setting for lower complexity
- A simply typed -calculus of forward automatic differentiation
- Regular behaviours with names: on rational fixpoints of endofunctors on nominal sets
- From parametric polymorphism to models of polymorphic FPC
- Selection functions, bar recursion and backward induction
- Some reasons for generalising domain theory
- Coherence for monoidal endofunctors
- Coherence for monoidal monads and comonads
- A coalgebraic perspective on logical interpretations
- Safe recursion revisited. I: Categorical semantics for lower complexity
- scientific article; zbMATH DE number 3724667 (Why is no real title available?)
- A coinductive calculus for asynchronous side-effecting processes
- scientific article; zbMATH DE number 3749236 (Why is no real title available?)
- Symmetric monoidal comonads and differential algebra
- scientific article; zbMATH DE number 672108 (Why is no real title available?)
- scientific article; zbMATH DE number 6981655 (Why is no real title available?)
- Unguarded recursion on coinductive resumptions
- Iris from the ground up: a modular foundation for higher-order concurrent separation logic
- Polynomial functors and polynomial monads
- Local fibred right adjoints are polynomial
- Presheaf models of quantum computation: an outline
- The Herbrand functional interpretation of the double negation shift
- Ambiguity and incomplete information in categorical models of language
- A coalgebraic take on regular and -regular behaviours
- Probability, valuations, hyperspace: three monads on Top and the support as a morphism
- scientific article; zbMATH DE number 7559448 (Why is no real title available?)
- List Objects with Algebraic Structure
- Frames and topological algebras for a double-power monad
- Strong functors on many-sorted sets
- Finitely presentable algebras for finitary monads
- A generalised quantifier theory of natural language in categorical compositional distributional semantics with bialgebras
- Restriction categories III: colimits, partial limits and extensivity
- Quantale-enriched multicategories via actions
- Coinduction in Flow: The Later Modality in Fibrations
- Lifting theorems for Kleisli categories
- Unguarded recursion on coinductive resumptions
- Reversible monadic computing
- Hopf monads: a survey with new examples and applications
- scientific article; zbMATH DE number 7779295 (Why is no real title available?)
- When programs have to watch paint dry
- From gs-monoidal to oplax cartesian categories: constructions and functorial completeness
- 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
- Pseudo-commutativity of KZ 2-monads
- Monoidal Kleisli bicategories and the arithmetic product of coloured symmetric sequences
- Shades of iteration: from Elgot to Kleene
- Sum and tensor of quantitative effects
- Strong categorical datatypes II: A term logic for categorical programming
- A presentation of the initial lift-algebra
- Cartesian monads on toposes
- Representing guardedness in call-by-value and guarded parametrized monads
- Automata and coalgebras in categories of species
- The quantum monadology
- A biset-enriched categorical model for Proto-Quipper with dynamic lifting
- Bicategories of automata, automata in bicategories
- Effectful semantics in bicategories: strong, commutative, and concurrent pseudomonads
- Coherent Taylor expansion as a bimonad
- A logical approach to type soundness
- A finite algebraic presentation of Lawvere theories in the object-classifier topos
- A topologically enriched probability monad on the Cartesian closed category of CGWH spaces
- Monads on higher monoidal categories
- Uniform Elgot iteration in foundations
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)
