Category Theory with Applications in Functional Programming: Ph.D. Course

The fourth day in the course takes place Wednesday 28 October from 9:00 to 15:00 at SLV300-0.2.13

The programme for the fourth day of the course is as follows:

9:00	CT4: Adjunctions, monads, algebras
10:00	FP4.1: Monads in Haskell: join vs. bind
12:00	Lunch
12:30	FP4.2
15:00	Closing

Mac Lane: Sections 6.1, 6.2, 6.3, 6.4
Eugenia Cheng has some entertaining video lectures in her YouTube channel. We recommend her video on monads.

The new Mac Lane sections are available on-line here.

Mac Lane 6.2.1 (p.142)
Understand, apprehend, and worship the relation between join and bind in a monad. Compare with the relation between monads as containers and monads as computations in Haskell.

Later.