0000000000161244
AUTHOR
J. Climent Vidal
showing 6 related works from this author
Birkhoff-Frink representations as functors
2010
In an earlier article we characterized, from the viewpoint of set theory, those closure operators for which the classical result of Birkhoff and Frink, stating the equivalence between algebraic closure spaces, subalgebra lattices and algebraic lattices, holds in a many-sorted setting. In the present article we investigate, from the standpoint of category theory, the form these equivalences take when the adequate morphisms of the several different species of structures implicated in them are also taken into account. Specifically, our main aim is to provide a functorial rendering of the Birkhoff-Frink representation theorems for both single-sorted algebras and many-sorted algebras, by definin…
When are profinite many-sorted algebras retracts of ultraproducts of finite many-sorted algebras?
2017
For a set of sorts $S$ and an $S$-sorted signature $\Sigma$ we prove that a profinite $\Sigma$-algebra, i.e., a projective limit of a projective system of finite $\Sigma$-algebras, is a retract of an ultraproduct of finite $\Sigma$-algebras if the family consisting of the finite $\Sigma$-algebras underlying the projective system is with constant support. In addition, we provide a categorial rendering of the above result. Specifically, after obtaining a category where the objects are the pairs formed by a nonempty upward directed preordered set and by an ultrafilter containing the filter of the final sections of it, we show that there exists a functor from the just mentioned category whose o…
On the Directly and Subdirectly Irreducible Many-Sorted Algebras
2015
AbstractA theorem of single-sorted universal algebra asserts that every finite algebra can be represented as a product of a finite family of finite directly irreducible algebras. In this article, we show that the many-sorted counterpart of the above theorem is also true, but under the condition of requiring, in the definition of directly reducible many-sorted algebra, that the supports of the factors should be included in the support of the many-sorted algebra. Moreover, we show that the theorem of Birkhoff, according to which every single-sorted algebra is isomorphic to a subdirect product of subdirectly irreducible algebras, is also true in the field of many-sorted algebras.
Congruence-based proofs of the recognizability theorems for free many-sorted algebras
2020
Abstract We generalize several recognizability theorems for free single-sorted algebras to free many-sorted algebras and provide, in a uniform way and without using either regular tree grammars or tree automata, purely algebraic proofs of them based on congruences.
A characterization of the n-ary many-sorted closure operators and a many-sorted Tarski irredundant basis theorem
2018
A theorem of single-sorted algebra states that, for a closure space (A, J ) and a natural number n, the closure operator J on the set A is n-ary if and only if there exists a single-sorted signature Σ and a Σ-algebra A such that every operation of A is of an arity ≤ n and J = SgA, where SgA is the subalgebra generating operator on A determined by A. On the other hand, a theorem of Tarski asserts that if J is an n-ary closure operator on a set A with n ≥ 2, then, for every i, j ∈ IrB(A, J ), where IrB(A, J ) is the set of all natural numbers which have the property of being the cardinality of an irredundant basis (≡ minimal generating set) of A with respect to J , if i < j and {i + 1, . . . …
Eilenberg Theorems for Many-sorted Formations
2019
A theorem of Eilenberg establishes that there exists a bijectionbetween the set of all varieties of regular languages and the set of all vari-eties of finite monoids. In this article after defining, for a fixed set of sortsSand a fixedS-sorted signature Σ, the concepts of formation of congruenceswith respect to Σ and of formation of Σ-algebras, we prove that the alge-braic lattices of all Σ-congruence formations and of all Σ-algebra formationsare isomorphic, which is an Eilenberg's type theorem. Moreover, under asuitable condition on the free Σ-algebras and after defining the concepts offormation of congruences of finite index with respect to Σ, of formation offinite Σ-algebras, and of form…