Baez is also a noted category theoretician - I need to get around to reading https://link.springer.com/chapter/10.1007%2F978-3-642-12821-9_2 https://link.spring

Baez is also a noted category theoretician - I need to get around to reading https://link.springer.com/chapter/10.1007%2F978-3-642-12821-9_2 https://link.springer.com/chapter/10.1007%2F978-3-642-12821-..., where he claims to find the conceptual framework unifying analogies behind physics, topology, logic, and computation. Discussion: https://news.ycombinator.com/item?id=15423027 https://news.ycombinator.com/item?id=15423027