Моноид — Википедия
Моноид Определение и свойства моноидов Моноид — это алгебраическая структура с бинарной операцией, которая обладает определенными свойствами. Моноид имеет единичный […]
Вики
Category theory
Вики
Локализация подкатегории — Википедия
Локализующая подкатегория Основы подкатегорий Серра и локализации Подкатегории Серра — это плотные подкатегории абелевых категорий, которые закрываются для подобъектов, частных
Вики
Композиционная теория игр — Википедия
Теория композиционных игр Теория композиционных игр Теория композиционных игр объединяет простые игры в сложные. Цель — упростить анализ больших игр
Вики
Монада (теория категорий) — Википедия
Монада (теория категорий) Основы теории монад Монады — это функторы, которые отображают категории в категории эндофункторов. Функторы являются объектами, которые
Вики
F-коалгебра — Википедия
F-коалгебра Определение F-коалгебры F-коалгебра — структура, определенная функтором F, обладающая особыми свойствами. Функтор F является удобным способом организации сигнатуры в
Вики
F-алгебра — Википедия
F-алгебра Определение и примеры F-алгебр F-алгебра — это алгебра, в которой каждый элемент является функцией. Примеры включают списки, деревья и
Вики
Эскиз (математика) — Википедия
Эскиз (математика) Основы теории категорий Эскиз в категории D — это категория с конусами и коконами. Модель эскиза в категории
Вики
Пространство Чу — Википедия
Пространство Чу Определение пространств Чу Пространства Чу обобщают топологические пространства, отказываясь от некоторых требований. Определение непрерывной функции требует переформулировки для
Вики
Инъекционный когенератор — Википедия
Инжекционный когенератор Основы теории категорий Генераторы и когенераторы — объекты, которые приближают другие объекты. Генератор категории с нулевым объектом —
Вики
Изображение (теория категорий) — Википедия
Изображение (теория категорий) Определение и свойства изображения Изображение морфизма — это морфизм, обратный к исходному морфизму. В категории с конечными
Вики
Категория Вальдхаузен — Википедия
Категория Вальдхаузена Определение и свойства K-теории K-теория — это теория, изучающая категории с морфизмами, которые удовлетворяют некоторым условиям. K-теория была
Вики
Посетальная категория — Википедия
Конечная категория Определение позитальной категории Позитальная категория — это категория с не более чем одним морфизмом на множество. Конечная категория
Вики
Q-категория — Википедия
Q-категория Определение Q-категории Q-категория — это «упрощенная версия сайта Гротендика» Категория Q является корефлексивной подкатегорией Буква Q означает «частное» История
Вики
Категория продукта — Википедия
Категория продукта Определение категории продукта Категория продукта C × D объединяет объекты и стрелки из C и D. Композиция стрелок
Вики
Категория волокна — Википедия
Категория волокнистых материалов Определение и примеры расслоенных категорий Расслоенная категория — это категория, в которой каждый объект имеет слой, а
Вики
Категория волокна — Википедия
Категория волокнистых материалов Определение и примеры расслоенных категорий Расслоенная категория — это категория, в которой каждый объект имеет слой, а
Вики
Нерв (теория категорий) — Википедия
Нерв (теория категорий) Определение и применение нерва в теории категорий Нерв N(C) категории C представляет собой симплициальное множество, связанное с
Вики
Мультикатегория — Википедия
Многокатегорийность Определение и примеры Мультикатегория — это категория, в которой морфизмы могут быть отображены в последовательности. Примеры включают категории множеств,
Вики
Монада (теория категорий) — Википедия
Монада (теория категорий) Основы теории монад Монады — это функторы, которые отображают категории в категории эндофункторов. Функторы являются объектами, которые
Вики
Монада (теория категорий) — Википедия
Монада (теория категорий) Основы теории монад Монады — это функторы, которые отображают категории в категории эндофункторов. Функторы являются объектами, которые
Вики
Изображение (теория категорий) — Википедия
Изображение (теория категорий) Определение и свойства изображения Изображение морфизма — это морфизм, обратный к исходному. В категории с конечными пределами