Семинар 12. Геометрическая реализация категорий. $Q$-конструкция Квиллена

Будет дано определение $K$-групп точных категорий при помощи $Q$-конструкции. Будут описаны явные элементы в $K_0$ и $K_1$ в терминах нерва $Q$-конструкции. Будут сформулированы основные теоремы о $K$-группах: об отвинчивании, о локализации, о резольвенте.