A refined functorial universal tangle invariant

The universal invariant with respect to a given ribbon Hopf algebra is a tangle invariant that dominates all the Reshetikhin-Turaev invariants built from the representation theory of the algebra. We construct a canonical strict monoidal functor that encodes the universal invariant of upwards tangles and refines the Kerler-Kauffman-Radford functorial invariant. Moreover, this functor preserves the braiding, twist and the open trace, the latter being a mild modification of Joyal-Street-Verity's notion of trace in a balanced category. We construct this functor using the more flexible XC-algebras, a class which contains both ribbon Hopf algebras and endomorphism algebras of representation of these.