Computation and the Periodic Table
By now there is an extensive network of interlocking analogies between physics, topology, logic and computer science, which can be seen most easily by comparing the roles that symmetric monoidal closed categories play in each subject. However, symmetric monoidal categories are just the n = 1, k = 3 entry of a hypothesized
â€œperiodic tableâ€ of ktuply monoidal ncategories. This raises the question of how these analogies extend. We present some thoughts on this question, focusing on how monoidal closed 2categories might let us understand the lambda calculus more deeply.
Link to the talk
via The nCategory Café

Recent comments
5 hours 29 min ago
6 hours 28 min ago
23 hours 33 min ago
4 days 18 hours ago
5 days 14 min ago
5 days 2 hours ago
5 days 12 hours ago
1 week 7 hours ago
1 week 1 day ago
1 week 1 day ago