Подкатегория

От / / Оставьте комментарий

Подкатегория Подкатегория C является категорией, полученной из C путем «удаления» некоторых ее объектов и стрелок.  Формальное определение подкатегории включает объекты, […]

Category theory, Hierarchy, Иерархия, Теория категорий

Подкатегория

  • Подкатегория C является категорией, полученной из C путем «удаления» некоторых ее объектов и стрелок. 
  • Формальное определение подкатегории включает объекты, морфизмы и условия, гарантирующие самостоятельность категории. 
  • Существует верный функтор I: S → C, называемый функтором включения, который объединяет объекты и морфизмы в себе. 
  • Подкатегория S в C называется замкнутой на изоморфизм или полной, если каждый изоморфизм k: X → Y в C такой, что Y находится в S, также принадлежит S. 
  • Полная подкатегория, замкнутая на изоморфизм, называется строго полной. 
  • Подкатегория C является широкой или lluf (термин, впервые предложенный Питером Фрейдом), если она содержит все объекты C. 

Полный текст статьи:

Подкатегория — Википедия

Похожие статьи:

  1. Замкнутая по изоморфизму подкатегория Изоморфизм — закрытая подкатегория Определение изоморфизма замкнутого Изоморфизм замкнутый в категории A из категории B означает,...
  2. Светоотражающая подкатегория Отражающая подкатегория Определение отражающей подкатегории Полная подкатегория A категории B является отражающей, если для каждого B-объекта...
  3. Подкатегория Жиро Подкатегория Жиро Определение подкатегорий Жиро Подкатегории Жиро являются важным классом подкатегорий в категориях Гротендика.  Названы в...
  4. Рекорд скорости в парусном спорте Рекорд скорости плавания под парусом Рекорды скорости парусных судов Рекорд скорости парусного судна принадлежит «Властелину морей»...
  5. Полная информация Полная информация Полная информация в экономике и теории игр Полная информация означает, что все участники рынка...
  6. Полная виртуализация Полная виртуализация Определение полной виртуализации Полная виртуализация — это метод виртуализации, который позволяет создавать виртуальные среды,...
  7. Закрытая система Замкнутая система Замкнутая система — естественная физическая система, не допускающая переноса вещества, но допускающая передачу энергии. ...
  8. Проблема изоморфизма подграфов Проблема изоморфизма подграфов Определение и сложность изоморфизма подграфов Изоморфизм подграфов — это задача определения, содержит ли...
  9. Проблема изоморфизма графов Проблема изоморфизма графов Определение и сложность изоморфизма графов Изоморфизм графов — это проблема определения, являются ли...
  10. Сильно минимальная теория Строго минимальная теория Определение минимальной структуры Минимальная структура — это бесконечная односортированная структура с конечными или...
  11. Престек Предварительный штабель Определение и свойства предварительных наборов Предварительные наборы — это морфизмы в категории схем, которые...
  12. Полная булева алгебра Полная булева алгебра Определение и свойства булевых алгебр Булева алгебра — это алгебра с двумя операциями:...
  13. Тотальная раскраска Полная окраска Определение полной раскраски Полная раскраска — это раскраска вершин и ребер графа, где ни...
  14. Функтор Hom Функтор Hom Определение и свойства функтора Hom Функтор Hom отображает объекты одной категории в объекты другой...
  15. Сильная NP-полнота Сильная NP-полнота Определение сильной NP-полноты Сильная NP-полнота является частным случаем NP-полноты, который остается NP-полным при ограничении...
  16. Потенциальный изоморфизм Потенциальный изоморфизм Определение потенциального изоморфизма Потенциальный изоморфизм — это набор частичных изоморфизмов, удовлетворяющих определенным условиям замыкания. ...
  17. Обозначение цепной стрелки Конвея Обозначение цепочкой стрелок Конвея Конвей и Гай создали нотацию для описания последовательностей чисел с помощью стрелок. ...
  18. Полная теория модели Модель полной теории Определение полной модели Полная модель — это теория, в которой каждое вложение моделей...
  19. Векторное наложение Vector overlay Основы векторного наложения Векторное наложение объединяет векторные данные для создания новых векторных объектов.  Используется...
  20. Решатель (машина Тьюринга) Решающий модуль (машина Тьюринга) Определение и свойства решающих модулей Решающий модуль — это машина Тьюринга, которая...
  21. Замкнутая моноидальная категория Замкнутая моноидальная категория Закрытая моноидальная категория — моноидальная категория с дополнительным свойством тензоризации.  Симметричная замкнутая моноидальная...
  22. Порядковый изоморфизм Изоморфизм порядка Изоморфизм порядка в математической теории порядка представляет собой монотонную функцию для частично упорядоченных множеств. ...

Оставьте комментарий

Прокрутить вверх