Category theory for beginners

functional