|
|
| Line 1: |
Line 1: |
| In [[category theory]], a branch of [[mathematics]], a '''subobject''' is, roughly speaking, an object which sits inside another object in the same [[category (mathematics)|category]]. The notion is a generalization of the older concepts of [[subset]] from [[set theory]] and [[subgroup]] from [[group theory]].<ref name="Mac Lane">Mac Lane, p. 126</ref> Since the actual structure of objects is immaterial in category theory, the definition of subobject relies on a [[morphism]] which describes how one object sits inside another, rather than relying on the use of elements.
| | Gabrielle is what her husband loves to call her though she doesn't undoubtedly like being called like these. Fish dealing with acne is something her husband doesn't really like nevertheless , she does. Managing people is very much what she does in [http://www.reddit.com/r/howto/search?q=addition addition] she plans on updating it. For years she's been managing your life in Massachusetts. Go to thes website to find to choose from more: http://circuspartypanama.com<br><br>Also visit my web page - clash of clans hack no survey ([http://circuspartypanama.com simply click the up coming internet page]) |
| | |
| ==Definition==
| |
| In detail, let ''A'' be an object of some category. Given two [[monomorphism]]s
| |
| | |
| :''u'': ''S'' → ''A'' and | |
| :''v'': ''T'' → ''A''
| |
| | |
| with codomain ''A'', say that ''u'' ≤ ''v'' if ''u'' [[Mathematical jargon#factor_through|factors through]] ''v'' — that is, if there exists ''w'': ''S'' → ''T'' such that <math>u = v \circ w</math>. The binary relation ≡ defined by
| |
| | |
| :''u'' ≡ ''v'' if and only if ''u'' ≤ ''v'' and ''v'' ≤ ''u''
| |
| | |
| is an [[equivalence relation]] on the monomorphisms with codomain ''A'', and the corresponding equivalence classes of these monomorphisms are the '''subobjects''' of ''A''. If two monomorphisms represent the same subobject of ''A'', then their domains are isomorphic. The collection of monomorphisms with codomain ''A'' under the relation ≤ forms a [[preorder]], but the definition of a subobject ensures that the collection of subobjects of ''A'' is a [[partial order]]. (The collection of subobjects of an object may in fact be a [[proper class]]; this means that the discussion given is somewhat loose. If the subobject-collection of every object is a [[Set (mathematics)|set]], the category is ''well-powered''.)
| |
| | |
| The [[dual (category theory)|dual]] concept to a subobject is a '''quotient object'''; that is, to define ''quotient object'' replace ''monomorphism'' by ''epimorphism'' above and reverse arrows.
| |
| | |
| ==Examples==
| |
| | |
| In the category '''Sets''', a subobject of A corresponds to a subset B of A, or rather the collection of all maps from sets equipotent to B with image exactly B. The subobject partial order of a set in '''Sets''' is just its subset lattice. Similar results hold in '''Groups''', and some other categories.
| |
| | |
| Given a partially ordered class '''P''', we can form a category with '''P''''s elements as objects and a single arrow going from one object (element) to another if the first is less than or equal to the second. If '''P''' has a greatest element, the subobject partial order of this greatest element will be '''P''' itself. This is in part because all arrows in such a category will be monomorphisms.
| |
| | |
| ==See also==
| |
| | |
| *[[Subobject classifier]]
| |
| *[[Mereology]]
| |
| | |
| ==Notes==
| |
| {{reflist}}
| |
| | |
| ==References==
| |
| * {{citation | last=Mac Lane | first=Saunders | authorlink=Saunders Mac Lane | title=[[Categories for the Working Mathematician]] | edition=2nd | series=[[Graduate Texts in Mathematics]] | volume=5 | location=New York, NY | publisher=[[Springer-Verlag]] | year=1998 | isbn=0-387-98403-8 | zbl=0906.18001 }}
| |
| * {{cite book | editor1-last=Pedicchio | editor1-first=Maria Cristina | editor2-last=Tholen | editor2-first=Walter | title=Categorical foundations. Special topics in order, topology, algebra, and sheaf theory | series=Encyclopedia of Mathematics and Its Applications | volume=97 | location=Cambridge | publisher=[[Cambridge University Press]] | year=2004 | isbn=0-521-83414-7 | zbl=1034.18001 }}
| |
| | |
| [[Category:Objects (category theory)]]
| |
Gabrielle is what her husband loves to call her though she doesn't undoubtedly like being called like these. Fish dealing with acne is something her husband doesn't really like nevertheless , she does. Managing people is very much what she does in addition she plans on updating it. For years she's been managing your life in Massachusetts. Go to thes website to find to choose from more: http://circuspartypanama.com
Also visit my web page - clash of clans hack no survey (simply click the up coming internet page)