Xjyuk

Umlaut character order when sorting

Synaptic Static - when to roll the d6?

Leaving job close to major deadlines

How to best clean this sealed rotary encoder / volume knob?

Densest sphere packing

In a list with unique pairs A, B, how can I sort them so that the last B is the first A in the next pair?

How to make all magic-casting innate, but still rare?

How can I restore a master database from its bak file?

Scaling an object to change its key

What is this plant I saw for sale at a Romanian farmer's market?

reverse a call to mmap()

Is there a term for the belief that "if it's legal, it's moral"?

How Hebrew Vowels Work

Unrecognized IC Package Style

What is the "ls" directory in my home directory?

Mapping with iterating uint as identifier - multiple transactions in the same block

How much steel armor can you wear and still be able to swim?

Why there is a red color in right side?

Syntax and semantics of XDV commands (XeTeX)

Why is it 出差去 and not 去出差?

Setting up the trap

Elementary, my dear …

Can a character learn spells from someone else's spellbook and then sell it?

"Prove that ∂A is closed given ∂A = Cl(A) − Int(A)"

'No arbitrary choices' intuition for natural transformation.

Natural isomorphisms and the axiom of choicenatural isomorphism in linear algebraDo Natural transformations make 'God given' precise?Prove that the isomorphism between vector spaces and their duals is not naturalVisualizing the correspondence between linear maps and matrices as a natural isomorphism.Why this intuition about natural transformations corresponds to its formal definition?Natural isomorphism are base independent isomorphisms?What is so special about natural isomorphism?understanding natural transformations that are not natural isomorphismsA covariant functor sending every finite-dimensional vector space to its dual?

3

$begingroup$

One of the most frequent examples for natural transformation is the natural isomorphism between vector spaces and their double duals given by evaluation map
$$v to eval_v$$
and it is given in contrast of isomorphism between $V$ and $V^*$ where for construction of isomorphism we should choose some basis. But aren't we making arbitrary choice in natural case too when we opt to do
$$v to eval_v$$ instead of, for example
$$v to 2 eval_v$$
? Can someone elaborate, what am I missing here and why one choice is more arbitrary than the other?

category-theory

share|cite|improve this question

asked 8 hours ago

Artem MalykhArtem Malykh

17810

$endgroup$

• 
  
  
  

  
  2
  

  
  
  
  
  
  

  
  $begingroup$
  It's certainly not true in any reasonable sense that a natural transformation is one that "makes no arbitrary choices". This is at best a very loose intuition.
  $endgroup$
  – Eric Wofsey
  8 hours ago
  

  
  
  
  

add a comment | 

3

$begingroup$

One of the most frequent examples for natural transformation is the natural isomorphism between vector spaces and their double duals given by evaluation map
$$v to eval_v$$
and it is given in contrast of isomorphism between $V$ and $V^*$ where for construction of isomorphism we should choose some basis. But aren't we making arbitrary choice in natural case too when we opt to do
$$v to eval_v$$ instead of, for example
$$v to 2 eval_v$$
? Can someone elaborate, what am I missing here and why one choice is more arbitrary than the other?

category-theory

share|cite|improve this question

asked 8 hours ago

Artem MalykhArtem Malykh

17810

$endgroup$

• 
  
  
  

  
  2
  

  
  
  
  
  
  

  
  $begingroup$
  It's certainly not true in any reasonable sense that a natural transformation is one that "makes no arbitrary choices". This is at best a very loose intuition.
  $endgroup$
  – Eric Wofsey
  8 hours ago
  

  
  
  
  

add a comment | 

$begingroup$

One of the most frequent examples for natural transformation is the natural isomorphism between vector spaces and their double duals given by evaluation map
$$v to eval_v$$
and it is given in contrast of isomorphism between $V$ and $V^*$ where for construction of isomorphism we should choose some basis. But aren't we making arbitrary choice in natural case too when we opt to do
$$v to eval_v$$ instead of, for example
$$v to 2 eval_v$$
? Can someone elaborate, what am I missing here and why one choice is more arbitrary than the other?

category-theory

share|cite|improve this question

asked 8 hours ago

Artem MalykhArtem Malykh

17810

$endgroup$

share|cite|improve this question

asked 8 hours ago

Artem MalykhArtem Malykh

17810

share|cite|improve this question

asked 8 hours ago

Artem MalykhArtem Malykh

17810

asked 8 hours ago

Artem MalykhArtem Malykh

17810

asked 8 hours ago

Artem MalykhArtem Malykh

17810

2 Answers
2

active

oldest

votes

4

$begingroup$

You could map to twice the evaluation morphism, and that would give you a different natural transformation. But if you do that, you need to do it everywhere, or the connecting morphisms wouldn't match up in the required way.

So the intuition is actually that there's no room for making a new independent arbitrary choice for each object.

share|cite|improve this answer

answered 8 hours ago

Henning MakholmHenning Makholm

249k17321565

$endgroup$

add a comment | 

2

$begingroup$

A mathematically precise notion of natural transformation in full generality is given by category theory. I won’t get into the details here but you can find the details in any textbook (e.g., Category Theory in Context, available online). The gist is that the morphisms, in your case linear transformations, are part and parcel of a construction being natural or not. In this case, the natural isomorphism between a finite dimensional vector space and its double dual is such that that particular choice is coherently compatible with all of the linear transformations in existence. Intuitively, if a construction depends on arbitrary choices, then those choices will sabotage this compatibility for at least one linear transformation. Again, details in any textbook.

share|cite|improve this answer

answered 8 hours ago

Ittay WeissIttay Weiss

64.8k7106189

$endgroup$

add a comment | 

Your Answer

StackExchange.ready(function()
var channelOptions =
tags: "".split(" "),
id: "69"
;
initTagRenderer("".split(" "), "".split(" "), channelOptions);

StackExchange.using("externalEditor", function()
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled)
StackExchange.using("snippets", function()
createEditor();
);

else
createEditor();

);

function createEditor()
StackExchange.prepareEditor(
heartbeatType: 'answer',
autoActivateHeartbeat: false,
convertImagesToLinks: true,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
imageUploader:
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
,
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
);



);

draft saved

draft discarded

Sign up or log in

StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);

Sign up using Google

Sign up using Facebook

Sign up using Email and Password

Post as a guest

Name

Email

Required, but never shown

StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3264690%2fno-arbitrary-choices-intuition-for-natural-transformation%23new-answer', 'question_page');

);

Post as a guest

Name

Email

Required, but never shown

4

$begingroup$

You could map to twice the evaluation morphism, and that would give you a different natural transformation. But if you do that, you need to do it everywhere, or the connecting morphisms wouldn't match up in the required way.

So the intuition is actually that there's no room for making a new independent arbitrary choice for each object.

share|cite|improve this answer

answered 8 hours ago

Henning MakholmHenning Makholm

249k17321565

$endgroup$

add a comment | 

4

$begingroup$

You could map to twice the evaluation morphism, and that would give you a different natural transformation. But if you do that, you need to do it everywhere, or the connecting morphisms wouldn't match up in the required way.

So the intuition is actually that there's no room for making a new independent arbitrary choice for each object.

share|cite|improve this answer

answered 8 hours ago

Henning MakholmHenning Makholm

249k17321565

$endgroup$

add a comment | 

$begingroup$

You could map to twice the evaluation morphism, and that would give you a different natural transformation. But if you do that, you need to do it everywhere, or the connecting morphisms wouldn't match up in the required way.

So the intuition is actually that there's no room for making a new independent arbitrary choice for each object.

share|cite|improve this answer

answered 8 hours ago

Henning MakholmHenning Makholm

249k17321565

$endgroup$

share|cite|improve this answer

answered 8 hours ago

Henning MakholmHenning Makholm

249k17321565

answered 8 hours ago

Henning MakholmHenning Makholm

249k17321565

answered 8 hours ago

Henning MakholmHenning Makholm

249k17321565

2

$begingroup$

A mathematically precise notion of natural transformation in full generality is given by category theory. I won’t get into the details here but you can find the details in any textbook (e.g., Category Theory in Context, available online). The gist is that the morphisms, in your case linear transformations, are part and parcel of a construction being natural or not. In this case, the natural isomorphism between a finite dimensional vector space and its double dual is such that that particular choice is coherently compatible with all of the linear transformations in existence. Intuitively, if a construction depends on arbitrary choices, then those choices will sabotage this compatibility for at least one linear transformation. Again, details in any textbook.

share|cite|improve this answer

answered 8 hours ago

Ittay WeissIttay Weiss

64.8k7106189

$endgroup$

add a comment | 

2

$begingroup$

A mathematically precise notion of natural transformation in full generality is given by category theory. I won’t get into the details here but you can find the details in any textbook (e.g., Category Theory in Context, available online). The gist is that the morphisms, in your case linear transformations, are part and parcel of a construction being natural or not. In this case, the natural isomorphism between a finite dimensional vector space and its double dual is such that that particular choice is coherently compatible with all of the linear transformations in existence. Intuitively, if a construction depends on arbitrary choices, then those choices will sabotage this compatibility for at least one linear transformation. Again, details in any textbook.

share|cite|improve this answer

answered 8 hours ago

Ittay WeissIttay Weiss

64.8k7106189

$endgroup$

add a comment | 

$begingroup$

A mathematically precise notion of natural transformation in full generality is given by category theory. I won’t get into the details here but you can find the details in any textbook (e.g., Category Theory in Context, available online). The gist is that the morphisms, in your case linear transformations, are part and parcel of a construction being natural or not. In this case, the natural isomorphism between a finite dimensional vector space and its double dual is such that that particular choice is coherently compatible with all of the linear transformations in existence. Intuitively, if a construction depends on arbitrary choices, then those choices will sabotage this compatibility for at least one linear transformation. Again, details in any textbook.

share|cite|improve this answer

answered 8 hours ago

Ittay WeissIttay Weiss

64.8k7106189

$endgroup$

share|cite|improve this answer

answered 8 hours ago

Ittay WeissIttay Weiss

64.8k7106189

answered 8 hours ago

Ittay WeissIttay Weiss

64.8k7106189

answered 8 hours ago

Ittay WeissIttay Weiss

64.8k7106189