Mercurial > repo
changeset 5039:74cae6b8f28c
<oerjan> mv wisdom/categorical{," product"}
| author | HackBot |
|---|---|
| date | Fri, 10 Oct 2014 11:09:14 +0000 |
| parents | e6ce804971eb |
| children | 66fb0dc90cb9 |
| files | wisdom/categorical wisdom/categorical product |
| diffstat | 2 files changed, 1 insertions(+), 1 deletions(-) [+] |
line wrap: on
line diff
--- a/wisdom/categorical Fri Oct 10 11:02:39 2014 +0000 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000 @@ -1,1 +0,0 @@ -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.
--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/wisdom/categorical product Fri Oct 10 11:09:14 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.