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:
“It is an inexpressible Pleasure to know a little of the World, and be of no Character or Significancy in it. To be ever unconcerned, and ever looking on new Objects with an endless Curiosity, is a Delight known only to those who are turned for Speculation: Nay, they who enjoy it, must value things only as they are the Objects of Speculation, without drawing any worldly Advantage to themselves from them, but just as they are what contribute to their Amusement, or the Improvement of the Mind.”
—Richard Steele (1672–1729)
“I do not know that I meet, in any of my Walks, Objects which move both my Spleen and Laughter so effectually, as those Young Fellows ... who rise early for no other Purpose but to publish their Laziness.”
—Richard Steele (1672–1729)
“I was afraid that by observing objects with my eyes and trying to comprehend them with each of my other senses I might blind my soul altogether.”
—Socrates (469–399 B.C.)