IJ
и вторую категорию можно взять любой
Size: a a a
2019 October 05
IJ
Построим функторы из первой категорию во вторую
IJ
каждый функтор отобразит эти два объекта с морфизмом в какой-то кусок второй категории
IJ
этот кусок будет или:
— два объекта, между ними морфизм
— один объект (мы будто два объекта склеили в один, а морфизм между ними отобразился в id)
— два объекта, между ними морфизм
— один объект (мы будто два объекта склеили в один, а морфизм между ними отобразился в id)
IJ
Если рассмотреть все функторы, которые только можно построить между этими категориями, они тоже будут категорией
IJ
Объекты = функторы, морфизмы = natural transformations
IJ
Что значит "категория между категориями"?
алсо ты неправильно распарсил, Не [the functor "category between categories"] а [the "functor category" between categories]
AZ
алсо ты неправильно распарсил, Не [the functor "category between categories"] а [the "functor category" between categories]
ага, я уже понял когда ты в перывй раз сказал. Немного тупанул
AZ
каждый функтор отобразит эти два объекта с морфизмом в какой-то кусок второй категории
а, то есть фнуктор не обязан быть генериков от типа? Он может быть ФункторА и ФункторБ с различной логикой?
AZ
для двух объектов
IJ
а, то есть фнуктор не обязан быть генериков от типа? Он может быть ФункторА и ФункторБ с различной логикой?
не понял
O
в ТК функтор это не более, чем пара функций с определенными свойствами
O
одна на уровне типов
O
всм объектов
O
вторая - для морфизмов
O
ну и не функций, а морфизмов, извините
AZ
не понял
ну для меня интуитивно функтор это просто инстанс тайпкласса Functor в хачкелевской стд
AZ
какая-то структура для которой мы фмап определили. Тот же мейби
O
инстанс Functor это функция между типами и ассоциированная с ней fmap
O
т.е. пара (F::*->*, fmap::(a->b)->(F a->F b))
и теоретически F могла бы определяться через type familiy, а не как адт
и теоретически F могла бы определяться через type familiy, а не как адт