Nie jesteś zalogowany |
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.
