Mercurial > repo

view wisdom/categorical product @ 9994:d8734db325b9

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
<hppavilion[1]> le/rn Rogue One//Any regular who gives the slightest Rogue One spoiler shall be hunted down in real life and have their intestines removed through their eye sockets. Members would not be exempt if they existed, which they don\'t.
author HackBot
date Sat, 17 Dec 2016 23:40:13 +0000
parents 74cae6b8f28c
children 00af4aaadf2c
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 morphism w:X->C such that u=wp and v=wq.