February 5, 2025

Many-sorted algebras