Обогащенная категория
- Расширенные категории обогащают обычные категории дополнительной структурой или свойствами.
- Примеры обогащенных категорий включают категории, обогащенные моноидальными категориями.
- Обогащенные функторы являются обобщением понятия функтора на обогащенные категории.
- Обогащенные функторы соответствуют обогащенной структуре и удовлетворяют расширенным версиям аксиом функтора.
Полный текст статьи: