category with duals (list of them)
dualizable object (what they have)
ribbon category, a.k.a. tortile category
monoidal dagger-category?
A bipermuatative category is a semistrict rig category. More concretely, it is a permutative category $(C, \oplus)$ with a second symmetric monoidal category structure $(C, \otimes)$ that distributes over $\oplus$, with, again, some of the coherence laws required to hold strictly.
(May, def. VI 3.3) (Elmendorf-Mandell, def. 3.6)
Every symmetric rig category is equivalent to a bipermutative category ([May, prop. VI 3.5]).
For $R$ a plain ring, regarded as a discrete rig category, it is a bipermutative category. The corresponding K-theory of a bipermutative category is ordinary cohomology with coefficients in $R$, given by the Eilenberg-MacLane spectrum $H R$.
Consider the category whose objects are the natural numbers and whose hom sets are
with $\Sigma_n$ being the symmetric group of permutations of $n$ elements. The two monoidal structures ar given by addition and multiplication of natural numbers. This is a bipermutative version of the $Core(FinSet)$, the core of the category FinSet of finite sets.
The corresponding K-theory of a bipermutative category is given by the sphere spectrum.
Last revised on July 15, 2013 at 19:59:40. See the history of this page for a list of all contributions to it.