Category with ⊗ bifunctor + unit I + associator/unitor coherence. String diagrams. Braided, symmetric, ribbon variants. Basis of TQFT, quantum groups.
Category with ⊗ bifunctor + unit I + associator/unitor coherence. String diagrams. Braided, symmetric, ribbon variants. Basis of TQFT, quantum groups.