сны по теории услуг как стрелок

Снилось, что я взял в библиотеке какую-то старую книгу. Еду по крученой дороге вдоль океана, но читаю, не могу оторваться. Еду слишком быстро, меня заносит на повороте в соседнюю полосу и вот-вот врежусь в грузовик. Притормаживаю. С дороги открывается вид на город с огромным готическим собором. Паркуюсь в двух кварталах от собора и иду гулять. Во время прогулки читаю книгу, но не понимаю, о чем она.

Потом вдруг вспоминаю, что парковка, наверное, платная. Возвращаюсь, вижу знак платной парковки. И тут до меня доходит, что это пример простейшей бизнес модели услуг, которую можно описывать стрелкой А -> В. Стелка обозначает перемещение предмета во времени, причем, еще одна стрелка показывает, сколько стоит услуга в зависимости от размера перемещения. Работу этой стрелки делает счетчик.

Соответственно, появляется параллель между банковским делом и автомобилями. Очевидно, что авто-авто приведут к эффекту "капитализма" в перемещениях. Первые признаки видны по Uber.

О чем была книжка так и не вспомнил.

Bob Corker nailed it!

Quote of the Day: Groupoids

Formulating mathematical reasoning in a language precise enough for a computer to follow meant using a foundational system of mathematics not as a standard of consistency to establish a few fundamental theorems, but as a tool that can be employed in ­everyday mathematical work. There were two main problems with the existing foundational systems, which made them inadequate.

- Firstly, existing foundations of mathematics were based on the languages of predicate logic and languages of this class are too limited.

- Secondly, existing foundations could not be used to directly express statements about such objects as, for example, the ones in my work on 2-theories.

...
The greatest roadblock for me was the idea that categories are “sets in the next dimension.” I clearly recall the feeling of a breakthrough that I experienced when I understood that this idea is wrong. Categories are not “sets in the next dimension.” They are “partially ordered sets in the next dimension” and “sets in the next dimension” are groupoids.

-- V. Voevodsky. https://www.ias.edu/ideas/2014/voevodsky-origins

Watch on YouTube

Accept no substitutes!

Watch on YouTube