Mercurial > repo
view wisdom/categorical product @ 7341:d3c294a55f99
<zgrep> misle/rn @/|a+b@| = { \xe2\x88\x9a(a\xc2\xb2-b\xc2\xb2) if a\xc2\xb2-b\xc2\xb2 \xe2\x89\xa5 0 ; i\xe2\x88\x9a(a\xc2\xb2-b\xc2\xb2) if a\xc2\xb2-b\xc2\xb2 < 0 }
| author | HackBot |
|---|---|
| date | Fri, 01 Apr 2016 04:25:49 +0000 |
| parents | 74cae6b8f28c |
| children | 00af4aaadf2c |
line wrap: on
line source
categorical product is like when you have two category elements A and B then their product is element C iff there are two morphisms p:C->A and q:C->B such that for every element X and morphisms u:X->A and v:X->B there is a morphism w:X->C such that u=wp and v=wq.