Functors on the category of finite sets

Author:
Randall Dougherty

Journal:
Trans. Amer. Math. Soc. **330** (1992), 859-886

MSC:
Primary 18B99; Secondary 05A99

DOI:
https://doi.org/10.1090/S0002-9947-1992-1053111-4

MathSciNet review:
1053111

Full-text PDF

Abstract | References | Similar Articles | Additional Information

Abstract: Given a covariant or contravariant functor from the category of finite sets to itself, one can define a function from natural numbers to natural numbers by seeing how the functor maps cardinalities. In this paper we answer the question: what numerical functions arise in this way from functors? The sufficiency of the conditions we give is shown by simple constructions of functors. In order to show the necessity, we analyze the way in which functions in the domain category act on members of objects in the range category, and define combinatorial objects describing this action; the permutation groups in the domain category act on these combinatorial objects, and the possible sizes of orbits under this action restrict the values of the numerical function. Most of the arguments are purely combinatorial, but one case is reduced to a statement about permutation groups which is proved by group-theoretic methods.

**[1]**Milton Abramowitz and Irene A. Stegun,*Handbook of mathematical functions with formulas, graphs, and mathematical tables*, National Bureau of Standards Applied Mathematics Series, vol. 55, For sale by the Superintendent of Documents, U.S. Government Printing Office, Washington, D.C., 1964. MR**0167642****[2]**Michael Aschbacher,*Finite group theory*, Cambridge Studies in Advanced Mathematics, vol. 10, Cambridge University Press, Cambridge, 1986. MR**895134****[3]**M. Aschbacher and L. Scott,*Maximal subgroups of finite groups*, J. Algebra**92**(1985), no. 1, 44–80. MR**772471**, https://doi.org/10.1016/0021-8693(85)90145-0**[4]**G. Bergman,*Functors from finite sets to finite sets*, unpublished notes.**[5]**Robert D. Carmichael,*Introduction to the theory of groups of finite order*, Dover Publications, Inc., New York, 1956. MR**0075938****[6]**D. B. A. Epstein and M. Kneser,*Functors between categories of vector spaces*, Category Theory, Homology Theory and their Applications, III (Battelle Institute Conference, Seattle, Wash., 1968, Vol. Three), Springer, Berlin, 1969, pp. 154–170. MR**0260835****[7]**Marshall Hall Jr.,*The theory of groups*, The Macmillan Co., New York, N.Y., 1959. MR**0103215****[8]**J. R. Isbell,*Homogeneous games. II*, Proc. Amer. Math. Soc.**11**(1960), 159–161. MR**0118541**, https://doi.org/10.1090/S0002-9939-1960-0118541-8**[9]**Václav Koubek,*Set functors*, Comment. Math. Univ. Carolinae**12**(1971), 175–195. MR**0286860****[10]**Saunders Mac Lane,*Categories for the working mathematician*, 2nd ed., Graduate Texts in Mathematics, vol. 5, Springer-Verlag, New York, 1998. MR**1712872****[11]**F. MacWilliams and N. Sloane,*The theory of error correcting codes*, North-Holland, Amsterdam, 1977.**[12]**G. A. Miller, H. F. Blichfeldt, and L. E. Dickson,*Theory and applications of finite groups*, Dover Publications, Inc., New York, 1961. MR**0123600****[13]**Eugen Netto,*The theory of substitutions and its applications to algebra*, Second edition. Revised by the author and translated with his permission by F. N. Cole, Chelsea Publishing Co., New York, 1964. MR**0175908****[14]**Cheryl E. Praeger,*Primitive permutation groups containing an element of order 𝑝 of small degree, 𝑝 a prime*, J. Algebra**34**(1975), 540–546. MR**0399221**, https://doi.org/10.1016/0021-8693(75)90175-1**[15]**Věra Trnková,*Some properties of set functors*, Comment. Math. Univ. Carolinae**10**(1969), 323–352. MR**0252474****[16]**Helmut Wielandt,*Finite permutation groups*, Translated from the German by R. Bercov, Academic Press, New York-London, 1964. MR**0183775**

Retrieve articles in *Transactions of the American Mathematical Society*
with MSC:
18B99,
05A99

Retrieve articles in all journals with MSC: 18B99, 05A99

Additional Information

DOI:
https://doi.org/10.1090/S0002-9947-1992-1053111-4

Keywords:
Functors,
finite sets

Article copyright:
© Copyright 1992
American Mathematical Society