Abstract
Hedrlin and Pultr proved that every small category is isomorphic to a full subcategory of the category Alg (Δ) of all algebras of type Δ whenever the sum ∑Δ of their arities satisfies ∑Δ>2. This article deals with simultaneous representation in categories of algebras, a generalization of the related question: given a subcategory k′ of a small category k, when does there exist an extension Δ′ of a type Δ with ∑Δ≽2 such that k′ is a full subcategory of Alg(Δ′) while the Alg (Δ)-redacts of algebras representing k′ determine a category isomorphic to k?
We characterize simultaneous representability by algebras and their reducts completely, and show that it is closely related to Isbell's dominion. A consequence of the main result states that algebraically representable pairs (k′, k) of one-object categories k′ k are exactly those for which k′ coincides with its dominion in k, and provides an alternative characterization of the dominion. Simultaneous representability by partial algebras is not subject to any such restriction.
Similar content being viewed by others
References
HedrlÍn, Z. andPultr, A.,On full embeddings of categories of algebras. Illinois J. Math10 (1986), 392–406.
Howie, J. M.,An introduction to semigroup theory. Academic Press, London, 1976.
Isbell, J. R.,Epimorphisms and dominions. Proc. Conf. on Categorical Algebra, La Jolla, 1965, Springer, Berlin, 1966, 232–246.
Isbell, J. R.,Epimorphisms and dominions III. Amer. J. Math.90 (1968), 1025–1030.
Pultr, A. andTrnkovÁ, V.,Combinatorial, algebraic and topological representations of groups, semigroups and categories. North-Holland, Amsterdam, 1980.
Sichler, J.,Testing categories and strong universality. Canad. J. Math.25 (1973), 370–385.
Stenström, B.,Flatness and localization over monoids. Math. Nachr.48 (1971), 315–333.
Trnková, V.,Simultaneous representations in discrete structures. Comment. Math. Univ. Carolinae27 (1986), 633–649.
Author information
Authors and Affiliations
Additional information
In Memory of Evelyn Nelson.
The support of the NSERC is gratefully acknowledged.
Rights and permissions
About this article
Cite this article
Petrich, M., Sichler, J. & TrnkovÁ, V. Simultaneous representations in categories of algebras. Algebra Universalis 27, 426–453 (1990). https://doi.org/10.1007/BF01190722
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF01190722