Johnson-Freyd-Ostrik-Yu Question on Categorical Cocycles
Prior state unknown→proved
answered for 3-cocycles, inside a broader partial classification of twisted Deligne products
SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review