Welcome to MathOverflow

Question

3

Coming off of this discussion, I'm wondering what the term "canonical" really means. In that thread, many suggested category theory as a way to formalize the concept of what "canonical" means, using the precise term "natural" (and, many suggested that the two were not the same thing). Beyond its formal equivalent in category theory, the word natural seems to have nothing other than an intuitive or even "theological" meaning.

However, I was wondering if there is some way to define the notion of canonical by using formal logic.

Here's my own idea: After all, when we choose something we have to use some sort of logical procedure. The notion of canonicity then might mean that there actually exists some logical way to pick out a particular element, morphism, etc. When there's no canonical choice, it might mean that there is no logical way to pick out one choice over another.

flag	asked Jun 4 2012 at 20:40 David Corwin 6,730●23●57

Might, but not always. – Will Sawin Jun 4 2012 at 20:54

4

There are two obviously logical ways of picking a shoe from a pair, neither seems canonical to me... – François G. Dorais♦ Jun 4 2012 at 21:20

1

I am more interested in the canonical definition of formal logic. – Mahmud Jun 4 2012 at 21:55

As far as i am concerned, a way to get an object from another, is 'canonical' if it is given by an "application" between the two class of object (application is between brackets only because thats between class and not between set and hence you have to have a precise notion off "class" to give a precise meaning to this definition). Natural mean that this application can be made into a functor. – Simon Henry Jun 4 2012 at 22:33

1

François makes an excellent point. To push it further: suppose I hand you a set X with two distinguished elements, x and y, and I ask you to choose an element of X. Depending on how you want to use words, you might say that there is no canonical choice, or that there are two canonical choices. But I guess everyone would agree that even if the rules "pick x" and "pick y" aren't completely canonical, they are in some sense more canonical than "pick an arbitrary element of X". – Tom Leinster Jun 5 2012 at 13:42

show 3 more comments

Can formal logic give a precise notion of “canonical”?

Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.