Mercurial > repo
view wisdom/categorical product @ 10991:2a49f15d9293
<wob_jonas> perl -e {$f="wisdom/rules of wisdom";open$i,"<",$f or die;local$/;$s=<$i>;$s=~s/with no space at the end/and end in a newline with no space before that/ or die;$s=~s/\\n\\z// or die;print$s;open$o,">",$f;print$o $s or die;}
| author | HackBot |
|---|---|
| date | Fri, 02 Jun 2017 10:25:48 +0000 |
| parents | 00af4aaadf2c |
| children |
line wrap: on
line source
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.