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.

---