I have been playing with substructures of commutative rings today and noticed that there is a strong analogy between the formation of quotients and kernels with the formation of localizations with multiplicative sets. More precisely, given a commutative ring $R$, the ideal structure Ideal($R$) has a lattice structure (intersection and sums being the meet and join). Also the set of multiplicative submonoids of $R$, Mult($R$), also has a lattice structure (intersection and multiplicative closure being the meet and join). It can be verified that the following are functors, $$ K\colon R\downarrow CRing\to Ideal(R),\ (f\colon R\to S)\mapsto ker(f)\\ Q\colon Ideal(R)\to R\downarrow CRing,\ I\mapsto (\pi_I\colon R\to R/I) $$ with $\pi_I$ being the canonical projection. It can also be easily verified that $Q\dashv K$, i.e., formation of quotients is left adjoint to the formation of kernels. The counit of this adjunction is the well-known isomorphism theorem for rings. The unit is just the identity.
Similarly, if we denote the group of units of a ring $S$ by $S^*$, we can verify that the following are functorial as well, $$ L\colon R\downarrow CRing \to Mult(R),\ (f\colon R\to S)\mapsto f^{-1}(S^*)\\ M\colon Mult(R)\to R\downarrow CRing,\ S\mapsto (\ell_S\colon R\to S^{-1}R) $$ with $\ell_S$ being the canonical map $r\mapsto \frac{r}{1}$. Again, we can show $L\dashv M$, i.e., the formation of localizations is left adjoint to the formation of multiplicative sets. The counit of this adjunction is the universal mapping property of localizations. The unit being $$\eta_S\colon S\hookrightarrow ML(S)=\begin{cases}S\vee R^*& 0\not\in S\\ R& 0\in S \end{cases}.$$
(NOTE: Since $1=0$ in the zero ring, we are allowing $0$ to be a unit in the zero ring.)
My question: Is there something deeper happening here? Are the constructions above particular instances of congruences on slice categories? Or can we generalize to other algebraic structures, i.e., in a universal algebraic sense?