Premium
Birkhoff‐Frink representations as functors
Author(s) -
Climent Vidal J.,
Soliveres Tur J.
Publication year - 2010
Publication title -
mathematische nachrichten
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.913
H-Index - 50
eISSN - 1522-2616
pISSN - 0025-584X
DOI - 10.1002/mana.200610832
Subject(s) - mathematics , functor , morphism , covariance and contravariance of vectors , pure mathematics , equivalence (formal languages) , category theory , subalgebra , algebra over a field , covariant transformation , algebraic number , closure (psychology) , mathematical analysis , geometry , economics , market economy
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 defining the appropriate categories and functors, covariant and contravariant, involved in the process (© 2010 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)