Limit (category Theory) - A Note On Terminology

A Note On Terminology

Older terminology referred to limits as "inverse limits" or "projective limits," and to colimits as "direct limits" or "inductive limits." This has been the source of a lot of confusion.

There are several ways to remember the modern terminology. First of all,

  • cokernels,
  • coequalizers, and
  • codomains

are types of colimits, whereas

  • kernels,
  • equalizers, and
  • domains

are types of limits. Second, the prefix "co" implies "first variable of the ". Terms like "cohomology" and "cofibration" all have a slightly stronger association with the first variable, i.e., the contravariant variable, of the bifunctor.

Read more about this topic:  Limit (category Theory)

Famous quotes containing the word note:

    In it he proves that all things are true and states how the truths of all contradictions may be reconciled physically, such as for example that white is black and black is white; that one can be and not be at the same time; that there can be hills without valleys; that nothingness is something and that everything, which is, is not. But take note that he proves all these unheard-of paradoxes without any fallacious or sophistical reasoning.
    Savinien Cyrano De Bergerac (1619–1655)