Сегодня вечером пройдет вторая вводная лекция по теории категорий. Поговорим про то, как язык функторов естественно возникает в линейной алгебре, теории групп и топологии

Это будет развитие рассказа про комбинаторные виды в новом контексте, так что будет полезно пересмотреть слайды с прошлого раза — я их улучшил после лекции, должно быть понятно