Exercises from DaoFP, Chapter 15. Solutions: DaoFP Chapter 15 Solutions. Index: Map of Content.
Exercise 15.1.1
Draw the string diagrams for the second triangle identity of an Adjunction and translate them to Haskell.
Sources: DaoFP Exercise 15.1.1.
Solution: Solution 15.1.1
Exercise 15.2.1
Draw string diagrams illustrating the monad laws (unit and associativity) for the monad derived from an adjunction.
Sources: DaoFP Exercise 15.2.1.
Solution: Solution 15.2.1
Exercise 15.3.1
Show that for the pointed-object adjunction is the Maybe Monad.
Sources: DaoFP Exercise 15.3.1.
Solution: Solution 15.3.1