In today’s post I will introduce the notion of pivotal categories, for which the double dual of an object is equivalent to the object itself, and the concept of a balanced structure or “twist”, which then leads to the notion of ribbon categories, where an equality of morphisms is true if it holds as an isotopy of ribbons in 3D space. Here are the axioms for a ribbon category expressed as an isotopy of ribbons.
