categorical product love

categorical product


from Wiktionary, Creative Commons Attribution/Share-Alike License

  • n. Given two objects X1 and X2, their product is an object X1 × X2, with projections π1 : X1 × X2 → X1 and π2 : X1 × X2 → X2, which satisfies the following universal property: for any object Y with morphisms f1 : Y → X1 and f2 : Y → X2, there can naturally be constructed a unique morphism f : Y → X1 × X2 such that and .
  • n. The product generalizes, through associativity, to between more than two objects.


Sorry, no etymologies found.


Sorry, no example sentences found.

Wordnik is becoming a not-for-profit! Read our announcement here.


Log in or sign up to get involved in the conversation. It's quick and easy.