# nLab spherical category

### Context

#### Monoidal categories

monoidal categories

# Spherical categories

## Idea

A spherical category is a monoidal category with duals that behaves as if its morphisms can be drawn and moved around on a sphere.

## Definition

A spherical category is a pivotal category where the left and right trace operations coincide on all objects.

## References

The definition is originally due to

A review is in section 2.3 of

• Michael Müger, From Subfactors to Categories and Topology I. Frobenius algebras in and Morita equivalence of tensor categories (arXiv:0111204)

More is in

Revised on November 17, 2014 23:09:30 by Urs Schreiber (217.155.201.6)