Generalizations of Bilinear Maps -- Technical Report

Jakl, Tomáš; Marsden, Dan; Shah, Nihil

doi:10.48550/arxiv.2205.05382

Cited by 1 publication

(1 citation statement)

References 0 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Example 5.12. Every semiring ( , +, 0, •, 1) induces a monad T : Set → Set [Jakl et al 2022]. This monad maps a set to the set of finite formal sums of the form ∈ T , where are elements of and are elements of .…”

Section: Specific Examples Of Centralisable Monadsmentioning

confidence: 99%

Central Submonads and Notions of Computation

Carette¹,

Lemonnier²,

Zamdzhiev³

2022

Preprint

View full text Add to dashboard Cite

The notion of "centre" has been introduced for many algebraic structures in mathematics. A notable example is the centre of a monoid which always determines a commutative submonoid. Monads in category theory are important algebraic structures that may be used to model computational effects in programming languages and in this paper we show how the notion of centre may be extended to strong monads acting on symmetric monoidal categories. We show that the centre of a strong monad T , if it exists, determines a commutative submonad Z of T , such that the Kleisli category of Z is isomorphic to the premonoidal centre (in the sense of Power and Robinson) of the Kleisli category of T . We provide three equivalent conditions which characterise the existence of the centre of T and we show that every strong monad on many well-known naturally occurring categories does admit a centre, thereby showing that this new notion is ubiquitous. We also provide a computational interpretation of our ideas which consists in giving a refinement of Moggi's monadic metalanguage. The added benefit is that this allows us to immediately establish a large class of contextually equivalent programs for computational effects that are described via monads that admit a non-trivial centre by simply considering the richer syntactic structure provided by the refinement.

show abstract

Section: Specific Examples Of Centralisable Monadsmentioning

confidence: 99%