Photo:1
Photo:2
Photo:3
Photo:4
Photo:1 Photo:2 Photo:3 Photo:4 |
| Definition | |
| 2>
The formal definition is as follows: Let C be a category and let {Xj : j ∈ J} be an indexed family of objects in C. The coproduct of the set {Xj} is an object X together with a collection of morphisms ij : Xj → X (called canonical injections although they need not be injections or even monic) which satisfy a universal property: for any object Y and any collection of morphisms fj : Xj → Y, there exists a unique morphism f from X to Y such that fj = f ∘ ij. That is, the following diagram commutes (for each j):
The coproduct of the family {Xj} is often denoted
or
Sometimes the morphism f may be denoted
to indicate its dependence on the individual fj.
If the family of objects consists of only two members the coproduct is usually written X1 ∐ X2 or X1 ⊕ X2 or sometimes simply X1 + X2, and the diagram takes the form:
The unique arrow f making this diagram commute is then correspondingly denoted f1 ∐ f2 or f1 ⊕ f2 or f1 + f2 or [f1, f2].
[edit] Tags:Canonical Injections,Injections,Monic,Commutes,Product, | |
| Examples | |
| 2>
The coproduct in the category of sets is simply the disjoint union with the maps ij being the inclusion maps. Unlike direct products, coproducts in other categories are not all obviously based on the notion for sets, because unions don't behave well with respect to preserving operations (e.g. the union of two groups need not be a group), and so coproducts in different categories can be dramatically different from each other. For example, the coproduct in the category of groups, called the free product, is quite complicated. On the other hand, in the category of abelian groups (and equally for vector spaces), the coproduct, called the direct sum, consists of the elements of the direct product which have only finitely many nonzero terms (this therefore coincides exactly with the direct product, in the case of finitely many factors). As a consequence, since most introductory linear algebra courses deal with only finite-dimensional vector spaces, nobody really hears much about direct sums until later on.
In the case of topological spaces coproducts are disjoint unions with their disjoint union topologies. That is, it is a disjoint union of the underlying sets, and the open sets are sets open in each of the spaces, in a rather evident sense. In the category of pointed spaces, fundamental in homotopy theory, the coproduct is the wedge sum (which amounts to joining a collection of spaces with base points at a common base point).
Despite all this dissimilarity, there is still, at the heart of the whole thing, a disjoint union: the direct sum of abelian groups is the group generated by the "almost" disjoint union (disjoint union of all nonzero elements, together with a common zero), similarly for vector spaces: the space spanned by the "almost" disjoint union; the free product for groups is generated by the set of all letters from a similar "almost disjoint" union where no two elements from different sets are allowed to commute.
[edit] Tags:Of Topological Spaces,Category Of Sets,Inclusion Maps,Category Of Groups,Free Product,Category Of Abelian Groups,Direct Sum,Finitely,Linear Algebra,Dimensional,Disjoint Union Topologies,Open Sets,Pointed Spaces,Wedge Sum,Spanned,Categories, | |
| Discussion | |
| 2>
The coproduct construction given above is actually a special case of a colimit in category theory. The coproduct in a category C can be defined as the colimit of any functor from a discrete category J into C. Not every family {Xj} will have a coproduct in general, but if it does, then the coproduct is unique in a strong sense: if ij : Xj → X and kj : Xj → Y are two coproducts of the family {Xj}, then (by the definition of coproducts) there exists a unique isomorphism f : X → Y such that fij = kj for each j in J.
As with any universal property, the coproduct can be understood as a universal morphism. Let Δ: C → C×C be the diagonal functor which assigns to each object X the ordered pair (X,X) and to each morphism f:X → Y the pair (f,f). Then the coproduct X+Y in C is given by a universal morphism to the functor Δ from the object (X,Y) in C×C.
The coproduct indexed by the empty set (that is, an empty coproduct) is the same as an initial object in C.
If J is a set such that all coproducts for families indexed with J exist, then it is possible to choose the products in a compatible fashion so that the coproduct turns into a functor CJ → C. The coproduct of the family {Xj} is then often denoted by ∐j Xj, and the maps ij are known as the natural injections.
Letting HomC(U,V) denote the set of all morphisms from U to V in C (that is, a hom-set in C), we have a natural isomorphism
given by the bijection which maps every tuple of morphisms
(a product in Set, the category of sets, which is the Cartesian product, so it is a tuple of morphisms) to the morphism
That this map is a surjection follows from the commutativity of the diagram: any morphism f is the coproduct of the tuple
That it is an injection follows from the universal construction which stipulates the uniqueness of such maps. The naturality of the isomorphism is also a consequence of the diagram. Thus the contravariant hom-functor changes coproducts into products. Stated another way, the hom-functor, viewed as a functor from the opposite category Copp to Set is continuous; it preserves limits (a coproduct in C is a product in Copp).
If J is a finite set, say J = {1,...,n}, then the coproduct of objects X1,...,Xn is often denoted by X1⊕...⊕Xn. Suppose all finite coproducts exist in C, coproduct functors have been chosen as above, and 0 denotes the initial object of C corresponding to the empty coproduct. We then have natural isomorphisms
These properties are formally similar to those of a commutative monoid; a category with finite coproducts is an example of a symmetric monoidal category.
If the category has a zero object Z, then we have unique morphism X → Z (since Z is terminal) and thus a morphism X ⊕ Y → Z ⊕ Y. Since Z is also initial, we have a canonical isomorphism Z ⊕ Y ≅ Y as in the preceding paragraph. We thus have morphisms X ⊕ Y → X and X ⊕ Y → Y, by which we infer a canonical morphism X ⊕ Y → X×Y. This may be extended by induction to a canonical morphism from any finite coproduct to the corresponding product. This morphism need not in general be an isomorphism; in Grp it is a proper epimorphism while in Set* (the category of pointed sets) it is a proper monomorphism. In any preadditive category, this morphism is an isomorphism and the corresponding object is known as the biproduct. A category with all finite biproducts is known as an additive category.
If all families of objects indexed by J have coproducts in C, then the coproduct comprises a functor CJ → C. Note that, like the product, this functor is covariant.
[edit] Tags:Diagonal Functor,Hom-set,Monoidal Category,Zero Object,Epimorphism,Pointed Sets,Monomorphism,Preadditive Category,Biproduct, | |
| External links | |
| 2>
Interactive Web page which generates examples of coproducts in the category of finite sets. Written by Jocelyn Paine.
Retrieved from "http://en.wikipedia.org/w/index.php?title=Coproduct&oldid=461674472"
Categories: Limits (category theory)Hidden categories: Articles lacking sources from July 2010All articles lacking sources
Personal tools
Log in / create account
Namespaces
Article
Talk
Variants
Views
Read
Edit
View history
Actions
Search
Navigation
Main page
Contents
Featured content
Current events
Random article
Donate to Wikipedia
Interaction
Help
About Wikipedia
Community portal
Recent changes
Contact Wikipedia
Toolbox
What links here
Related changes
Upload file
Special pages
Permanent link
Cite this page
Print/export
Create a bookDownload as PDFPrintable version
Languages
Deutsch
Español
Français
Nederlands
Português
Русский
This page was last modified on 20 November 2011 at 22:57.
Text is available under the Creative Commons Attribution-ShareAlike License;
additional terms may apply.
See Terms of use for details.
Wikipedia® is a registered trademark of the Wikimedia Foundation, Inc., a non-profit organization.Contact us
Privacy policy
About Wikipedia
Disclaimers
Mobile view
if ( window.isMSIE55 ) fixalpha();
if ( window.mediaWiki ) {
mw.loader.load(["mediawiki.user", "mediawiki.util", "mediawiki.page.ready", "mediawiki.legacy.wikibits", "mediawiki.legacy.ajax", "mediawiki.legacy.mwsuggest", "ext.gadget.wmfFR2011Style", "ext.vector.collapsibleNav", "ext.vector.collapsibleTabs", "ext.vector.editWarning", "ext.vector.simpleSearch", "ext.UserBuckets", "ext.articleFeedback.startup", "ext.articleFeedbackv5.startup", "ext.markAsHelpful"]);
}
if ( window.mediaWiki ) {
mw.user.options.set({"ccmeonemails":0,"cols":80,"date":"default","diffonly":0,"disablemail":0,"disablesuggest":0,"editfont":"default","editondblclick":0,"editsection":1,"editsectiononrightclick":0,"enotifminoredits":0,"enotifrevealaddr":0,"enotifusertalkpages":1,"enotifwatchlistpages":0,"extendwatchlist":0,"externaldiff":0,"externaleditor":0,"fancysig":0,"forceeditsummary":0,"gender":"unknown","hideminor":0,"hidepatrolled":0,"highlightbroken":1,"imagesize":2,"justify":0,"math":1,"minordefault":0,"newpageshidepatrolled":0,"nocache":0,"noconvertlink":0,"norollbackdiff":0,"numberheadings":0,"previewonfirst":0,"previewontop":1,"quickbar":5,"rcdays":7,"rclimit":50,"rememberpassword":0,"rows":25,"searchlimit":20,"showhiddencats":false,"showjumplinks":1,"shownumberswatching":1,"showtoc":1,"showtoolbar":1,"skin":"vector","stubthreshold":0,"thumbsize":4,"underline":2,"uselivepreview":0,"usenewrc":0,"watchcreations":1,"watchdefault":0,"watchdeletion":0,"watchlistdays":3,"watchlisthideanons":0,
"watchlisthidebots":0,"watchlisthideliu":0,"watchlisthideminor":0,"watchlisthideown":0,"watchlisthidepatrolled":0,"watchmoves":0,"wllimit":250,"flaggedrevssimpleui":1,"flaggedrevsstable":0,"flaggedrevseditdiffs":true,"flaggedrevsviewdiffs":false,"vector-simplesearch":1,"useeditwarning":1,"vector-collapsiblenav":1,"usebetatoolbar":1,"usebetatoolbar-cgd":1,"wikilove-enabled":1,"variant":"en","language":"en","searchNs0":true,"searchNs1":false,"searchNs2":false,"searchNs3":false,"searchNs4":false,"searchNs5":false,"searchNs6":false,"searchNs7":false,"searchNs8":false,"searchNs9":false,"searchNs10":false,"searchNs11":false,"searchNs12":false,"searchNs13":false,"searchNs14":false,"searchNs15":false,"searchNs100":false,"searchNs101":false,"searchNs108":false,"searchNs109":false,"gadget-wmfFR2011Style":1});;mw.user.tokens.set({"editToken":"+\\","watchToken":false});;mw.loader.state({"user.options":"ready","user.tokens":"ready"});
/* cache key: enwiki:resourceloader:filter:minify-js:4:b41a86ec4e0fe8329bc3ce917e792339 */
}
Tags:Cite, | |
zote monety click here click here click here click here |