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:
“All good music resembles something. Good music stirs by its mysterious resemblance to the objects and feelings which motivated it.”
—Jean Cocteau (1889–1963)
“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)