Name: Anonymous 2015-11-04 0:19
Is the same as Computer science.
im not actually a mathematician or know anything beyond basic facts about category theory but let me tell you this: homotomtopy type theory is really IN right now and it's gonna be the next BIG THING. Bigger than node.js