Associative algebra over a commutative ring

Let $K$ be a commutative ring. An $K$ -semigroup $𝑇$ can be viewed in two equivalent ways: #m/def/ring

As an $K$ -algebra which is associative;
As a rng $𝑇$ equipped with an $K$ -action.

It is thus a Semigroup object in $K 𝖬 𝗈 𝖽$

#state/tidy | #lang/en | #SemBr