Bartosz Milewski, From Lenses to Yoneda Embedding

http://bartoszmilewski.com/2015/07/13/from-lenses-to-yoneda-embedding/

коллега только что изобрел категорию

Ему нужен был частичный моноид. Чтоб были единицы, и ассоциативность. Но операция частичная. Я ему объяснил, что это категория.

бибиси про соль

Чумовая была передачка, пока я ехал (на третьей передаче, в правом ряду).

Мол, от слова соль происходят и salary, и солдат, и салют, и сосиска, и cellar. Ну и т.д. Роль соли была понятна, когда мясо надо было солить, и лошадям соли подбрасывать. Без соли армия проигрывает.

Я сидел слушал уши развесил, и про то, как Венеция на торговле солью поднялась, и как англичане в Индии зверствовали, монополизировав.

Потом они как-то подорвали мое доверие, начав репортаж из класса, где учащиеся глядят на оранжевое пламя, а учитель им говорит, что оно оранжевое от хлора.

Хз, британские учоные, их шутки мне не всегда понятны.

pullback type?

Ok, so product type is ok, we have them in languages.

Any solution for a pullback "type"?

Or an equalizer type?

что мы обсуждаем