Hostname: page-component-76fb5796d-skm99 Total loading time: 0 Render date: 2024-04-29T18:09:01.197Z Has data issue: false hasContentIssue false
  • English
  • Français

On embedding categories in groupoids

Published online by Cambridge University Press:  01 September 2008

P. T. JOHNSTONE
P. T. JOHNSTONE*
Affiliation:
Department of Pure Mathematics, University of Cambridge, England.
Get access Rights & Permissions [Opens in a new window]

Abstract

We provide a new, unified approach to the necessary and sufficient conditions found by Mal'cev (1939) and by Lambek (1951) for embeddability of a semigroup in a group, and also show that each provides a necessary and sufficient set of conditions for the embeddability of a category in a groupoid. We show that all such conditions, and more besides, may be derived in a uniform way from a particular class of directed graphs which we call quadrangle clubs, and we prove a number of results (extending those of Mal'cev, Lambek, Bush and Krstić) on which families of quadrangle clubs provide sufficient conditions for embeddability.

Type
Research Article
Information
Mathematical Proceedings of the Cambridge Philosophical Society , Volume 145 , Issue 2 , September 2008 , pp. 273 - 294
Copyright
Copyright © Cambridge Philosophical Society 2008

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

REFERENCES

[1]Bush, G. C.. The embedding theorems of Mal'cev and Lambek, Canad. J. Math. 15 (1963), 49–58.CrossRefGoogle Scholar
[2]Bush, G. C.. The embeddability of a semigroup—conditions common to Mal'cev and Lambek, Trans. Amer. Math. Soc. 157 (1971), 437–448.Google Scholar
[3]Clifford, A. H. and Preston, G. B.. The Algebraic Theory of Semigroups, volume 2, A.M.S. Surveys no. 7 (Amer. Math. Soc., 1967).CrossRefGoogle Scholar
[4]Cohn, P. M.. Universal Algebra, Harper & Row, 1965 (second edition published by D. Reidel, 1981).Google Scholar
[5]Johnstone, P. T.. Sketches of an Elephant: a Topos Theory Compendium, vols. 1–2 (Oxford Univ. Press, 2002).Google Scholar
[6]Krstić, S.. Embedding semigroups in groups: a geometrical approach, Publ. Inst. Math. (N.S.) 38 (52) (1985), 69–82.Google Scholar
[7]Lambek, J.The immersibility of a semigroup into a group, Canad. J. Math. 3 (1951), 34–43.CrossRefGoogle Scholar
[8]Mal'cev, A.I.. On the immersion of an algebraic ring into a field, Math. Ann. 113 (1937), 686–691.CrossRefGoogle Scholar
[9]Mal'cev, A.I.. On the embedding of associative systems in groups, I (Russian), Mat. Sbornik 6 (48) (1939), 331–336.Google Scholar
[10]Mal'cev, A. I.. On the embedding of associative systems in groups, II (Russian), Mat. Sbornik 8 (50) (1940), 251–264.Google Scholar
[11]Maunder, C. R. F.. Algebraic Topology (van Nostrand Reinhold, 1970; republished by Cambridge University Press, 1980).Google Scholar