Canonical projection

from Wikipedia, the free encyclopedia

In mathematics, canonical projection stands for:

  • the mapping of a tuple onto a tuple component, see projection (set theory)
  • the mapping of an element of a set to its equivalence class, see quotient mapping