Awesome news: @johncarlosbaez has announced that he's going to offer an online course in applied category theory. He's already posted some v