show/hide this revision's text 1 [made Community Wiki]

The category of groupoids as a categorification of the ring of rational numbers. See this MO question and this n-category cafe post.