added frobenius diagrams
added sketch of frobenius algebra proof, removed junk, added italics to diagrams