Bartosz Milewski Mar 18
Warning: I have run out of easy topics in category theory, so I'm going to introduce Homotopy Type Theory for programmers. Can't let mathematicians have all the fun.