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

Projection operators on a linear space are precisely the idempotents. All these other examples are somewhat like linear projections in that they are projecting from a category to a subcategory.