Alexander Campbell is an Australian higher category theorist. On gerbes in nonabelian cohomology via tricategories: On the straightening theorem: In a model category Quillen equivalent to the canonical model structure on 2-categories: