# HG changeset patch
# User HackBot
# Date 1492832581 0
# Node ID 00af4aaadf2c1b33b204e021eb10485b305444da
# Parent  108a56cfb3232f03156d5252dc7b6f84c7a759b3
<oerjan> slwd categorical product//s,is a,is a unique,

diff -r 108a56cfb323 -r 00af4aaadf2c wisdom/categorical product
--- 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.