Category Mech for mechanisms, and Incen for incentive-compatible mechanisms

Is this anything? (I don't know category theory)