Монада (теория категорий) — Википедия
Монада (теория категорий) Монады — это категории, которые моделируют вычисления с учетом состояния или доступа к данным. В функциональном программировании […]
Вики
Сопряженные функторы
Вики
Сопряженные функторы — Википедия, бесплатная энциклопедия
Сопряженные функторы Сопряженные функторы в теории категорий связывают две категории C и D. Функтор F: C → D является сопряженным
Вики
Сопряженные функторы — Википедия, бесплатная энциклопедия
Сопряженные функторы Сопряженные функторы в теории категорий связывают две категории C и D. Функтор F: C → D является сопряженным
Вики
Присоединение Тензор-дом — Википедия, бесплатная энциклопедия
Тензорно-гомологическое присоединение Тензорное соединение образует сопряженную пару с hom-функтором. Порядок следования членов в фразе «присоединение тензора к hom» отражает их
Вики
Свободный объект — Википедия
Свободный объект Свободные объекты являются важными понятиями в математике и имеют множество применений. Свободные объекты связаны с функторами, которые игнорируют
Вики
Категория Клейсли — Википедия
Категория Kleisli Категория Клейсли связана с любой монадой T и эквивалентна категории свободных T-алгебр. Категория Клейсли является одним из двух
Вики
Ваше расширение — Википедия
Расширение Kan Расширения Kan — это обобщение ко- и левосопряженных функторов. Они позволяют вычислять правые расширения вдоль функтора и имеют
Вики
Сопряженные функторы — Википедия, бесплатная энциклопедия
Сопряженные функторы Сопряженные функторы в теории категорий связывают две категории C и D. Функтор F: C → D является сопряженным
Вики
Изоморфизм категорий — Википедия
Изоморфизм категорий Изоморфизм категорий требует существования взаимно обратных функторов F и G. Изоморфные категории имеют одинаковые свойства, определенные в теории
Вики
Эквивалентность категорий — Википедия
Эквивалентность категорий Эквивалентность категорий сохраняет все «категориальные» понятия и свойства. Эквивалентность категорий может быть применена к эквалайзерам, продуктам и сопутствующим