Dear Category Theorists - I've written a paper on categorified gauge theory entitled "Higher Yang-Mills theory", which is available here: http://arXiv.org/abs/hep-th/0206130 Since it's supposed to be readable by physicists I never explicitly mentioned the word "2-category", but knowledgeable readers will see 2-categories staring them in the face everywhere. Best, John Baez Abstract - Electromagnetism can be generalized to Yang-Mills theory by replacing the group U(1) by a nonabelian Lie group. This raises the question of whether one can similarly generalize 2-form electromagnetism to a kind of "higher-dimensional Yang-Mills theory". It turns out that to do this, one should replace the Lie group by a "Lie 2-group", which is a category C where the set of objects and the set of morphisms are Lie groups, and the source, target, identity and composition maps are homomorphisms. We show that this is the same as a "Lie crossed module": a pair of Lie groups G,H with a homomorphism t: H -> G and an action of G on H satisfying two compatibility conditions. Following Breen and Messing's ideas on the geometry of nonabelian gerbes, one can define "principal 2-bundles" for any Lie 2-group C and do gauge theory in this new context. Here we only consider trivial 2-bundles, where a connection consists of a Lie(G)-valued 1-form together with an Lie(H)-valued 2-form, and its curvature consists of a Lie(G)-valued 2-form together with a Lie(H)-valued 3-form. We generalize the Yang-Mills action for this sort of connection, and use this to derive "higher Yang-Mills equations". Finally, we show that in certain cases these equations admit self-dual solutions in five dimensions. 18-Jun-2002 16:16:33 -0300,3517;000000000001-00000000