The monads of classical algebra are seldom weakly Cartesian (Q2255534)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | The monads of classical algebra are seldom weakly Cartesian |
scientific article |
Statements
The monads of classical algebra are seldom weakly Cartesian (English)
0 references
17 February 2015
0 references
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.
0 references
monad
0 references
Cartesian
0 references
weakly Cartesian
0 references
weak pullback
0 references
variety of algebras
0 references
semiring
0 references
semimodule
0 references
subtractive
0 references