Внутренняя категория

• Определение внутренних категорий

  • Внутренние категории являются обобщением малых категорий и определяются относительно внешней категории. 
  • Если категория окружения — категория множеств, то теория малых категорий может быть восстановлена. 
  • Внутренняя категория состоит из двух объектов и набора морфизмов, удовлетворяющих определенным условиям согласованности. 

• Примеры и преобразования

  • Групповые объекты являются распространенными примерами внутренних категорий. 
  • Существуют внутренние функторы и естественные преобразования, которые преобразуют внутренние категории в 2-ю категорию. 

• Рекомендации и ссылки

  • Статья является заглушкой и нуждается в расширении. 
  • Ссылки на другие статьи по теории категорий предоставлены.