1. Functors into categories ofM-sets
2. Categories of actions and Morita equivalence
3. Freyd , P. J. , Scedrov , A. ( 1990 ).Categories, Allegories.North-Holland .
4. Grandis , M. ( 1976 ). Canonical preorder and congruence in orthodox semigroups and categories (Orthodox categories 1).Boll. Un. Mat. Ital.13-B:634–650 .
5. Grandis , M. ( 1990 ). Cohesive categories and manifolds.Ann. di Mat. Pura Appl.157:199–244. Errata corrigeibid179:471–472, 2001 .