Enric Cosme Llópez

activity

20162026

most citedEilenberg theorems for many-sorted formations

1 citations · 1 across the 7 of their papers we have counts for

collaborators

Showing math.CTShow all

5 papers · 1 filter

math.CT2026

Higher-order many-sorted categorial algebras via generalized hep-derivors

J. Climent Vidal, E. Cosme Llópez, R. Ruiz Mora +1

Higher-order many-sorted categorial algebras are many-sorted algebras whose carriers are strict higher-order categories and whose operations are higher-order functors. They admit a…

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{…

math.CT2017

When are profinite many-sorted algebras retracts of ultraproducts of finite many-sorted algebras?

Juan Climent Vidal, Enric Cosme Llópez

For a set of sorts $S$ and an $S$ -sorted signature $Σ$ we prove that a profinite $Σ$ -algebra, i.e., a projective limit of a projective system of finite $Σ$ -algebras, is a retract o…