Аннотация:
Будет рассказано о симплициальных множествах, нерве категорий и геометрической
реализации категорий. Будут разобрано несколько примеров. Будет рассказано о
теоремах Квиллена о том, когда функтор между категориями задает гомотопическую
эквивалентность, и о том, когда возникает гомотопическая эквивалентность между
геометрической реализацией категории запятой и гомотопического слоя.