Definition
For the general definition, we start with a category C that has a terminal object, which we denote by 1. The object Ω of C is a subobject classifier for C if there exists a morphism
- 1 → Ω
with the following property:
- for each monomorphism j: U → X there is a unique morphism χ j: X → Ω such that the following commutative diagram
- is a pullback diagram — that is, U is the limit of the diagram:
The morphism χ j is then called the classifying morphism for the subobject represented by j.
Read more about this topic: Subobject Classifier
Famous quotes containing the word definition:
“One definition of man is “an intelligence served by organs.””
—Ralph Waldo Emerson (1803–1882)
“... we all know the wag’s definition of a philanthropist: a man whose charity increases directly as the square of the distance.”
—George Eliot [Mary Ann (or Marian)
“I’m beginning to think that the proper definition of “Man” is “an animal that writes letters.””
—Lewis Carroll [Charles Lutwidge Dodgson] (1832–1898)