[Оксфордский семинар] Амитай Нахмани | Гипердоктрины в DOTS

Оксфордский семинар, 27 августа 2026 г. Вы можете ознакомиться с программой этого доклада онлайн по адресу https://topos.institute/events/oxford... Докладчик: Амитай Нахмани Полное название: Гипердоктрины в DOTS Аннотация: В этом докладе мы обосновываем и определяем (регулярные) гипердоктрины и описываем, как рассматривать их как теории двойных операдических систем. Мы связываем это с понятием «системы с сертификатами», которое позволяет нам формально проверять свойства теории систем способом, напоминающим внутренний язык категории. Наконец, мы описываем программу обобщения этой процедуры на другие логики (и функториализации её), а также выражаем некоторые преимущества этой программы для расширения инструментария категориальной теории систем. Предполагаемые знания: Общая теория категорий, особенно моноидальные категории, двойные категории и сопряжения. Знание функториальной семантики и/или теории DOTS будет полезным, но не является обязательным.