Квазикатегория

• Квазикатегория — категория, в которой не определены законы композиции морфизмов. 
• Гомотопическая категория связана с квазикатегорией и имеет объекты, представляющие вершины квазикатегории. 
• Нерв категории является квазикатегорией с уникальным наполнением внутренних рогов. 
• Сингулярное множество S (X) топологического пространства X является квазикатегорией с обратимыми морфизмами. 
• Комплексы Кан являются примерами квазикатегорий, в которых все морфизмы обратимы. 
• (∞, 1)-категория является вариантом квазикатегории, включающим различные модели. 
• Структура модели в sSet-категориях представляет собой модель для теории (∞, 1)-топоса.