Группоид — Википедия

Группоид Группоид — это категория с объектами и морфизмами, удовлетворяющая определенным условиям.  Группоиды могут быть использованы для моделирования отношений эквивалентности […]

Группоид

  • Группоид — это категория с объектами и морфизмами, удовлетворяющая определенным условиям. 
  • Группоиды могут быть использованы для моделирования отношений эквивалентности и покрывающих отображений пространств. 
  • Фундаментальный группоид топологического пространства представляет собой группу вершин, связанных по пути компонентами пространства. 
  • Группоиды могут быть использованы в теории множеств для создания вычислимых приближений к теории множеств, называемых PER-моделями. 
  • Чешский группоид связан с отношением эквивалентности, заданным открытой крышкой из многообразия. 
  • Группоиды могут быть расширены, устанавливая Gn = G. 
  • Пересказана только часть статьи. Для продолжения перейдите к чтению оригинала. 

Полный текст статьи:

Группоид — Википедия

Оставьте комментарий

Прокрутить вверх