Content deleted Content added
TakuyaMurata (talk | contribs) In math (not many people know category theory) |
|||
Line 16:
In this way, the collection of all subsets of ''S'' and the collection of all maps from ''S'' to Ω = {0,1} are [[isomorphic]].
To categorize this notion, recall that, in category theory, a subobject is actually represented by a pair consisting of an object and a [[monomorphism|monic arrow]] (interpreted as the inclusion into another object). Accordingly, '''true''' refers to the element 1, which is selected by the arrow: '''true''': {0} → {0, 1} that maps 0 to 1. The subset ''A'' of ''S'' can now be defined as the [[pullback (category theory)|pullback]] of '''true''' along the characteristic function χ<sub>''A''</sub>, shown on the following diagram:
[[Image:SubobjectClassifier-01.png|center]]
| |||