Сегодня лекции по теории категорий не будет — переносим её на следующую неделю (увы!)

Таким образом, ближайшие лекции:
1) 9 сентября (среда) — теория категорий (Василий Ионин)
2) 16 сентября (среда) — теория типов (Александр Куклев и Александр Грызлов)

Обе лекции пройдут в обычное время — 20:00 MSK (19:00 CEST/UTC+2).

Подробные анонсы появятся позднее.