You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
A natural construction to make is the product of morphisms f:A->B and g:C->D, obtaining f x g: A x C -> B x D. This can be done by using proj1 and proj2 on the product of the domains, composing these with f and g respectively, then finally using the pair function.
The text was updated successfully, but these errors were encountered:
A natural construction to make is the product of morphisms
f:A->B
andg:C->D
, obtainingf x g: A x C -> B x D
. This can be done by usingproj1
andproj2
on the product of the domains, composing these withf
andg
respectively, then finally using thepair
function.The text was updated successfully, but these errors were encountered: