| |
| | IMA 2004 Summer Program: n-Categories: Foundations and Applications, June 7-18, 2004 |
 | | We hope to develop a clear language of higher category theory that, like the original language of categories, functors, and natural transformations, can be accepted, understood, and worked with by mathematicians in general, whether algebraic geometers, logicians, algebraic topologists, mathematical physicists, or theoretical computer scientists. |
| | In contrast to the introduction of categories, functors, and natural transformations, which could successfully be carried out by two authors in one paper, the development of higher category theory is technically very difficult mathematics. |
| | Higher category theory concerns higher level notions of naturality, which can be expressed as maps between natural transformations, maps between such maps. |
| www.ima.umn.edu /categories (612 words) |
|
