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