Refines a tangle invariant using XC-algebras.
problem Building a refined tangle invariant using XC-algebras.
method Constructing a canonical strict monoidal functor that refines the Kerler-Kauffman-Radford invariant.
result Preserves the braiding, twist, and open trace.