Objects
An object A in a category is said to be:
- isomorphic to an object B provided that there is an isomorphism between A and B.
- initial provided that there is exactly one morphism from A to each object B; e.g., empty set in Set.
- terminal provided that there is exactly one morphism from each object B to A; e.g., singletons in Set.
- a zero object if it is both initial and terminal, such as a trivial group in Grp.
An object A in an abelian category is:
- simple if it is not isomorphic to the zero object and any subobject of A is isomorphic to zero or to A.
- finite length if it has a composition series. The maximum number of proper subobjects in any such composition series is called the length of A.
Read more about this topic: Glossary Of Category Theory
Famous quotes containing the word objects:
“But after the intimacy-inducing rituals of puberty, boys who would be men are told we must go it alone, we must achieve our heroism as the Lone Ranger, we must see the other men as threats to our masculine mastery, as objects of competition.”
—Frank Pittman (20th century)
“It is ... pathetic to observe the complete lack of imagination on the part of certain employers and men and women of the upper-income levels, equally devoid of experience, equally glib with their criticism ... directed against workers, labor leaders, and other villains and personal devils who are the objects of their dart-throwing. Who doesn’t know the wealthy woman who fulminates against the “idle” workers who just won’t get out and hunt jobs?”
—Mary Barnett Gilson (1877–?)
“Culture relates to objects and is a phenomenon of the world; entertainment relates to people and is a phenomenon of life.”
—Hannah Arendt (1906–1975)