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