We observe simple links between preorders, semi-groups, rings and categories (and between equivalence relations, groups, elds and groupoids), which are in nitely de nable in an arbitrary structure, and apply these observations to small structures. Recall that a structure is small if it has countably many pure n-types for each integer n. A category de ned by a pure n-type in a small structure is...