2 papers
cs.LO2026
A Kleene theorem for free many-sorted algebras
Lü Gong, Raúl Ruiz Mora, Nofre SanmartÃn Vich +1
In this work, we generalize Kleene's theorem from free single-sorted algebras to free many-sorted algebras. Our main result establishes that, under appropriate finitary assumptions…
math.CT2026
Riguet and Generalized Congruences on a Category: Relationships and Applications
Juan Climent Vidal, Enric Cosme Llópez, Raúl Ruiz Mora
We investigate Riguet congruences and generalized congruences on a category, focusing on their interrelations from both lattice-theoretic and category-theoretic perspectives. We al…