arXiv:1005.4559v3; 32 pages, numerous TikZ figures. DVI will not view correctly on all machines, PDF is preferred. This paper is a reworking of material which had appeared in older versions on 1001.2020; v2, added minisculity hypothesis to results on functoriality and added example of an infinite dimensional invariant; v3 corrected typos and added section on canonical basis