1 citations · 1 across the 7 of their papers we have counts for
7 papers
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…
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 defin…
Płonka Adjunction
Juan Climent Vidal, Enric Cosme Llópez
For a signature and its subsignature without -ary operation symbols, we prove (1) that there are strong Lawvere adjoint cylinders between the category $\mathsf{…
Congruence based proofs of the recognizability theorems for free many-sorted algebras
Juan Climent Vidal, Enric Cosme Llópez
We generalize several recognizability theorems for free single-sorted algebras to the field of many-sorted algebras and provide, in a uniform way and without using neither regular…
A characterization of the -ary many-sorted closure operators and a many-sorted Tarski irredundant basis theorem
Juan Climent Vidal, Enric Cosme Llópez
A theorem of single-sorted algebra states that, for a closure space and a natural number , the closure operator on the set is -ary if, and only if, there exis…
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 and an -sorted signature we prove that a profinite -algebra, i.e., a projective limit of a projective system of finite -algebras, is a retract o…
Eilenberg theorems for many-sorted formations
Juan Climent Vidal, Enric Cosme Llópez
A theorem of Eilenberg establishes that there exists a bijection between the set of all varieties of regular languages and the set of all varieties of finite monoids. In this artic…