CatGloss
This is an essentially arrow - theoretic idea