3 papers
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…
math.CT2026
From higher-order rewriting systems to higher-order categorial algebras and higher-order Curry-Howard isomorphisms
Juan Climent Vidal, Enric Cosme Llópez, Raúl Ruiz Mora
This ongoing project aims to define and investigate, from the standpoint of category theory, order theory and universal algebra, the notions of higher-order many-sorted rewriting s…
math.CT2025
Lallement functor is a weak right multiadjoint
Juan Climent Vidal, Enric Cosme Llópez
For a plural signature and with regard to the category , of naturally preordered idempotent -algebras and surjective homomorphisms, we de…