Bicategories, categorification and quantum theory: pre-registration open