Andrej Bauer: Pa ne že spet uvod v monade!

Povzetek: Na seminarju bom predstavil monade z vidika algebre. Monade so tesno povezane s pojmom adjungiranega funktorja, na algebre za monado pa lahko gledamo kot na posplošitev univerzalne algebre. Tako pod eno streho spravimo raznolike pojme, od algebrajskih struktur (grupe, kolobarji, moduli) do povsem topoloških pojmov (kompaktni Hausdorffovi prostori, napolnitev metričnega prostora). Predavanje je namenjeno vsem kolegom, ki so "uporabniki" teorije kategorij pri svojem delu in morda niso redni obiskovalci seminarja. (Redni obiskovalci so slišali uvod v monade že vsaj dvakrat v zadnjih treh letih.) Vljudno vabljeni!