4.1 Categories and Functors 4.1.1 Categories

  title={4.1 Categories and Functors 4.1.1 Categories},
  author={Marvin Minsky},
Categories, or an equivalent notion, have already been secretly introduced as ologs. One can think of a category as a graph (as in Section 3.3) in which certain paths have been declared equivalent. (Ologs demand an extra requirement that everything in sight be readable in natural language, and this cannot be part of the mathematical definition of category.) The formal definition of category is given in Definition, but it will not be obviously the same as the “graph+path equivalences… CONTINUE READING