Abstract
It is known that a finite category can have all its base monoids in a variety V (i.e. be locally V, denoted ℓ V) without itself dividing a monoid in V (i.e. be globally V, denoted gV). This is in particular the case when V=Com, the variety of commutative monoids. Our main result provides a combinatorial characterization of locally commutative categories. This is the first such theorem dealing with a variety for which local differs from global. As a consequence, we show that ℓ Com ⊂ gV for every variety V that strictly contains the commutative monoids.
Research supported in part by NSERC and FCAR grants.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
J. Almeida. Finite Semigroups and Universal Algebra. World Scientific, 1994.
S. Eilenberg. Automata, Languages and Machines, volume B. Academic Press, New York, 1976.
R. Knast. Some theorems on graph congruences. RAIRO Inform. Théor., 17:331–342, 1983.
J. E. Pin. Varieties of Formal Languages. Plenum, London, 1986.
M. Schützenberger. On finite monoids having only trivial subgroups. Inform. and Control, 8:190–194, 1965.
I. Simon. Piecewise testable events. In 2 nd GI Conference, volume 33 of Lect.Notes in Comp.Sci, pages 214–222, Berlin, 1975. Springer.
H. Straubing. Finite semigroup varieties of the form V * D. Journal of Pure and Applied Algebra, 36:53–94, 1985.
H. Straubing. Finite Automata, Formal Logic and Circuit Complexity. Birkhäuser, 1994.
D. Thérien and A. Weiss. Graph congruences and wreath products. Journal of Pure and Applied Algebra, 36:205–212, 1985.
B. Tilson. Categories as algebra: An essential ingredient in the theory of monoids. Journal of Pure and Applied Algebra, 48:83–198, 1987.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Chattopadhyay, A., Thérien, D. (2003). Locally Commutative Categories. In: Baeten, J.C.M., Lenstra, J.K., Parrow, J., Woeginger, G.J. (eds) Automata, Languages and Programming. ICALP 2003. Lecture Notes in Computer Science, vol 2719. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45061-0_76
Download citation
DOI: https://doi.org/10.1007/3-540-45061-0_76
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-40493-4
Online ISBN: 978-3-540-45061-0
eBook Packages: Springer Book Archive