My definition of higher dimensional algebra is that it is the study and application of algebraic theories with partial algebraic structures whose domains are defined by geometric conditions. I think the first study of such partial algebraic structures was in
Higgins, P.~J. "Algebras with a scheme of operators". *Math*. *Nachr*. **27** (1963) 115--132.

The intuitive idea is also: do mathematical formulae have to be confined to a line? Can we have and use formulae in 2 or 3 or many dimensions? and can this be useful? If so we can expect to need rewriting of such formulae, and indeed this exists and is useful. You can find many 2-dimensional rewrites in the new book Nonabelian Algebraic Topology (European Mathematical Society, 2011), and with a pdf available. See for example the **rotations** in section 6.4, used in this mathoverflow answer on computing homotopies.

Those who have read Flatland will remember that the Linelanders had a rather limited existence! Can we really think that the brain works in one dimension only?

I mention that the idea of all this occurred to me in 1965 when I thought that the proof I had written out many times for the van Kampen Theorem for the fundamental groupoid should generalise to higher dimensions, if one had the right gadgets, seen as higher homotopy groupoids. 9 years later: whoopee! (work with Chris Spencer and with Philip Higgins). The first joint papers with Philip were published in 1978 and 1981.

Note that group objects in the category of groups are just abelian groups. But double groupoids, which are groupoid objects in the category of groupoids, are much more complicated than groups, and can model $2$-dimensional homotopical notions.

You can find presentations on some of these ideas on my preprint page, and I have even presented them to a conference on Theoretical Neuroscience in Delhi in 2003, which went down well! arXiv:math/0306223

For my purposes I have needed a cubical context, which is not commonly followed, but in which it was easier to conjecture and prove the theorems I was thinking of. But the definition above seems quite general, and allows for a melding of algebra and geometry.

I also believe that Henry Whitehead's term `Combinatorial homotopy' and his actual work show he was thinking of generalising some methods of combinatorial group theory to higher dimensions. His notion of crossed module (1946) has proved an important feature of such ideas, and crossed modules later appeared in a key relations with $2$-groups and more generally with double groupoids.

In another direction the following diagram

occurs in this paper on double semigroups.