народ сдурел

На 680-й водитель погиб, на 17-й водитель погиб. Трафика-то нету, гоняют как бешеные. 

Lawvere theories, good reading

https://www.irif.fr/~mellies/mpri/mpri-ens/articles/hyland-power-lawvere-theories-and-monads.pdf 

а вот еще пишут

Модели теории групп в категории групп - это абелевы группы. Не знаю, с какого бы бодуна, но забавно. 

Proof here: https://ncatlab.org/nlab/show/Eckmann-Hilton+argument