Formal Brauer groups arising from certain weighted K3 surfaces The exact sequence \(Pic({\mathcal C})\to Pic({\mathcal C}')\to K_1A(F)\to B({\mathcal C})\to B(C')\) for a monoidal functor between closed categories 