Abstract

Higher-dimensional algebra, also known as higher-dimensional category theory, is a large-scale contemporary effort to organise the contents of mathematics, that makes genuine contact with, and goes along the grain of, valued findings. It gives an account of the development of episodes from the past, and suggests lines for the future expansion of mathematics. In this paper I describe the power of this new language, and discuss some of the philosophical issues it raises