bigroupoid valued functors