The monads of classical algebra are seldom weakly Cartesian

DOI10.1007/S40062-013-0063-2MaRDI QIDQ2255534zbMATH OpenOpenAlexFDO

Authors Maria Manuel Clementino, Dirk Hofmann, George Janelidze

Publication date 17 February 2015

Published in Journal of Homotopy and Related Structures (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s40062-013-0063-2

Cartesian monad semimodule semiring subtractive variety of algebras weak pullback weakly Cartesian

Finitary algebras (08A62) Categories of algebras (08C05) Modules, bimodules and ideals in associative algebras (16D99) Semirings (16Y60) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15) Eilenberg-Moore and Kleisli constructions for monads (18C20)

Review text

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.

Recommendations

Cites work

Cited in

(17)

This page was built for publication: The monads of classical algebra are seldom weakly Cartesian

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2255534)