'No arbitrary choices' intuition for natural transformation.Natural isomorphisms and the axiom of...
Slow Performance When Changing Object Data [2.8]
Tznius concerns by a Sota
Setting up the trap
If the mass of the Earth is decreasing by sending debris in space, does its angular momentum also decrease?
I found a password with hashcat but it doesn't work
No shading in ContourPlot3D
How do I find which software is doing an SSH connection?
「捨ててしまう」why is there two て’s used here?
Can a character learn spells from someone else's spellbook and then sell it?
Leaving job close to major deadlines
What is this airplane that sits in front of Barringer High School in Newark, NJ?
I have found ports on my Samsung smart tv running a display service. What can I do with it?
My student in one course asks for paid tutoring in another course. Appropriate?
Can the pre-order traversal of two different trees be the same even though they are different?
reverse a call to mmap()
Why isn't my calculation that we should be able to see the sun well beyond the observable universe valid?
How Hebrew Vowels Work
Teferi's Time Twist and Gideon's Sacrifice
How is the idea of "girlfriend material" naturally expressed in Russian?
Counterfeit checks were created for my account. How does this type of fraud work?
Need help understanding the double sharp turn in Chopin's prelude in e minor
Make symbols atomic, without losing their type
Print the new site header
What is that ceiling compartment of a Boeing 737?
'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 9 hours ago
Artem MalykhArtem Malykh
18310
$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 9 hours ago
Artem MalykhArtem Malykh
18310
$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 9 hours ago
Artem MalykhArtem Malykh
18310
$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 9 hours ago
Artem MalykhArtem Malykh
18310
asked 9 hours ago
Artem MalykhArtem Malykh
18310
asked 9 hours ago
Artem MalykhArtem Malykh
18310
asked 9 hours ago
Artem MalykhArtem Malykh
18310
asked 9 hours ago
Artem MalykhArtem Malykh
18310
18310
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 9 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 9 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 9 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 9 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 9 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 9 hours ago
Henning MakholmHenning Makholm
249k17321565
answered 9 hours ago
Henning MakholmHenning Makholm
249k17321565
answered 9 hours ago
Henning MakholmHenning Makholm
249k17321565
answered 9 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 9 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 9 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 9 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 9 hours ago
Ittay WeissIttay Weiss
64.8k7106189
answered 9 hours ago
Ittay WeissIttay Weiss
64.8k7106189
answered 9 hours ago
Ittay WeissIttay Weiss
64.8k7106189
answered 9 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