Section 2 and 4

Updated Section 2 on partial tensor categories, small changes in
TK-section 4