R:
Я читал это и это звучит как "Тип данных"
Size: a a a
2019 June 19
Oℕ
Я читал это и это звучит как "Тип данных"
тип данных?
Oℕ
там шесть компонент в определении
R:
тип данных?
Ну, категория это тип данных, а морфизы это функции
NI
Я читал это и это звучит как "Тип данных"
Скорее, сборище типов данных.
Объекты категории — раличные типы.
Объекты категории — раличные типы.
Oℕ
Ну, категория это тип данных, а морфизы это функции
Ты это ведь сам придумал?
R:
Ты это ведь сам придумал?
Расшифровываю
KV
Я слегка подозреваю, что @DoctorRyner не видел математики дальше школьной и ему надо пояснить прямо совсем-совсем с самого начала
Oℕ
Ну, категория это тип данных, а морфизы это функции
Ну если просто прочитать и не додумывать, ты пробовал?
Oℕ
Или бартоша послушать
P
В Маклейне определение строится через понятие метакатегории с двумя операциями, а категорией зовется частный случай их аксиоматизации, как я понял
R:
Я слегка подозреваю, что @DoctorRyner не видел математики дальше школьной и ему надо пояснить прямо совсем-совсем с самого начала
Не помню в вышке подобного
KV
Не помню в вышке подобного
Курс логики или теории множеств был?
R:
В Маклейне определение строится через понятие метакатегории с двумя операциями, а категорией зовется частный случай их аксиоматизации, как я понял
Опять рекурсивное определение
R:
Курс логики или теории множеств был?
Да-да, поэтому я и говорю про пересечение понятий
P
Опять рекурсивное определение
Не рекурсивное, открой учебник
Oℕ
Опять рекурсивное определение
нет
KV
Да-да, поэтому я и говорю про пересечение понятий
Ладно, тогда действительно, надо просто внимательно прочитать и не додумывать
KV
Да-да, поэтому я и говорю про пересечение понятий
Ну и что не так с пересечением понятий, к слову?
R:
Ну и что не так с пересечением понятий, к слову?
Путает