TIL: monoids and graphical language

https://arxiv.org/pdf/1003.4394.pdf

An equational statement between morphisms in a monoidal category is provable from the axioms of monoidal categories if and only if it is derivable in the graphical language.

Selling category theory for the masses

http://www.lmpa.univ-littoral.fr/~sic/wordpress/wp-content/uploads/2013/03/BobCoeckeCalais.pdf









Bob Coecke is doing some interesting work!

Opportunity cost

Чуть глянешь за пределы ленты и тут же возникает юридический вопрос: Обоснована ли дискриминация белых консервативных программистов, если они в рабочее время читают сообщения на форумах феминисток и потом коллективно о(б)суждают эти сообщения с другими белыми консервативными программистами?

(no subject)

I think this is better than Spivak's approach

https://arxiv.org/pdf/0905.3010.pdf
Categories for the practising physicist
Bob Coecke and Eric Oliver Paquette

(no subject)

The only good thing about this fucking flu is that I go to bed at 9pm and get up no earlier than 7am. My poor body is so exhausted fighting the darn virus (H3N2) that it somehow forgets about the jetlag. Although, if I had choice I'd pick jetlag.

(no subject)

Watch on YouTube