November 4, 2025

Many-sorted algebras