In this paper, we describe a canopolis (i.e. categorified planar algebra)
formalism for Khovanov and Rozansky's link homology theory. We show how this
allows us to organize simplifications in the matrix factorizations appearing in
their theory. In particular, it will put the equivalence of the original
definition of Khovanov-Rozansky homology and the definition using Soergel
bimodules in a more general context, allow us to give a new proof of the
invariance of triply graded homology and give new analysis of the behavior of
triply graded homology under the Reidemeister IIb move.Comment: 24 pages, 7 figures. v3: edited introduction and fixed diagram 1,
plus minor change