Mercurial > repo
changeset 5038:e6ce804971eb
<b_jonas> learn 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.
author | HackBot |
---|---|
date | Fri, 10 Oct 2014 11:02:39 +0000 |
parents | 33c38f1447f2 |
children | 74cae6b8f28c |
files | wisdom/categorical |
diffstat | 1 files changed, 1 insertions(+), 0 deletions(-) [+] |
line wrap: on
line diff
--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/wisdom/categorical Fri Oct 10 11:02:39 2014 +0000 @@ -0,0 +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.