Наредни састанак Семинара биће одржан у петак, 15.априла 2022, са почетком у 14.15 часова. Састанак ће бити одржан усали 301ф Математичког института САНУ а постоји и могућност приступа на даљину. У питању је заједнички састанак са Семинаром за логику.
Предавач: Младен Зекић, Математички институт САНУ
Наслов предавања: СИМЕТРИЧНЕ МОНОИДАЛНО ЗАТВОРЕНЕ КАТЕГОРИЈЕ И ЛОГИКА
Апстракт: На предавању ћемо конструисати симетричну моноидално затворену категорију чије стрелице кодирају извођења у мултипликативном коњуктивно-импликативном фрагменту интуиционистичке линеарне логике. Кроз ову категорију ћемо приказати основна својства тог фрагмента. Резултат кохеренције за симетричне моноидално затворене категорије у овом контексту нам даје одговор на питање када су у поменутом фрагменту линеарне логике два извођења једнака.
Регистрација за учешће на семинару је доступна на следећем линку:
https://miteam.mi.sanu.ac.rs/asset/tz97w4Hu4c3unsJ7N
Предавање можете пратити на следећем линку:
https://miteam.mi.sanu.ac.rs/asset/J6zEMJyMSoAbTMMX7