KV
нет, это я предлагаю стрелки взаимно-однозначным образом, а у вас какие-то сложные функции вместо этого
Я не понял, как Вы предлагаете, но у меня именно взаимно-однозначное соответствие, наглядное, конструктивное, явнее некуда
Size: a a a
2019 August 27
AZ
Вот категория 2 с правилами композиции, для примера. Хочу другие правила композиции-- придумываю другую конструкцию из объектов и стрелок.
А можно для случая с &&?
AZ
я вроде вон нарисовал, но оно соответствует сразу && и ||
AZ
значит какой-то инфы на картинке не хватает
AZ
но я не понимаю что еще нужно указать
KV
В одну сторону: берём
y и делаем \x -> x * y. В обратную: берём f и применяем к моноидальной единице. Что может быть понятнее?AZ
Как вариант разве что указать, что id это константный False, а not - онстантная единица
AZ
тогда для && будет наоборот, id это констанный True, а not это всегда false
KV
Элементы моноида представляются эндоморфизмами, а их произведение — композицией соответствующих эндоморфизмов
YS
В одну сторону: берём
y и делаем \x -> x * y. В обратную: берём f и применяем к моноидальной единице. Что может быть понятнее?мой вариант: элемент исходного множества = стрелка. без функций
KV
мой вариант: элемент исходного множества = стрелка. без функций
Ну ладно, это проще, но я бы не согласился, что понятнее
NI
В одну сторону: берём
y и делаем \x -> x * y. В обратную: берём f и применяем к моноидальной единице. Что может быть понятнее?Я знаю, как чуток понятнее (хотя и ессно, что по сути, то же самое будет), но пусть сами.
Это элементарнейшее задание, а флуда сколько бессмысленного...
Это элементарнейшее задание, а флуда сколько бессмысленного...
KV
Ну ладно, это проще, но я бы не согласился, что понятнее
Сразу отвечая на вопрос: потому что первейшая интуиция для стрелок — это функции, и композиция — композиция функций
NI
Можно пойти по доказательству теоремы Кэли для моноидов ;-)
YS
Сразу отвечая на вопрос: потому что первейшая интуиция для стрелок — это функции, и композиция — композиция функций
вот это и мешает
YS
теория категории не про функции
KV
вот это и мешает
Ну не знаю, мне не мешало. Мне хватило оговорки в самом начале книжки Голдблатта про топосы, о том, что объекты и стрелки могут быть абсолютно чем угодно, и всё кроме структуры неважно
IJ
Сразу отвечая на вопрос: потому что первейшая интуиция для стрелок — это функции, и композиция — композиция функций
Константы тоже функции!
KV
Константы тоже функции!
Спору нет. У меня там и получилось
const FalseIJ
Вот и всё