Забывчивый функтор
- Забывчивые функторы удаляют аксиомы, предикаты или типы из структуры категорий.
- Функторы первого рода удаляют аксиомы, второго рода – предикаты, а третьего рода – типы.
- Забывчивые функторы обычно имеют левые сопряжения, которые являются свободными конструкциями.
- Примеры забывчивых функторов включают Ab → Grp, Ab → Set и Mod → Ab.
- Забывчивые функторы могут иметь сопряжения, такие как свободные модули, свободные группы и свободные решетки.
- Символически, единица свободно-забывчивого присоединения – “включение основы”.
Полный текст статьи:
Забытый функтор — Википедия, бесплатная энциклопедия
Похожие статьи:
- Дифракционная решетка – Arc.Ask3.Ru Оглавление1 Дифракционная решетка1.1 Дифракционная решетка1.2 История и развитие1.3 Принцип работы1.4 Теория дифракции1.5 Применение и примеры1.6 Типы...
- Производный функтор Оглавление1 Производный функтор1.1 Производные функторы1.2 Инъективные разрешения1.3 Свойства производных функторов1.4 Вариации и примеры1.5 Категория модулей и...
- Обратная решетка Оглавление1 Обратная решетка1.1 Обратная решетка и её роль1.2 Прямая и обратная решетки1.3 Связь с квантовой физикой1.4...
- Группа (математика) – Википедия Оглавление1 Группа (математика)1.1 Определение группы1.2 История и применение1.3 Основные понятия1.4 Классификация и классификация1.5 Примеры групп1.6 Глоссарий...
- Консервативный функтор Консервативный функтор В теории категорий консервативный функтор F:C→D – это функтор, для которого из изоморфизма F(f)...
- Производный функтор Оглавление1 Производный функтор1.1 Определение производного функтора1.2 Примеры производных функторов1.3 Свойства производных функторов1.4 Обобщение понятия производного функтора2...
- Точный функтор Оглавление1 Точный функтор1.1 Определение точных функторов1.2 Примеры точных функторов1.3 Свойства точных функторов1.4 Обобщения точных функторов1.5 Рекомендации...
- Групповое действие Оглавление1 Group action1.1 Основные понятия теории групп1.2 Свойства действий групп1.3 Примеры действий групп1.4 Топологические свойства действий...
- Функтор Оглавление1 Функтор1.1 Определение функтора1.2 Примеры функторов1.3 Свойства функторов1.4 Примеры функторов в математике1.5 Компьютерные реализации функторов1.6 Связь...
- Фазированная решетка Оглавление1 Фазированная антенная решетка1.1 Теория фазированных решеток1.2 Принцип работы1.3 Типы фазированных решеток1.4 История1.5 Приложения1.6 Применение фазированных...
- Решетка Браве Оглавление1 Решетка Браве1.1 Решетка Браве1.2 Кристаллическая структура1.3 Элементарная ячейка1.4 Происхождение концепции1.5 Типы решеток1.6 Эквивалентность решеток1.7 Элементарные...
- Антенная решетка Оглавление1 Антенная решетка1.1 Основы антенных решеток1.2 Периодические и апериодические решетки1.3 Проектирование антенных решеток1.4 Дополнительные аспекты2 Антенная...
- Полные и точные функторы Оглавление1 Полные и верные функторы1.1 Определение функторов1.2 Свойства функторов1.3 Примеры функторов1.4 Обобщение на (∞, 1)-категории1.5 Полный...
- Род Оглавление1 Род1.1 Определение рода1.2 Стандарты классификации родов1.3 Этимология и использование1.4 Использование в номенклатуре1.5 Концепция типа1.6 Категории...
- Предикат (грамматика) Оглавление1 Сказуемое (грамматика)1.1 Одушевленность и падежи1.2 Необычная тема и падежи1.3 Числительное, массовое и собирательное существительные1.4 Определенность...
- Функтор (функциональное программирование) Оглавление1 Функтор (функциональное программирование)1.1 Определение функтора в функциональном программировании1.2 Применение функторов в Scala1.3 Примеры функторов в...
- Структурный фактор – Arc.Ask3.Ru Оглавление1 Структурный фактор1.1 Структурный фактор в физике конденсированных сред1.2 Типы структурных факторов1.3 Различия между S(q) и...
- Анафунктор Оглавление1 Анафунктор1.1 Определение и свойства функтора1.2 Примеры функторов1.3 Свойства функтора1.4 Примеры функторов в программировании1.5 Свойства функтора...
- Полные и точные функторы Полные и верные функторы Верный функтор – функтор, инъективный на hom-множествах. Полный функтор – функтор, сюръективный...
- Категория функтора Оглавление1 Категория функторов1.1 Основы теории категорий1.2 Функторы и категории функторов1.3 Примеры категорий функторов1.4 Свойства функторов1.5 Лемма...
- Функция сопряжения Функция сопряжения Функция сопряжения Кантора используется для определения пар натуральных чисел, связанных квадратичным многочленом. Функция сопряжения...
- Полные и точные функторы Оглавление1 Полные и верные функторы1.1 Определение и свойства функтора1.2 Примеры функторов1.3 Обобщение на (∞, 1)-категории1.4 Рекомендации...