BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:The 2-Category of Graded Monads - Tori Vollmer (University of Kent
 )
DTSTART:20250328T123000Z
DTEND:20250328T133000Z
UID:TALK229741@talks.cam.ac.uk
CONTACT:Ariadne Si Suo
DESCRIPTION:Street’s 1972 paper A formal theory of Monads defines the 2-
 category of graded monads over a 2-category k\, and the corresponding func
 tor on 2Cat. This provides a setting for the internalization of many prope
 rties of monads. This formal treatment of monads makes them a desirable ob
 ject of study and furthermore an exceedingly useful tool in both functiona
 l programming and logic.\n \nGraded monads\, i.e. a lax monoidal functor\,
  are a relatively new and (imo) trendy topic that have shown to have many 
 applications in the areas of effect systems and substructural logic. Drive
 n by applications in both categorical logic and functional programming we 
 aim to give a similar formal treatment as Street provided for monads to gr
 aded monads.\n \nIn this talk we will explore different constructions in 2
 Cat to define the 2-category of graded monads in a way that is consistent 
 both with the intuitions of functional programmers and the current underst
 anding of graded monads in the categorical setting.\n
LOCATION:FS07\, Computer Laboratory
END:VEVENT
END:VCALENDAR