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.


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