Odeljenje za matematiku, 15. april 2022.

Naredni sastanak Seminara biće održan u petak, 15. aprila 2022, sa početkom u 14.15 časova. Sastanak će biti održan u sali 301f Matematičkog instituta SANU a postoji i mogućnost pristupa na daljinu.
U pitanju je zajednički sastanak sa Seminarom za logiku.

Predavač: Mladen Zekić, Matematički institut SANU

Naslov predavanja: SIMETRIČNE MONOIDALNO ZATVORENE KATEGORIJE I LOGIKA

Apstrakt: Na predavanju ćemo konstruisati simetričnu monoidalno zatvorenu kategoriju čije strelice kodiraju izvođenja u multiplikativnom konjuktivno-implikativnom fragmentu intuicionističke linearne logike. Kroz ovu kategoriju ćemo prikazati osnovna svojstva tog fragmenta.
Rezultat koherencije za simetrične monoidalno zatvorene kategorije u ovom kontekstu nam daje odgovor na pitanje kada su u pomenutom fragmentu linearne logike dva izvođenja jednaka.

Registracija za učešće na seminaru je dostupna na sledećem linku:
https://miteam.mi.sanu.ac.rs/asset/tz97w4Hu4c3unsJ7N

Predavanje možete pratiti na sledećem linku:
https://miteam.mi.sanu.ac.rs/asset/J6zEMJyMSoAbTMMX7



Nažalost nije moguće ostaviti komentar.