Vortex generator: Difference between revisions

From formulasearchengine
Jump to navigation Jump to search
en>Monkbot
No edit summary
 
Line 1: Line 1:
In [[category theory]], the '''product''' of two (or more) objects in a category is a notion designed to capture the essence behind constructions in other areas of mathematics such as the [[cartesian product|cartesian product of sets]], the [[direct product of groups]], the [[direct product of rings]] and the [[product topology|product of topological spaces]]. Essentially, the product of a family of objects is the "most general" object which admits a [[morphism]] to each of the given objects.
Gabrielle is what her [http://En.search.Wordpress.com/?q=husband%27s+comments husband's comments] loves to call your wife's though she doesn't really like being called like that. As a woman what lindsay really likes is mah jongg but she hasn't ever made a dime by using it. [http://Imgur.com/hot?q=Software+acquiring Software acquiring] is where her main income comes from but soon her husband not to mention her will start their own business. For a while she's happened to be in Massachusetts. Go to her website to seek out more: http://prometeu.net<br><br>


==Definition==
Here is my web blog: [http://prometeu.net clash of clans hacker]
Let <math>\mathcal C</math> be a category with some objects <math>X_1</math> and <math>X_2</math>. An object <math>X</math> is a product of <math>X_1</math> and <math>X_2</math>, denoted <math>X_1 \times X_2</math>, iff it satisfies this [[universal property]]:
: there exist morphisms <math>\pi_1 : X \to X_1, \pi_2 : X \to X_2</math> such that for every object <math>Y</math> and pair of morphisms <math>f_1 : Y \to X_1, f_2 : Y \to X_2</math> there exists a unique morphism <math>f : Y \to X</math> such that the following diagram [[commutative diagram|commutes]]:
 
[[Image:CategoricalProduct-03.svg|280px|center|Universal product of the product]]
 
The unique morphism <math>f</math> is called the '''product of morphisms''' <math>f_1</math> and <math>f_2</math> and is denoted <math>\langle f_1, f_2 \rangle</math>. The morphisms <math>\pi_1</math> and <math>\pi_2</math> are called the '''[[canonical projection]]s''' or '''projection morphisms'''.
 
Above we defined the '''binary product'''. Instead of two objects we can take an arbitrary [[indexed family|family]] of objects indexed by some set <math>I</math>. Then we obtain the definition of a '''product'''.
 
An object <math>X</math> is the product of a family <math>\{X\}_i</math> of objects iff there exist morphisms <math>\pi_i : X \to X_i</math>, such that for every object <math>Y</math> and a <math>I</math>-indexed family of morphisms <math>f_i : Y \to X_i</math> there exists a unique morphism <math>f : Y \to X</math> such that the following diagrams commute for all <math>i \in I</math>:
 
[[Image:CategoricalProduct-01.png|center|Universal product of the product]]
 
The product is denoted <math>\prod_{i\in I} X_i</math>; if <math>I = \{1,\ldots, n\}</math>, then denoted <math>X_1 \times \cdots \times  X_n</math> and the product of morphisms is denoted <math>\langle f_1, \ldots, f_n \rangle</math>.
 
===Equational definition===
 
Alternatively, the product may be defined through equations. So, for example, for the binary product:
* Existence of <math>f</math> is guaranteed by the operation <math>\lang -,- \rang</math>.
* Commutativity of the diagrams above is guaranteed by the equality <math>\forall f_1, \forall f_2, \forall i \in \{1,2\},\ \pi_i \circ \langle f_1, f_2\rangle = f_i</math>.
* Uniqueness of <math>f</math> is guaranteed by the equality <math>\forall f,\ \langle \pi_1 \circ f,\pi_2 \circ f \rangle = f</math>.<ref>{{cite book
| author = Lambek J., Scott P. J.
| title = Introduction to Higher-Order Categorical Logic
| publisher = Cambridge University Press
| year = 1988
| page = 304
}}</ref>
 
===As a limit===
 
The product is a special case of a [[limit (category theory)|limit]]. This may be seen by using a [[discrete category]] (a family of objects without any morphisms, other than their identity morphisms) as the [[Diagram (category theory)|diagram]] required for the definition of the limit. The discrete objects will serve as the index of the components and projections.  If we regard this diagram as a functor, it is a functor from the index set <math>I</math> considered as a discrete category. The definition of the product then coincides with the definition of the limit, <math>\{f\}_i</math> being a [[cone (category theory)|cone]] and projections being the limit (limiting cone).
 
===Universal property===
 
Just as the limit is a special case of the [[universal construction]], so is the product. Starting with the definition given for the [[Limit_(category_theory)#Universal_property|universal property of limits]], take <math>J</math> as the discrete category with two objects, so that <math>{\mathcal C}^{\mathcal J}</math> is simply the [[product category]] <math>\mathcal C \times \mathcal C</math>.  The [[diagonal functor]] <math>\Delta : \mathcal C \to \mathcal C \times \mathcal C</math> assigns to each object <math>X</math> the [[ordered pair]] <math>(X,X)</math> and to each morphism <math>f</math> the pair <math>(f,f)</math>. The product <math>X_1 \times X_2</math> in <math>\mathcal C</math> is given by a [[universal morphism]] from the functor <math>\Delta</math> to the object <math>(X_1,X_2)</math> in <math>\mathcal C \times \mathcal C</math>. This universal morphism consists of an object <math>X</math> of <math>
\mathcal C</math> and a morphism <math>(X,X) \to (X_1,X_2)</math> which contains projections.
 
== Examples ==
In the [[category of sets]], the product (in the category theoretic sense) is the [[cartesian product]]. Given a family of sets ''X<sub>i</sub>'' the product is defined as
:<math>\prod_{i \in I} X_i := \{(x_i)_{i \in I} | x_i \in X_i \, \forall i \in I\}</math>
with the canonical projections
:<math>\pi_j : \prod_{i \in I} X_i \to X_j \mathrm{ , } \quad \pi_j((x_i)_{i \in I}) := x_j</math>
{{anchor|Product function}}
Given any set ''Y'' with a family of functions
:<math>f_i : Y \to X_i</math>
the universal arrow ''f'' is defined as
:<math>f:Y \to \prod_{i \in I} X_i \mathrm{ , } \quad f(y) := (f_i(y))_{i \in I}</math>
 
Other examples:
* In the [[category of topological spaces]], the product is the space whose underlying set is the cartesian product and which carries the [[product topology]]. The product topology is the [[coarsest topology]] for which all the projections are [[continuous function (topology)|continuous]].
* In the [[category of modules]] over some ring R, the product is the cartesian product with addition defined componentwise and distributive multiplication.
* In the [[category of groups]], the product is the [[direct product of groups]] given by the cartesian product with multiplication defined componentwise.
* In the [[category of relations]] ('''Rel'''), the product is given by the [[disjoint union]]. (This may come as a bit of a surprise given that the category of sets ('''Set''') is a [[subcategory]] of '''Rel'''.)
* In the category of [[algebraic variety|algebraic varieties]], the categorical product is given by the [[Segre embedding]].
* In the category of [[Trace monoid|semi-abelian monoid]]s, the categorical product is given by the [[history monoid]].
* A [[partially ordered set]] can be treated as a category, using the order relation as the morphisms.  In this case the products and [[coproduct]]s correspond to greatest lower bounds ([[Meet (mathematics)|meets]]) and least upper bounds ([[Join (mathematics)|joins]]).
 
== Discussion ==
 
The product does not necessarily exist. For example, an [[empty product]] (i.e. <math>I</math> is the [[empty set]]) is the same as a [[terminal object]], and some categories, such as the category of infinite groups, do not have a terminal object: given any infinite group <math>G</math> there are infinitely many morphisms <math>\mathbb{Z} \to G</math>, so <math>G</math> cannot be terminal.
 
If <math>I</math> is a set such that all products for families indexed with <math>I</math> exist, then it is possible to choose the products in a compatible fashion so that the product turns into a [[functor]] <math>{\mathcal C}^I \to \mathcal C</math>. How this functor maps objects is obvious. Mapping of morphisms is subtle, because product of morphisms defined above does not fit. First, consider binary product functor, which is a [[bifunctor]]. For <math>f_1:X_1\to Y_1, f_2:X_2\to Y_2</math> we should find a morphism <math>X_1\times X_2 \to Y_1\times Y_2</math>. We choose <math>\langle f_1 \circ \pi_1, f_2 \circ \pi_2 \rangle</math>. This operation on morphisms is called '''cartesian product of morphisms'''.<ref name="esslli">{{cite book
| author = Michael Barr, Charles Wells
| title = Category Theory - Lecture Notes for ESSLLI
| year = 1999
| url = http://www.let.uu.nl/esslli/Courses/barr/barrwells.ps
| page = 62
}}</ref> Second, consider product functor. For families <math>\{X\}_i, \{Y\}_i, f_i : X_i \to Y_i</math> we should find a morphism <math>\prod_{i\in I}X_i \to \prod_{i\in I}Y_i</math>. We choose the product of morphisms <math>\{f_i \circ \pi_i\}_i</math>.
 
A category where every finite set of objects has a product is sometimes called a '''cartesian category'''<ref name="esslli"/>
(although some authors use this phrase to mean "a category with all finite limits").
 
The product is associative. Suppose <math>\mathcal C</math> is a cartesian category, product functors have been chosen as above, and <math>1</math> denotes the terminal object of <math>\mathcal C</math>. We then have [[natural isomorphism]]s
:<math>X\times (Y \times Z)\simeq (X\times Y)\times Z\simeq X\times Y\times Z</math>
:<math>X\times 1 \simeq 1\times X \simeq X</math>
:<math>X\times Y \simeq Y\times X</math>
These properties are formally similar to those of a commutative [[monoid]]; a category with its finite products constitutes a [[symmetric monoidal category|symmetric]] [[monoidal category]].
 
== Distributivity ==
 
In a category with finite products and coproducts, there is a canonical morphism ''X''×''Y''+''X''×''Z'' → ''X''×(''Y''+''Z''), where the plus sign here denotes the [[coproduct]].  To see this, note that we have various canonical projections and injections which fill out the diagram
 
[[File:Product-Coproduct Distributivity.png|center]]
 
The universal property for ''X''×(''Y''+''Z'')  then guarantees a unique morphism ''X''×''Y''+''X''×''Z'' → ''X''×(''Y''+''Z'').  A [[distributive category]] is one in which this morphism is actually an isomorphism.  Thus in a distributive category, one has the canonical isomorphism
:<math>X\times (Y + Z)\simeq (X\times Y)+ (X \times Z).</math>
 
==See also==
* [[Coproduct]] &ndash; the [[Dual (category theory)|dual]] of the product
* [[Diagonal functor]] &ndash; the [[left adjoint]] of the product functor.
* [[Limit (category theory)|Limit and colimits]]
* [[Equaliser (mathematics)|Equalizer]]
* [[Inverse limit]]
* [[Cartesian closed category]]
* [[Categorical pullback]]
 
== References ==
<references/>
*{{cite book | last = Adámek | first = Jiří | coauthors = Horst Herrlich, and George E. Strecker | year = 1990 | url = http://katmat.math.uni-bremen.de/acc/acc.pdf | title = Abstract and Concrete Categories|publisher = John Wiley & Sons | isbn = 0-471-60922-6}}
*{{cite book | last = Barr | first =  Michael | coauthors = Charles Wells | title = Category Theory for Computing Science | year =  1999 | publisher =  [http://www.crm.umontreal.ca/pub/Ventes/CatalogueEng.html Les Publications CRM Montreal] (publication PM023)}} Chapter 5.
*{{cite book | first = Saunders | last = Mac Lane | authorlink = Saunders Mac Lane | year = 1998 | title = [[Categories for the Working Mathematician]] | series = Graduate Texts in Mathematics '''5''' | edition = 2nd ed. | publisher = Springer | isbn = 0-387-98403-8}}
 
== External links ==
*[http://www.j-paine.org/cgi-bin/webcats/webcats.php Interactive Web page ] which generates examples of products in the category of finite sets. Written by [http://www.j-paine.org/ Jocelyn Paine].
 
{{DEFAULTSORT:Product (Category Theory)}}
[[Category:Limits (category theory)]]

Latest revision as of 10:08, 14 November 2014

Gabrielle is what her husband's comments loves to call your wife's though she doesn't really like being called like that. As a woman what lindsay really likes is mah jongg but she hasn't ever made a dime by using it. Software acquiring is where her main income comes from but soon her husband not to mention her will start their own business. For a while she's happened to be in Massachusetts. Go to her website to seek out more: http://prometeu.net

Here is my web blog: clash of clans hacker