10:05:07 From Jacek Malec : We begin 10:15. 10:28:35 From Hannes : How does this differ from group isomorphisms and functors? It seems to be the very same thing except we change some names, and call functions morphisms and sets of objects a class of objects? 10:29:39 From Hannes : How do functors differ from group isomorphisms* 10:36:41 From Karl Hallsby : Why do we not need a case of pure for Nothing? 11:31:31 From Alexander : should we expect questions on this theory on the exam?:) 11:31:46 From Alexander : this meaning this lecture 11:37:30 From Alexander : ok! 11:58:56 From Lavender : Off topic: Does the exam contain "cheat sheet", where the basic (prelude) functions are in it?