*Higher* category theory has been of great interest to a certain kind of physicist, not just string theorists, for some years. The central place where they commune is at the n-category café <https://golem.ph.utexas.edu/category/> and its ancillary site n-lab <http://ncatlab.org/nlab/show/HomePage>. Lately some higher category theorists have done a lot of work on homotopy type theory. Charles On Wed, Jan 28, 2015 at 6:59 PM, Michael Barr <barr@math.mcgill.ca> wrote:
A book of that name by David I. Spivak, Mathematics at MIT was recently published by the MIT Press. Has anyone seen it? Did it seem interesting. I wonder what kind of science outside of string theory would find CT useful.
Michael
[For admin and other information see: http://www.mta.ca/~cat-dist/ ]