tried to add proof of Frobenius algebra normal form, started the tale of n-categories