Further Examples
Every topos has a subobject classifier. For the topos of sheaves of sets on a topological space X, it can be described in these terms: For any open set U of X, is the set of all open subsets of U. Roughly speaking an assertion inside this topos is variably true or false, and its truth value from the viewpoint of an open subset U is the open subset of U where the assertion is true.
For a small category, the subobject classifer in the topos of presheaves is given as follows. For any, is the set of sieves on .
Read more about this topic: Subobject Classifier
Famous quotes containing the word examples:
“Histories are more full of examples of the fidelity of dogs than of friends.”
—Alexander Pope (1688–1744)
“In the examples that I here bring in of what I have [read], heard, done or said, I have refrained from daring to alter even the smallest and most indifferent circumstances. My conscience falsifies not an iota; for my knowledge I cannot answer.”
—Michel de Montaigne (1533–1592)