Category theory study group

We will read the following:

• Chapter 6 (https://bartoszmilewski.com/2015/01/13/simple-algebraic-data-types/). This one is overflow from the last study group meeting.

• Chapter 7 (https://bartoszmilewski.com/2015/01/20/functors/)

• Chapter 8 (https://bartoszmilewski.com/2015/02/03/functoriality/)

Also do the exercises, have fun!

Assen Kolov will do the presentation for chapter 6, Hans van Thiel will do the presentation for chapter 7 and 8.