log

age author description
Fri, 10 Oct 2014 11:02:39 +0000 HackBot <b_jonas> learn 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.
Fri, 10 Oct 2014 10:54:00 +0000 HackBot <mroman_> learn hipchat is a chat where you can communicate solely by using meme-emoticons but shouldn\'t.
Fri, 10 Oct 2014 10:53:11 +0000 HackBot <Taneb> echo "loop: see loop" > wisdom/loop