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