For a not so short, and way scarier introduction: Physics, Topology, Logic and Computation: A Rosetta Stone[1] However it doesn't shy away from the fact that t

For a not so short, and way scarier introduction: Physics, Topology, Logic and Computation: A Rosetta Stone[1] However it doesn't shy away from the fact that the sets of all sets is not set, and therefore we need a higher level of abstraction to talk about these non-set things. The same, of course, applies to other set like structures: All sets do not form a set, but form a category All monoids do not form a set, but form a category All graphs do not form a set, but form a category [1] http://math.ucr.edu/home/baez/rosetta.pdf http://math.ucr.edu/home/baez/rosetta.pdf