Four‐dimensional topological quantum field theory, Hopf categories, and the canonical bases