Я ещё как-то пытался соединять объекты оптоволокном :) по одному кабелю на стрелку, и по одному волокну в кабеле на каждую точку объекта домена - так тогда можно суръекции от инъекций отличать; например, можно визуализировать, что за эквалайзер такой и как это вообще квадраты коммутируют. "Включил свет" - посмотрел, где и какие точки засветились, да ещё каким цветом. :)
В категорном смысле есть ещё один занятный факт: для стрелок zA: 0 → A zB: 0 → B и двух стрелок f, g: A → B верно следующее: f . zA = g . zA = zB Так вот, здесь аналогии с трубами и кабелями заканчиваются :)
no subject
Я ещё как-то пытался соединять объекты оптоволокном :) по одному кабелю на стрелку, и по одному волокну в кабеле на каждую точку объекта домена - так тогда можно суръекции от инъекций отличать; например, можно визуализировать, что за эквалайзер такой и как это вообще квадраты коммутируют. "Включил свет" - посмотрел, где и какие точки засветились, да ещё каким цветом. :)
В категорном смысле есть ещё один занятный факт: для стрелок zA: 0 → A zB: 0 → B и двух стрелок f, g: A → B верно следующее: f . zA = g . zA = zB Так вот, здесь аналогии с трубами и кабелями заканчиваются :)