What Makes a Strong Monad?

07/02/2022
by   Dylan McDermott, et al.
0

Strong monads are important for several applications, in particular, in the denotational semantics of effectful languages, where strength is needed to sequence computations that have free variables. Strength is non-trivial: it can be difficult to determine whether a monad has any strength at all, and monads can be strong in multiple ways. We therefore review some of the most important known facts about strength and prove some new ones. In particular, we present a number of equivalent characterizations of strong functor and strong monad, and give some conditions that guarantee existence or uniqueness of strengths. We look at strength from three different perspectives: actions of a monoidal category V, enrichment over V, and powering over V. We are primarily motivated by semantics of effects, but the results are also useful in other contexts.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
04/21/2023

Strong pseudomonads and premonoidal bicategories

Strong monads and premonoidal categories play a central role in clarifyi...
research
06/16/2014

Argument Ranking with Categoriser Function

Recently, ranking-based semantics is proposed to rank-order arguments fr...
research
01/10/2022

Knots and their effect on the tensile strength of lumber

When assessing the strength of sawn lumber for use in engineering applic...
research
07/19/2022

Central Submonads and Notions of Computation

The notion of "centre" has been introduced for many algebraic structures...
research
05/09/2015

Equitability, interval estimation, and statistical power

For analysis of a high-dimensional dataset, a common approach is to test...
research
07/14/2020

Nonclassical truth with classical strength. A proof-theoretic analysis of compositional truth over HYPE

Questions concerning the proof-theoretic strength of classical versus no...
research
09/17/2020

Dealing with Incompatibilities among Procedural Goals under Uncertainty

By considering rational agents, we focus on the problem of selecting goa...

Please sign up or login with your details

Forgot password? Click here to reset