AZ
там хорошо раскрывается теория категорий?оо
там совсем теория)
Size: a a a
2017 December 22
ЕО
Зависит от уровня подготовки, математику я бы посоветовал "теорию категорий для работающего математика" Маклейна, хаскелисту — милевски
к
γσ
спасибо!
ЕО
Материалы для обучения можно найти вот тут: http://telegra.ph/Materialy-po-teorii-kategorij-12-22
Если есть какие-то подборки и предложения, то набор материалов можно дополнить
Для теха можно юзать @inlatexbot'а
Если есть какие-то подборки и предложения, то набор материалов можно дополнить
Для теха можно юзать @inlatexbot'а
ЕО
Хм, а не должно быть превью?
2017 December 25
к
тоже тема интересная, вижу
к
я правильно понимаю, что тут source category - категория, где объекты - символы, а морфизмы - трансформации одних символов в другие, ну а target - инты
структура сохранятеся, так как ord c полностью
структура сохранятеся, так как ord c полностью
к
вкладывается в target морфизм, сама структура - мы все еще можем выполнять всякие isUpper но на числах (или конвертируя в символ, применяя, потом обратно в число)
к
именно про это говорил @int_index когда говорил про категорию, где объекты на термлевеле?
ЕО
я правильно понимаю, что тут source category - категория, где объекты - символы, а морфизмы - трансформации одних символов в другие, ну а target - инты
структура сохранятеся, так как ord c полностью
структура сохранятеся, так как ord c полностью
Да, правильно понимаешь. Но "сохранение структуры" это более сильное утверждение. Это тоже самое, что сказать, что функтор faithful
ЕО
вкладывается в target морфизм, сама структура - мы все еще можем выполнять всякие isUpper но на числах (или конвертируя в символ, применяя, потом обратно в число)
Не, на числах мы не можем выполнять isUpper. Легко представить себе число в которое не отправляется никакого символа. Что ты от него вернёшь?
ЕО
А, ну и да, морфизмов в "категории" символов не будет, конечно. Потому что трансформации символов это эндфунктор над ней, а не стрелка в ней. Как ты определишь стрелки из 'a' в 'π'?
к
А, ну и да, морфизмов в "категории" символов не будет, конечно. Потому что трансформации символов это эндфунктор над ней, а не стрелка в ней. Как ты определишь стрелки из 'a' в 'π'?
ну так и определяю
морфизм это же не функция, тут важен сам факт наличия стрелки из 'a' в 'π'
морфизм это же не функция, тут важен сам факт наличия стрелки из 'a' в 'π'
ЕО
В смысле? Нет никаких стрелок таких :)
ЕО
Это нормальная ситуация когда между объектами нету стрелок
к
то есть это как в предпорядке (правильно назвал категорию ?) если есть стрелка между A и B значит A <= B
ЕО
Ага, правильно. Но тип (если не забивать голову боттомами и прочими бесконечными циклами) это просто набор нормальных форм своих термов
к
ну так тут же не типы
к
у нас категория термов