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
1 hour 45 min ago
5 hours 57 min ago
18 hours 30 min ago
18 hours 32 min ago
19 hours 1 min ago
1 day 2 hours ago
1 day 2 hours ago
1 day 2 hours ago
1 day 13 hours ago
1 day 14 hours ago