Moved to http://www.monoidal.net/research.html.