The Burnside bicategory of groupoids
  Several models for the Burnside bicategory of groupoids are described and shown to be equivalent. As observed by the late Gaunce Lewis, the corresponding Burnside category is additive. 
Haynes Miller
math.AT math.CT