Wedge (category theory)

From Maths
Jump to: navigation, search
Note: the page Cone and cocone compared redirects here as this is basically a discussion page on how the two differ (which exists because of the page Product and coproduct compared)

Definition

For a pair of objects A and B in a category C we define[1]:

Wedge to the pair A, B Wedge from the pair A, B
is an object X in C together with a pair of arrows (also from C) as follows:
(AKA: cone) (AKA: cocone)

References

  1. Jump up An Introduction to Category Theory - Harold Simmons - 1st September 2010 edition