categorical product love

Help support Wordnik by adopting your favorite word!

categorical product

Definitions

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.

Etymologies

Sorry, no etymologies found.

Examples

Sorry, no example sentences found.

Comments

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