Космос (теория категорий) - Cosmos (category theory)

В районе математика известный как теория категорий, а космос это симметричный закрытая моноидальная категория то есть полный и завершенный.[1] Обогащенная теория категорий часто рассматривается над космосом.[2]

Рекомендации

  1. ^ космос в nLab
  2. ^ Основные понятия теории обогащенных категорий