  An important goal in studying the relations between unitary VOAs and
conformal nets is to prove the equivalence of their ribbon categories. In this
article, we prove this conjecture for many familiar examples. Our main idea is
to construct new structures associated to conformal nets: the categorical
extensions.
