Mercurial > repo

changeset 12222:23a1a28b65cb draft

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
<shachaf> forget categorical product
author HackEso <hackeso@esolangs.org>
date Sun, 01 Dec 2019 19:43:34 +0000
parents d27a84eb0de8
children 678767440ad9
files wisdom/categorical product
diffstat 1 files changed, 0 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- 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.