Integral object of a category
From Encyclopedia of Mathematics
The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.
A name introduced by S. MacLane [a1] (and now largely obsolete) for a special kind of generator of a category. Explicitly, an integral object is a generator which is "minimal" in the sense that it has no non-trivial idempotent endomorphisms. The name derives from the fact that the unique integral object in the category of Abelian groups is the group of integers.
References
[a1] | S. MacLane, "Duality for groups" Bull. Amer. Math. Soc. , 56 (1960) pp. 485–516 |
How to Cite This Entry:
Integral object of a category. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Integral_object_of_a_category&oldid=11591
Integral object of a category. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Integral_object_of_a_category&oldid=11591