The monads of classical algebra are seldom weakly Cartesian (Q2255534): Difference between revisions

Let \(\mathbf K\) be a category. A commutative square \[ \begin{tikzcd} W\ar[r,"q"]\ar[d, "p"']&Y\ar[d,"g"]\\ X\ar[r,"f"']&Z \end{tikzcd} \] in \(\mathbf K\) is a weak pullback if for every commutative square \[ \begin{tikzcd} P\ar[r,"u"]\ar[d,"v"']&X \ar[d, "f"]\\ Y\ar[r,"g"']&Z \end{tikzcd} \] in \(\mathbf K\) there exists a morphism \(t \stackrel{P}{\to}W\) with \(p\circ t=u\) and \(q\circ t=v\). Let \(\mathcal T=(T,\eta ,\mu )\) be a monad on \( \mathbf S\mathbf E\mathbf T\). Then \(T\) is weakly cartesian if it preserves weak pullbacks. The natural transformation \(\eta\) (or \(\mu\)) is weakly cartesian if for every map \(u:A\to B\) the natural commutative square \[ \begin{tikzcd} A\ar[r,"\eta^A"]\ar[d,"u" ']&TA\ar[d,"TU"]\\ B\ar[r,"\eta^B" ']&TB\end{tikzcd} \] or \[ \begin{tikzcd} T^2A\ar[r,"\mu^A"]\ar[d,"T^2u" ']&TA\ar[d,"Tu"]\\ T^2B\ar[r,"\mu^B" ']&TB\end{tikzcd} \] is a weak pullback. A monad \(\mathcal T\) is weakly cartesian if \(T\) and \(\mu\) are weakly cartesian. A functor \(T\) is taut if it preserves pullbacks along monomorphisms, \(\mu\) (or \(\eta\)) is taut if the natural squares of monomorphisms are pullbacks and \(\mathcal T\) is taut if \(T\), \(\eta\) and \( \mu\) are taut. Some sufficient conditions on varieties of universal algebras are given to be not weakly cartesian. Let \(\mathbf C\) be the variety of semimodules over a semiring \(S\) and \(\mathcal T=(T,\eta ,\mu )\) be the monad of \(\mathbf C\). The characterization of \(S\) such that \(T\) (or \( \eta\), or \(\mu\)) is weakly cartesian is presented. Also it is characterized when the monad \(\mathcal T\) is taut or weakly cartesian. Finally some examples are given.