Revisiting categories of algebras of equational theories | Abstract Nonsense Revisiting categories of algebras of equational theories Sep 11, 2025 Recently I posted about a pending contribution to UniMath