Category Mech for mechanisms, and Incen for incentive-compatible mechanisms
Is this anything? (I don't know category theory)
a Schelling point for those who seek one