It is a classical result that groupoids model homotopy 1-types, in the sense
that there is an equivalence between the homotopy categories, via the
classifying space and fundamental groupoid functors. We extend this to stable
homotopy 1-types and Picard groupoids.