Size: a a a

Теория категорий

2019 October 10

A

Aragaer in Теория категорий
Oleg ℕizhnik
И очень много одинаковых вещей каждый раз произносится. Снова и снова "пожалуйста, забудьте ваш ЯП", пожалуйста попробуйте воспринять опредедения как есть
но рано или поздно возникает необходимость это определение приземлить на какие-то конкретные примеры
источник

A

Aragaer in Теория категорий
руками пощупать
источник

Oℕ

Oleg ℕizhnik in Теория категорий
Igor 🐱 Jirkov
Это к тому, что такое моментально ломает попытки думать о категориях как о проявлениях случая "функции между типами"
Евгений говорил, что это может быть и не нужно выбрасывать
источник

Oℕ

Oleg ℕizhnik in Теория категорий
Aragaer
но рано или поздно возникает необходимость это определение приземлить на какие-то конкретные примеры
Начните с предпорядков и гомоморфизмов
источник

IJ

Igor 🐱 Jirkov in Теория категорий
В книжках по алгебре для математиков часто идет бомбардировка примерами, которые имеют смысл для математиков и физиков (см. книжки Вавилова по группам и кольцам), но неизвестны программистам вообще никак.
источник

A

Aragaer in Теория категорий
/me пошел гуглить определение термина "гомоморфизм"
источник

V

Vadim in Теория категорий
Igor 🐱 Jirkov
В книжках по алгебре для математиков часто идет бомбардировка примерами, которые имеют смысл для математиков и физиков (см. книжки Вавилова по группам и кольцам), но неизвестны программистам вообще никак.
А они нужны в программировании?
источник

IJ

Igor 🐱 Jirkov in Теория категорий
Алгебра, мне кажется, важнейшая математическая дисциплина для программистов.
источник

A

Aragaer in Теория категорий
когда я много лет назад ходил в НМУ, то я еще как-то понимал геометрию, с трудом осиливал матан, но с алгеброй все время был затык
источник

A

Aragaer in Теория категорий
перекладывать байты из одного места в другое - это наглядно и понятно. А вот алгебру в голову запихнуть значительно сложнее. Не помещается.
источник

ЕО

Евгений Омельченко in Теория категорий
Ну предпорядки это же типичные функции, рассмотрите вложения (инъекции) множеств друг в друга, а потом объявите их эквивалентными, равными друг другу.

Мне кажется, что мешает больше не аллюзии с математическими функциями, а тьюринг-полная интуиция. Если мыслить программистски, но тотально, то в целом неплохо будет
источник

A

Aragaer in Теория категорий
тут еще надо удержать в голове терминологию и не путать сюръекцию с инъекцией (в смысле вечно забываю кто из них кто)
источник

ЕО

Евгений Омельченко in Теория категорий
С тьюринг-полной интуицией сложно, потому что она даже инициальный и терминальный элементы не даст помыслить
источник

IJ

Igor 🐱 Jirkov in Теория категорий
Евгений Омельченко
Ну предпорядки это же типичные функции, рассмотрите вложения (инъекции) множеств друг в друга, а потом объявите их эквивалентными, равными друг другу.

Мне кажется, что мешает больше не аллюзии с математическими функциями, а тьюринг-полная интуиция. Если мыслить программистски, но тотально, то в целом неплохо будет
Я ничего не понял :(
источник

Oℕ

Oleg ℕizhnik in Теория категорий
Igor 🐱 Jirkov
Я ничего не понял :(
Евгений, так же спутал инъекцию с сюрьекцией. Похоже, Евгений тоже человек, как и все
источник

Oℕ

Oleg ℕizhnik in Теория категорий
Осталось продемонстрировать человечность Исаева и Ника Иваныча
источник

Oℕ

Oleg ℕizhnik in Теория категорий
И Кохесивного Элайджи
источник

IJ

Igor 🐱 Jirkov in Теория категорий
С поправкой на инъекцию понятнее не стало
источник

IJ

Igor 🐱 Jirkov in Теория категорий
Кого эквивалентными обьявлять
источник

ЕО

Евгений Омельченко in Теория категорий
Oleg ℕizhnik
Евгений, так же спутал инъекцию с сюрьекцией. Похоже, Евгений тоже человек, как и все
Ой, я ещё какой человек, я же даже ВУЗ не закончил
источник