(no subject)
Jul. 29th, 2017 09:08 pm![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
timeletsЖизнь прекрасна. Я сегодня применил элементы теории категорий, чтобы помочь двум врачам придумать новую систему для лечения переломов. Это выглядело вот так:
A -> B -> C -> D (wherein *: C->D is monic)
or
A -> D
Проблема в том, что сегодня все строят свободные моноиды на А, и это очень долго, дорого и вызывает осложнения. А мои новые друзья будут строить свободные моноиды на D. Забавно, что один из врачей вот-вот станет son-in-law моего бывшего начальника и разговорились о переломах мы совершенно случайно.
A -> B -> C -> D (wherein *: C->D is monic)
or
A -> D
Проблема в том, что сегодня все строят свободные моноиды на А, и это очень долго, дорого и вызывает осложнения. А мои новые друзья будут строить свободные моноиды на D. Забавно, что один из врачей вот-вот станет son-in-law моего бывшего начальника и разговорились о переломах мы совершенно случайно.
