'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?
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?
$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
asked 8 hours ago
Artem MalykhArtem Malykh
17810
$endgroup$
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
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
asked 8 hours ago
Artem MalykhArtem Malykh
17810
$endgroup$
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
category-theory
asked 8 hours ago
Artem MalykhArtem Malykh
17810
asked 8 hours ago
Artem MalykhArtem Malykh
17810
asked 8 hours ago
Artem MalykhArtem Malykh
17810
asked 8 hours ago
Artem MalykhArtem Malykh
17810
asked 8 hours ago
Artem MalykhArtem Malykh
17810
17810
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 |
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
2
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
$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 |
2 Answers
2
active
oldest
votes
$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.
answered 8 hours ago
Henning MakholmHenning Makholm
249k17321565
$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.
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
);
);
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
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
Required, but never shown
2 Answers
2
active
oldest
votes
2 Answers
2
active
oldest
votes
active
oldest
votes
active
oldest
votes
$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.
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.
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.
answered 8 hours ago
Henning MakholmHenning Makholm
249k17321565
$endgroup$
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.
answered 8 hours ago
Henning MakholmHenning Makholm
249k17321565
answered 8 hours ago
Henning MakholmHenning Makholm
249k17321565
answered 8 hours ago
Henning MakholmHenning Makholm
249k17321565
answered 8 hours ago
Henning MakholmHenning Makholm
249k17321565
249k17321565
add a comment |
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.
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.
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.
answered 8 hours ago
Ittay WeissIttay Weiss
64.8k7106189
$endgroup$
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.
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
answered 8 hours ago
Ittay WeissIttay Weiss
64.8k7106189
64.8k7106189
add a comment |
add a comment |
Thanks for contributing an answer to Mathematics Stack Exchange!
- Please be sure to answer the question. Provide details and share your research!
But avoid …
- Asking for help, clarification, or responding to other answers.
- Making statements based on opinion; back them up with references or personal experience.
Use MathJax to format equations. MathJax reference.
To learn more, see our tips on writing great answers.
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
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
Required, but never shown
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
Required, but never shown
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
Required, but never shown
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
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
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