symmetric monoidal (∞,1)-category of spectra
Given a ring $R$ (or some analogue, say a Banach algebra), a submodule $K$ of an $R$-module $M$ is called superfluous or small in $M$, written $K \ll M$, if, for every submodule $L\subset M$ , the equality $K + L = M$ implies $L = M$. An epimorphism $f : M\to N$ is called superfluous (or coessential) if $Ker f \ll M$.
Superfluous epimorphisms are a notion dual to essential monomorphisms; their role in the study of projective covers is analogous to the role of essential monomorphisms in the study of injective envelopes.
Last revised on July 5, 2024 at 17:20:22. See the history of this page for a list of all contributions to it.