... equations only." On the other hand the structures are such that they can be defined in any category which has finite products. Examples Groups To see how this ...