Difference between revisions of "Cone (category theory)"
From Maths
(Created page with ":: '''Note: ''' the definitions for cone and cocone are very similar and contrast each other well, see the page cone...") |
m |
||
| Line 14: | Line 14: | ||
* [[Cocone (category theory)|Cocone]] - another kind of [[wedge (category theory)|wedge]] but with arrows from {{M|A}} to {{M|X}} and from {{M|B}} to {{M|X}} rather than outwards from {{M|X}} | * [[Cocone (category theory)|Cocone]] - another kind of [[wedge (category theory)|wedge]] but with arrows from {{M|A}} to {{M|X}} and from {{M|B}} to {{M|X}} rather than outwards from {{M|X}} | ||
* [[Product and coproduct compared]] - parallel definitions of a [[product (category theory)|product]] and [[coproduct (category theory)|coproduct]], which are special wedges | * [[Product and coproduct compared]] - parallel definitions of a [[product (category theory)|product]] and [[coproduct (category theory)|coproduct]], which are special wedges | ||
| + | ** A [[product (category theory)|product]] is a special instance of a cone | ||
==References== | ==References== | ||
<references/> | <references/> | ||
{{Category theory navbox}} | {{Category theory navbox}} | ||
{{Definition|Category Theory}} | {{Definition|Category Theory}} | ||
Latest revision as of 22:27, 28 February 2016
- Note: the definitions for cone and cocone are very similar and contrast each other well, see the page cone and cocone compared for the definitions compared side by side
Contents
Definition
Given two objects [ilmath]A[/ilmath], [ilmath]B[/ilmath] in a category [ilmath]\mathscr{C} [/ilmath], a cone[1] is:
- Another object, [ilmath]X[/ilmath] from [ilmath]\mathscr{C} [/ilmath], coupled with two arrows also from [ilmath]\mathscr{C} [/ilmath] as follows:
| [ilmath]\xymatrix{ & A\\ X \ar[ur] \ar[dr] & \\ & B}[/ilmath] |
| Diagram of a cone |
|---|
This is an instance of a wedge (a wedge to [ilmath]A[/ilmath] and [ilmath]B[/ilmath])
See also
- Cocone - another kind of wedge but with arrows from [ilmath]A[/ilmath] to [ilmath]X[/ilmath] and from [ilmath]B[/ilmath] to [ilmath]X[/ilmath] rather than outwards from [ilmath]X[/ilmath]
- Product and coproduct compared - parallel definitions of a product and coproduct, which are special wedges
- A product is a special instance of a cone
References
| ||||||||||||||||||||||||||||||||
