You are cordially invited to the Topology Seminar organized by the Department of Mathematics.<\/p>\n
Speaker: Aziz Kharoof (Bilkent University)
\n\u201cMonads and their Algebras\u201d<\/p>\n
Abstract: We define monads, showing the relation with adjunction. We define algebra over monad, with examples and prove that every monad is defined by its algebras. We will define the Kleisli category of a monad and explain the comparison Theorem for the Kleisli construction. In addition, we will discuss Theorem 5.6.5 from the reference, the proof and some applications. During the talk our basic example will be the probability monad over a semiring, which allows us to generalize the convex set notion.
\nReference: Chapter 5 from \u201cCategory Theory in Context\u201d by Emily Riehl
\nOther references: Chapter 6 from \u201cCategories for the working mathematician\u201d by Mac Lane Section 5 from \u201cNotes on Category Theory\u201d by Paolo Perrone<\/p>\n
Date: Monday, September 26, 2022
\nTime: 13:30
\nPlace: SA141 Mathematics Seminar Room<\/p>\n","protected":false},"excerpt":{"rendered":"
You are cordially invited to the Topology Seminar organized by the Department of Mathematics. Speaker: Aziz Kharoof (Bilkent University) \u201cMonads and their Algebras\u201d Abstract: We define monads, showing the relation with adjunction. We define algebra over monad, with examples and prove that every monad is defined by its algebras. We [\u2026] <\/p>\n