Realized that they only talk about autonomous categories, not compact closed categories, so I edited the article to reflect this.
Cole
]]>fixed typo
Cole
]]>fixed typo
Cole
]]>Added description of compact closed category. This took me so much time to find out about, so I figured I would save a future PhD student lots of time. Couldn’t find a better reference other than this youtube video from 2010.
Cole
]]>I have changed the first sentence from
A Frobenius pseudomonoid is the categorification of a Frobenius algebra.
to
]]>The concept of Frobenius pseudomonoid is the categorification of that of Frobenius algebra.
Created Frobenius pseudomonoid (i.e. -autonomous pseudomonoid).
]]>