You are not logged in |
Moduły nad monadami
- Speaker(s)
- Michał Roman Przybyłek
- Affiliation
- Uniwersytet Warszawski
- Date
- May 14, 2012, 10:15 a.m.
- Room
- room 4790
- Seminar
- Seminar Semantics, Logic, Verification and its Applications
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.
