Moduły nad monadami

Prelegent(ci)

Michał Roman Przybyłek

Afiliacja

Uniwersytet Warszawski

Termin

14 maja 2012 10:15

Pokój

p. 4790

Seminarium

Semantyka, Logika I Weryfikacja Oraz Wiele Ich Ciekawych Aplikacji

---

Opowiem o formalnej teorii monad w bikategoriach. W szczególności skupię się na charakteryzacji rezolucji monad za pomocą uniwersalnych modułów i luźnych (ko)stożków.

---