Shape theory in a bicategory
We interpret the collection of invertible bimodules as a groupoid and call it the Picard groupoid. We use this groupoid to generalize the classical construction of crossed products to what we call groupoid crossed products, and show that these coincide with the class of strongly groupoid graded rings. We then use groupoid crossed products to obtain a generalization from the group graded situation to the groupoid graded case of the bijection from a second cohomology group, defined by the grading...