Связанная категория
-
Определение связности в теории категорий
- Связная категория — это категория с конечными последовательностями морфизмов между любыми двумя объектами.
- Категория J является связной, если каждый функтор из J в дискретную категорию является постоянным.
- Пустая категория не считается связанной.
- Связность может быть усилена требованием наличия хотя бы одного морфизма между любыми двумя объектами.
-
Связь с графами и компонентами категорий
- Связность категории эквивалентна связности графа, лежащего в ее основе.
- Категория J может быть представлена как объединение связанных компонентов.
- Каждый подключенный компонент является полной подкатегорией J.
-
Рекомендации по форматированию
- Статья содержит инструкции по форматированию для википедии.
- Приведены примеры стилей и размеров шрифтов, а также указания на использование определенных элементов HTML.
-
Заметка о статье
- Статья является заглушкой и призывает к расширению.
Полный текст статьи: