Computation and the Periodic Table

You can't request more than 20 challenges without solving them. Your previous challenges were flushed.
Courtesy Lambda the Ultimate - Programming Languages Weblog  Fri, 06/20/2008 - 07:36

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 k-tuply monoidal n-categories.

This raises the question of how these analogies extend. We present some thoughts on this question, focusing on how monoidal closed...

Tags:

 

More related items

This Week’s Ruby News: Ruby 1.9.3p0, OmniAuth 1.0,...
The rapid descent of the weather towards winter is getting people to stay in and code and long may it continue given the quality of this week's releases: OmniAuth 1.0, MagLev 1.0, and Ruby...

A Lambda Calculus for Real Analysis
A Lambda Calculus for Real Analysis Abstract Stone Duality is a revolutionary paradigm for general topology that describes computable continuous functions directly, without using set theory,...

Pattern Calculus
Barry Jay has recently published a book on the Pattern Calculus (which has been discussed before). The pattern calculus is a new foundation for computation, in which the expressive power of...


 

Post new comment

The content of this field is kept private and will not be shown publicly.
computer-internet.marc8.com