(no subject)

Жизнь прекрасна. Я сегодня применил элементы теории категорий, чтобы помочь двум врачам придумать новую систему для лечения переломов. Это выглядело вот так:
A -> B -> C -> D (wherein *: C->D is monic)

or

A -> D

Проблема в том, что сегодня все строят свободные моноиды на А, и это очень долго, дорого и вызывает осложнения. А мои новые друзья будут строить свободные моноиды на D. Забавно, что один из врачей вот-вот станет son-in-law моего бывшего начальника и разговорились о переломах мы совершенно случайно.