Enric Cosme Llópez

collaborators

3 papers

math.CT2024

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.CT2023

Lallement functor is a weak right multiadjoint

Juan Climent Vidal, Enric Cosme Llópez

For a plural signature $Σ$ and with regard to the category $NPIAlg (Σ)_{s}$ , of naturally preordered idempotent $Σ$ -algebras and surjective homomorphisms, we defin…

math.CT2023

Płonka Adjunction

Juan Climent Vidal, Enric Cosme Llópez

For a signature $Σ$ and its subsignature $Σ^{\neq = 0}$ without $0$ -ary operation symbols, we prove (1) that there are strong Lawvere adjoint cylinders between the category $\mathsf{…