Here's another example: the functor which maps a group to its classifying space is a categorification of taking the reciprocal.
Todd Trimble
- 53.3k
- 6
- 205
- 322