PlanetMath: canonical

(more info)

Math for the people, by the people.

Main Menu

canonical

(Definition)

A mathematical object is said to be canonical if it arises in a natural way without introducing any additional objects.

Suppose $A\times B$ is the Cartesian product of sets . Then $A\times B$ has two canonical projections $A\times B\to A$ and $A\times B\to B$ defined in a natural way. Of course, if we assume more structure of there are also other projections.
canonical projection (in group theory)

For a discussion of the theological use of canonical, see [1].

Bibliography

"canonical" is owned by mathcam. [ owner history (1) ]

(view preamble)

Log in to rate this entry.
(view current ratings)

Cross-references: theory, group, projections, structure, Cartesian product, object
There are 86 references to this entry.

This is version 3 of canonical, born on 2004-10-16, modified 2004-10-17.
Object id is 6379, canonical name is Canonical.
Accessed 7834 times total.

Classification:

00A20 (General :: General and miscellaneous specific topics :: Dictionaries and other general reference works)

Pending Errata and Addenda

None.[ View all 1 ]

Discussion

forum policy

Interact