As a category, has -dimensional compact oriented manifolds as objects and -dimensional oriented cobordisms between these as morphisms. It plays a fundamental role in TQFT.
For some purposes, we want to be an n-category, but this is less well understood.
Last revised on December 29, 2009 at 07:33:17. See the history of this page for a list of all contributions to it.