Группоид

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