Distributive laws
- đ¤ Speaker: Dima Szamozvancev (University of Cambridge) đ Website
- đ Date & Time: Friday 30 October 2020, 11:00 - 12:00
- đ Venue: https://meet.google.com/jxy-edcv-wgx
Abstract
Distributive laws are a simple tool to resolve many questions that arise when working with monads and algebras: how to relate two algebraic structures on the same object, how to lift a functor from objects to algebras, how to compose monads, etc. This talk will introduce the relevant categorical notions and how they are connected via distributive laws, as well as give a taste of the surprising role they play in the formal theory of monads in a 2-category.
Series This talk is part of the Logic & Semantics for Dummies series.
Included in Lists
Note: Ex-directory lists are not shown.
![[Talks.cam]](/static/images/talkslogosmall.gif)



Friday 30 October 2020, 11:00-12:00