Mercurial > repo
changeset 10797:00af4aaadf2c
<oerjan> slwd categorical product//s,is a,is a unique,
| author | HackBot |
|---|---|
| date | Sat, 22 Apr 2017 03:43:01 +0000 |
| parents | 108a56cfb323 |
| children | 4b11ebc3a094 |
| files | wisdom/categorical product |
| diffstat | 1 files changed, 1 insertions(+), 1 deletions(-) [+] |
line wrap: on
line diff
--- a/wisdom/categorical product Sat Apr 22 01:48:59 2017 +0000 +++ b/wisdom/categorical product Sat Apr 22 03:43:01 2017 +0000 @@ -1,1 +1,1 @@ -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. +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 unique morphism w:X->C such that u=wp and v=wq.