|
Canonical--an adjective derived from canon--essentially means "standard" or "generally accepted" or "part of the backstory."
Religion
This word is used by theologians and canon lawyers to refer to the canons of the Eastern Orthodox and Roman Cathlolic churches, adopted by ecumenical councils. It also means "part of the canon", i.e., one of the books composing the Bible, as opposed to apocryphal books.
Literature and art
It is used most often when describing bodies of literature or art: those books that all educated people have read comprise the "canon". (See also canon (fiction)), or as a popular term in computing jargon (where it has the same basic meaning).
Mathematics
Mathematicians have for perhaps a century or more used the word canonical to refer to concepts that have a kind of uniqueness or naturalness, and are (up to trivial aspects) "independent of coordinates." Examples include the canonical prime factorization of positive integers, the Jordan canonical form of matrices (which is built out of the irreducible factors of the characteristic polynomial of the matrix), and the canonical decomposition of a permutation into a product of disjoint cycles. Various functions in mathematics are also canonical, like the canonical homomorphism of a group onto any of its quotient groups, or the canonical isomorphism between a finite-dimensional vector space and its double dual. Although a finite-dimensional vector space and its dual space are isomorphic, there is no canonical isomorphism. (This lack of a canonical isomorphism can be made precise in terms of category theory, but one could say at a simpler level that "any isomorphism you can think of here depends on choosing a basis.")
Being canonical in mathematics is stronger than being a conventional choice. For instance, the vector space Rn
has a standard basis which consists of vectors with 1 in one coordinate and 0 elsewhere. But this is not at all "canonical." It is
just a choice which makes certain calculations on vectors easy, but most linear operators on Euclidean space only take on an especially
simple form when written as a matrix relative to some basis other than the standard one.
Computer science
Some circles in the field of computer science have borrowed this usage from mathematicians. It has come to mean "the usual or standard state or manner of something"; for example, "the canonical way to organize a file system is as a hierarchy, with extensions to make it a directed graph". For an illuminating story about the word's use among computer scientists, see the Jargon File's entry for the word[1] (http://catb.org/~esr/jargon/html/C/canonical.html).
Some computer scientists have been known to use the word canonicality; others use canonicity. In fields other than computer science, canonicity is this word's canonical form.
| 
