POV Holyoak KJ, Holland JH.
A category . Mathematics at first defines an abelian categories of category is a schema between zfc vs