Todd Trimble
Frobenius reciprocity implies Frobenius laws

String diagram calculation that shows that in a bicategory of relations, Frobenius reciprocity implies the Frobenius laws. The basic calculation can be generalized quite a bit. See here

Created on August 11, 2011 at 06:17:35 by Todd Trimble