CT study group: Representable Functors

Read part 14 of "Category Theory for Programmers" (https://bartoszmilewski.com/2015/07/29/representable-functors/), also do the exercises. Have fun!

Harold will do the presentation.