# HG changeset patch
# User HackEso <hackeso@esolangs.org>
# Date 1575229414 0
# Node ID 23a1a28b65cb3fbf8bb66254f42d8e7b2a9da492
# Parent  d27a84eb0de8a915feb7c1548f2069f00f224928
<shachaf> forget categorical product

diff -r d27a84eb0de8 -r 23a1a28b65cb wisdom/categorical product
--- a/wisdom/categorical product	Sun Dec 01 15:30:22 2019 +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 unique morphism w:X->C such that u=wp and v=wq.