Skip to main content
16 events
when toggle format what by license comment
Nov 7, 2019 at 18:55 comment added Vincent R.B. Blazy To comment your last comment to user1728, I guess a key to formalizing this informal notion of naturality can be to consider the Objects in question already are merely all Definable (in the currently used Language). Here, none of your Isomorphisms between V and its Dual are so; unlike with its Double Dual.
Nov 3, 2019 at 19:47 comment added Tom Ellis I agree that mathematicians don't find my constructions interesting. There's an important reason for that. My constructions are not natural but the double dual construction is natural. I think we can all understand how the notion of "natural" applies here. But this notion of "natural" is purely informal. How can it be formalised? Is it even possible to formalise it? Until yesterday I thought the notion of "natural transformation" formalised it, but apparently it does not.
Nov 3, 2019 at 18:13 history edited user1728 CC BY-SA 4.0
deleted 4 characters in body
Nov 3, 2019 at 17:49 comment added Todd Trimble Thanks very much.
Nov 3, 2019 at 17:42 comment added user1728 @ToddTrimble I struck out the text where I misunderstood what you had written.
Nov 3, 2019 at 17:41 history edited user1728 CC BY-SA 4.0
deleted 17 characters in body
Nov 3, 2019 at 17:27 comment added Todd Trimble I think we agree on the fundamentals: that in order to make sense of an assertion that the identity functor is or isn't isomorphic to the dual functor, one must first be clear on what exactly the dual functor is, including how it is defined on morphisms. I would still appreciate it if you would strike through where you say (my objection) isn't fair, which you now agree isn't the case, but you've still let it stand in your answer. This could be confusing to some readers.
Nov 3, 2019 at 17:08 history edited user1728 CC BY-SA 4.0
added 198 characters in body
Nov 3, 2019 at 17:02 history edited user1728 CC BY-SA 4.0
added 198 characters in body
Nov 3, 2019 at 16:52 history edited user1728 CC BY-SA 4.0
added 198 characters in body
Nov 3, 2019 at 16:40 comment added Todd Trimble Yes, I agree with that. In some situations, one may add "coherence conditions" which can serve to pin down the "right" natural isomorphism, as for example the associativity isomorphism $\alpha: (X \otimes Y) \otimes Z \to X \otimes (Y \otimes Z)$, but that's of course something extra.
Nov 3, 2019 at 16:38 history edited user1728 CC BY-SA 4.0
added 103 characters in body
Nov 3, 2019 at 16:37 comment added user1728 Okay, I see what you mean now about your objection; I had read your answer too quickly. My mathematical point still stands, namely there could be many natural isomorphisms between two specific functors and pure logic alone does not explain why one of them is chosen to be "standard" or "canonical" over all the others.
Nov 3, 2019 at 16:25 comment added Todd Trimble It most certainly was a fair objection, and you mischaracterized what the objection was. It was that following the method of the OP, one defines two different functors from two different collections of isomorphisms. It wasn't that you couldn't get two different natural isomorphisms between two functors given in advance. In fact, if $\phi, \psi: F \to G$ are two different natural isomorphisms between $F, G$ given in advance, then one gets the same $G$ defined by conjugating $F$ by $\phi$ or by $\psi$ -- quite unlike the situation I was describing.
Nov 3, 2019 at 16:19 history edited user1728 CC BY-SA 4.0
deleted 1 character in body
Nov 3, 2019 at 16:13 history answered user1728 CC BY-SA 4.0