Distributive laws for relative monads (Q6159707)

An important notion in monad theory is the one of a \textit{distributive law} [\textit{J. Beck}, Lect. Notes Math. 80, 119--140 (1969; Zbl 0186.02902); \textit{F. Marmolejo} et al., J. Pure Appl. Algebra 168, No. 2--3, 209--226 (2002; Zbl 1005.18006)] of a monad \(T\) over another monad \(S\), which is a natural transformation \(d:ST\rightarrow TS\) abiding by four compatibility axioms. Beck [loc. cit.] established that a distibutive law \(d:ST\rightarrow TS\) is equivalent to a lifting of \(T\) to \(S\)-algebra. It is often attributed to Beck that a distibutive law \(d:ST\rightarrow TS\) is also equivalent to an extension of \(S\) to the Kleisli category of \(T\). A characterization of distibutive law \(d:ST\rightarrow TS\) in terms of \(S\)-algebras \(\alpha:STS\rightarrow TS\) with some properties is to be found in [\textit{F. Marmolejo} et al., J. Pure Appl. Algebra 168, No. 2--3, 209--226 (2002; Zbl 1005.18006), Proposition 3.5], being extended in [\textit{F. Marmolejo} and \textit{R. J. Wood}, Theory Appl. Categ. 24, 84--113 (2010; Zbl 1315.18008), Theorem 6.2] to extension systems. The definition of a distributive law of a right extension system with respect to a left extension system (also called a no-iteration distributive law or a distributive law in extension form) was given in [\textit{E. R. Hernández}, ``Another characterization of no-iteration distributive laws'', Preprint, \url{arXiv:1910.06531}]. Finally, mixed distributive laws between a monad and a comonad have been studied in terms of extension systems [\textit{F. Marmolejo} and \textit{R. J. Wood}, Theory Appl. Categ. 24, 84--113 (2010; Zbl 1315.18008)]. This paper aims to develop further the theory of distributive laws by introducing the notion of a distributive law between aa distributive law relative monad \ and a monad, which is called a \textit{relative a distributive law} (Definition 5.2). In particular, a counterpart of Beck's equivalence for relative distributive laws is established (Theorem 6.19).