There is a natural morphism $limlimits_{longleftarrow} beta to limlimits_{longleftarrow} beta circ...
up vote
2
down vote
favorite
This is from Categories & Sheaves by Kashiwara & Schapira.
$$text{Hom}_{text{Set}}(X, lim_{leftarrow} beta) xrightarrow{sim} lim_{leftarrow} text{Hom}_{text{Set}}(X, beta) tag{2.1.1}$$
Here's the exercise:
Let $varphi : J to I$ and $beta : I^{op} to text{Set}$ be
functors. Denote by $varphi^{op} : J^{op} to I^{op}$ the associated
functor. Using (2.1.1), we get a natural morphism:
$$ lim_{longleftarrow} beta to lim_{longleftarrow}beta circvarphi^{op} $$
Firstly, I don't see how the left or right is a functor so how can we speak of the natural map?
Secondly, how do you make the map? If we have a natural map $a in limlimits_{longleftarrow} beta$ such that $beta(f) circ a_i = a_j$ for any $f : j to i$ in $I$, I'm not seeing how this should work.
category-theory limits-colimits functors hom-functor
|
show 1 more comment
up vote
2
down vote
favorite
This is from Categories & Sheaves by Kashiwara & Schapira.
$$text{Hom}_{text{Set}}(X, lim_{leftarrow} beta) xrightarrow{sim} lim_{leftarrow} text{Hom}_{text{Set}}(X, beta) tag{2.1.1}$$
Here's the exercise:
Let $varphi : J to I$ and $beta : I^{op} to text{Set}$ be
functors. Denote by $varphi^{op} : J^{op} to I^{op}$ the associated
functor. Using (2.1.1), we get a natural morphism:
$$ lim_{longleftarrow} beta to lim_{longleftarrow}beta circvarphi^{op} $$
Firstly, I don't see how the left or right is a functor so how can we speak of the natural map?
Secondly, how do you make the map? If we have a natural map $a in limlimits_{longleftarrow} beta$ such that $beta(f) circ a_i = a_j$ for any $f : j to i$ in $I$, I'm not seeing how this should work.
category-theory limits-colimits functors hom-functor
Surely there must be additional conditions on $phi$? This would certainly fail if, for example, $J$ was the empty category, since it would imply that every limit is the terminal object, and thus that every set is a singleton.
– Arnaud D.
Jun 12 at 14:36
1
Which exercise is this? Regarding the issue of how both sides are functors, in the book they also refer to the functor $Xmapsto lim mathrm{hom}(X,beta)$ as $lim beta$, which in the case the limit exists in the respective category is the Yoneda embedding of the limit.
– asdq
Jun 12 at 14:51
It's on page 36.
– Roll up and smoke Adjoint
Jun 12 at 14:53
On page 36, I read a natural morphism (not isomorphism). If $C$ has all $I$-limits, you can make $varprojlimbeta$ a functor of $beta$, in other words $varprojlim:operatorname{Fun}(I,C)to C$. Similarly if $C$ has all $J$ limits, you have a functor $operatorname{Fun}(I,C)to C$ such that $betamapstovarprojlimbetacircvarphi^{op}$. The claim is that this is a natural transformation.
– Roland
Jun 12 at 17:12
@Roland I see that part now, thank you. How do I show that there is a map between the two though?
– Roll up and smoke Adjoint
Jun 12 at 17:49
|
show 1 more comment
up vote
2
down vote
favorite
up vote
2
down vote
favorite
This is from Categories & Sheaves by Kashiwara & Schapira.
$$text{Hom}_{text{Set}}(X, lim_{leftarrow} beta) xrightarrow{sim} lim_{leftarrow} text{Hom}_{text{Set}}(X, beta) tag{2.1.1}$$
Here's the exercise:
Let $varphi : J to I$ and $beta : I^{op} to text{Set}$ be
functors. Denote by $varphi^{op} : J^{op} to I^{op}$ the associated
functor. Using (2.1.1), we get a natural morphism:
$$ lim_{longleftarrow} beta to lim_{longleftarrow}beta circvarphi^{op} $$
Firstly, I don't see how the left or right is a functor so how can we speak of the natural map?
Secondly, how do you make the map? If we have a natural map $a in limlimits_{longleftarrow} beta$ such that $beta(f) circ a_i = a_j$ for any $f : j to i$ in $I$, I'm not seeing how this should work.
category-theory limits-colimits functors hom-functor
This is from Categories & Sheaves by Kashiwara & Schapira.
$$text{Hom}_{text{Set}}(X, lim_{leftarrow} beta) xrightarrow{sim} lim_{leftarrow} text{Hom}_{text{Set}}(X, beta) tag{2.1.1}$$
Here's the exercise:
Let $varphi : J to I$ and $beta : I^{op} to text{Set}$ be
functors. Denote by $varphi^{op} : J^{op} to I^{op}$ the associated
functor. Using (2.1.1), we get a natural morphism:
$$ lim_{longleftarrow} beta to lim_{longleftarrow}beta circvarphi^{op} $$
Firstly, I don't see how the left or right is a functor so how can we speak of the natural map?
Secondly, how do you make the map? If we have a natural map $a in limlimits_{longleftarrow} beta$ such that $beta(f) circ a_i = a_j$ for any $f : j to i$ in $I$, I'm not seeing how this should work.
category-theory limits-colimits functors hom-functor
category-theory limits-colimits functors hom-functor
edited Jun 12 at 17:47
asked Jun 12 at 14:30
Roll up and smoke Adjoint
8,96752357
8,96752357
Surely there must be additional conditions on $phi$? This would certainly fail if, for example, $J$ was the empty category, since it would imply that every limit is the terminal object, and thus that every set is a singleton.
– Arnaud D.
Jun 12 at 14:36
1
Which exercise is this? Regarding the issue of how both sides are functors, in the book they also refer to the functor $Xmapsto lim mathrm{hom}(X,beta)$ as $lim beta$, which in the case the limit exists in the respective category is the Yoneda embedding of the limit.
– asdq
Jun 12 at 14:51
It's on page 36.
– Roll up and smoke Adjoint
Jun 12 at 14:53
On page 36, I read a natural morphism (not isomorphism). If $C$ has all $I$-limits, you can make $varprojlimbeta$ a functor of $beta$, in other words $varprojlim:operatorname{Fun}(I,C)to C$. Similarly if $C$ has all $J$ limits, you have a functor $operatorname{Fun}(I,C)to C$ such that $betamapstovarprojlimbetacircvarphi^{op}$. The claim is that this is a natural transformation.
– Roland
Jun 12 at 17:12
@Roland I see that part now, thank you. How do I show that there is a map between the two though?
– Roll up and smoke Adjoint
Jun 12 at 17:49
|
show 1 more comment
Surely there must be additional conditions on $phi$? This would certainly fail if, for example, $J$ was the empty category, since it would imply that every limit is the terminal object, and thus that every set is a singleton.
– Arnaud D.
Jun 12 at 14:36
1
Which exercise is this? Regarding the issue of how both sides are functors, in the book they also refer to the functor $Xmapsto lim mathrm{hom}(X,beta)$ as $lim beta$, which in the case the limit exists in the respective category is the Yoneda embedding of the limit.
– asdq
Jun 12 at 14:51
It's on page 36.
– Roll up and smoke Adjoint
Jun 12 at 14:53
On page 36, I read a natural morphism (not isomorphism). If $C$ has all $I$-limits, you can make $varprojlimbeta$ a functor of $beta$, in other words $varprojlim:operatorname{Fun}(I,C)to C$. Similarly if $C$ has all $J$ limits, you have a functor $operatorname{Fun}(I,C)to C$ such that $betamapstovarprojlimbetacircvarphi^{op}$. The claim is that this is a natural transformation.
– Roland
Jun 12 at 17:12
@Roland I see that part now, thank you. How do I show that there is a map between the two though?
– Roll up and smoke Adjoint
Jun 12 at 17:49
Surely there must be additional conditions on $phi$? This would certainly fail if, for example, $J$ was the empty category, since it would imply that every limit is the terminal object, and thus that every set is a singleton.
– Arnaud D.
Jun 12 at 14:36
Surely there must be additional conditions on $phi$? This would certainly fail if, for example, $J$ was the empty category, since it would imply that every limit is the terminal object, and thus that every set is a singleton.
– Arnaud D.
Jun 12 at 14:36
1
1
Which exercise is this? Regarding the issue of how both sides are functors, in the book they also refer to the functor $Xmapsto lim mathrm{hom}(X,beta)$ as $lim beta$, which in the case the limit exists in the respective category is the Yoneda embedding of the limit.
– asdq
Jun 12 at 14:51
Which exercise is this? Regarding the issue of how both sides are functors, in the book they also refer to the functor $Xmapsto lim mathrm{hom}(X,beta)$ as $lim beta$, which in the case the limit exists in the respective category is the Yoneda embedding of the limit.
– asdq
Jun 12 at 14:51
It's on page 36.
– Roll up and smoke Adjoint
Jun 12 at 14:53
It's on page 36.
– Roll up and smoke Adjoint
Jun 12 at 14:53
On page 36, I read a natural morphism (not isomorphism). If $C$ has all $I$-limits, you can make $varprojlimbeta$ a functor of $beta$, in other words $varprojlim:operatorname{Fun}(I,C)to C$. Similarly if $C$ has all $J$ limits, you have a functor $operatorname{Fun}(I,C)to C$ such that $betamapstovarprojlimbetacircvarphi^{op}$. The claim is that this is a natural transformation.
– Roland
Jun 12 at 17:12
On page 36, I read a natural morphism (not isomorphism). If $C$ has all $I$-limits, you can make $varprojlimbeta$ a functor of $beta$, in other words $varprojlim:operatorname{Fun}(I,C)to C$. Similarly if $C$ has all $J$ limits, you have a functor $operatorname{Fun}(I,C)to C$ such that $betamapstovarprojlimbetacircvarphi^{op}$. The claim is that this is a natural transformation.
– Roland
Jun 12 at 17:12
@Roland I see that part now, thank you. How do I show that there is a map between the two though?
– Roll up and smoke Adjoint
Jun 12 at 17:49
@Roland I see that part now, thank you. How do I show that there is a map between the two though?
– Roll up and smoke Adjoint
Jun 12 at 17:49
|
show 1 more comment
2 Answers
2
active
oldest
votes
up vote
3
down vote
accepted
Let's dispense with all the duals and the values taken in a particular category, which are obscuring the situation a bit. If $D:Jto C$, $u:Ito J$ are functors such that $C$ admits limits of shapes $I$ and $J$, the claim is that we have a natural map $mathrm{lim} Dto mathrm{lim}(Dcirc u)$. For any $iin I$, we must give a map $mathrm{lim} Dto D(u(i))$.
Now, along with $mathrm{lim} D$ we are given a cone $lambda$ with components $lambda_j:mathrm{lim} Dto D(j)$. So the natural guess for the desired map is $lambda_{u(i)}$. To prove that these components determine a map into $mathrm{lim}(Dcirc u)$ as desired, we have only to check that $(Dcirc u)(f)circ lambda_{u(i)}=lambda_{u(i')}$ for every $f:ito i'$ in $I$. But this is simply an instantiation of the assumption that $lambda$ forms a cone.
add a comment |
up vote
0
down vote
This proof uses just the definition of $limlimits_{leftarrow} beta = text{Hom}_{I^{wedge}}(text{pt}, beta)$ and the fact that $beta(f) circ theta_y = theta_x$ for all natural maps $theta$ in the limit, and $f : x to y$ in $I$.
Suppose also that since $varphi(g) in I^{op}, forall g in J^{op}$, we have $varphi(g): varphi(b) to varphi(a)$ for all $g in J^{op}$ so that by letting $f = varphi(g)$ in the above we get that $beta(varphi(g)) circ theta_{varphi(b)} = theta_{varphi(a)}$. Thus for any $theta$ in the first limit, there is $theta circ varphi equiv theta_{varphi(cdot)}$ which is a natural map in $text{Hom}_{J^{wedge}}(text{pt}, beta circ varphi)$.
add a comment |
Your Answer
StackExchange.ifUsing("editor", function () {
return StackExchange.using("mathjaxEditing", function () {
StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix) {
StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
});
});
}, "mathjax-editing");
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%2f2817000%2fthere-is-a-natural-morphism-lim-limits-longleftarrow-beta-to-lim-limits%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
up vote
3
down vote
accepted
Let's dispense with all the duals and the values taken in a particular category, which are obscuring the situation a bit. If $D:Jto C$, $u:Ito J$ are functors such that $C$ admits limits of shapes $I$ and $J$, the claim is that we have a natural map $mathrm{lim} Dto mathrm{lim}(Dcirc u)$. For any $iin I$, we must give a map $mathrm{lim} Dto D(u(i))$.
Now, along with $mathrm{lim} D$ we are given a cone $lambda$ with components $lambda_j:mathrm{lim} Dto D(j)$. So the natural guess for the desired map is $lambda_{u(i)}$. To prove that these components determine a map into $mathrm{lim}(Dcirc u)$ as desired, we have only to check that $(Dcirc u)(f)circ lambda_{u(i)}=lambda_{u(i')}$ for every $f:ito i'$ in $I$. But this is simply an instantiation of the assumption that $lambda$ forms a cone.
add a comment |
up vote
3
down vote
accepted
Let's dispense with all the duals and the values taken in a particular category, which are obscuring the situation a bit. If $D:Jto C$, $u:Ito J$ are functors such that $C$ admits limits of shapes $I$ and $J$, the claim is that we have a natural map $mathrm{lim} Dto mathrm{lim}(Dcirc u)$. For any $iin I$, we must give a map $mathrm{lim} Dto D(u(i))$.
Now, along with $mathrm{lim} D$ we are given a cone $lambda$ with components $lambda_j:mathrm{lim} Dto D(j)$. So the natural guess for the desired map is $lambda_{u(i)}$. To prove that these components determine a map into $mathrm{lim}(Dcirc u)$ as desired, we have only to check that $(Dcirc u)(f)circ lambda_{u(i)}=lambda_{u(i')}$ for every $f:ito i'$ in $I$. But this is simply an instantiation of the assumption that $lambda$ forms a cone.
add a comment |
up vote
3
down vote
accepted
up vote
3
down vote
accepted
Let's dispense with all the duals and the values taken in a particular category, which are obscuring the situation a bit. If $D:Jto C$, $u:Ito J$ are functors such that $C$ admits limits of shapes $I$ and $J$, the claim is that we have a natural map $mathrm{lim} Dto mathrm{lim}(Dcirc u)$. For any $iin I$, we must give a map $mathrm{lim} Dto D(u(i))$.
Now, along with $mathrm{lim} D$ we are given a cone $lambda$ with components $lambda_j:mathrm{lim} Dto D(j)$. So the natural guess for the desired map is $lambda_{u(i)}$. To prove that these components determine a map into $mathrm{lim}(Dcirc u)$ as desired, we have only to check that $(Dcirc u)(f)circ lambda_{u(i)}=lambda_{u(i')}$ for every $f:ito i'$ in $I$. But this is simply an instantiation of the assumption that $lambda$ forms a cone.
Let's dispense with all the duals and the values taken in a particular category, which are obscuring the situation a bit. If $D:Jto C$, $u:Ito J$ are functors such that $C$ admits limits of shapes $I$ and $J$, the claim is that we have a natural map $mathrm{lim} Dto mathrm{lim}(Dcirc u)$. For any $iin I$, we must give a map $mathrm{lim} Dto D(u(i))$.
Now, along with $mathrm{lim} D$ we are given a cone $lambda$ with components $lambda_j:mathrm{lim} Dto D(j)$. So the natural guess for the desired map is $lambda_{u(i)}$. To prove that these components determine a map into $mathrm{lim}(Dcirc u)$ as desired, we have only to check that $(Dcirc u)(f)circ lambda_{u(i)}=lambda_{u(i')}$ for every $f:ito i'$ in $I$. But this is simply an instantiation of the assumption that $lambda$ forms a cone.
answered Jun 12 at 19:59
Kevin Carlson
32.4k23270
32.4k23270
add a comment |
add a comment |
up vote
0
down vote
This proof uses just the definition of $limlimits_{leftarrow} beta = text{Hom}_{I^{wedge}}(text{pt}, beta)$ and the fact that $beta(f) circ theta_y = theta_x$ for all natural maps $theta$ in the limit, and $f : x to y$ in $I$.
Suppose also that since $varphi(g) in I^{op}, forall g in J^{op}$, we have $varphi(g): varphi(b) to varphi(a)$ for all $g in J^{op}$ so that by letting $f = varphi(g)$ in the above we get that $beta(varphi(g)) circ theta_{varphi(b)} = theta_{varphi(a)}$. Thus for any $theta$ in the first limit, there is $theta circ varphi equiv theta_{varphi(cdot)}$ which is a natural map in $text{Hom}_{J^{wedge}}(text{pt}, beta circ varphi)$.
add a comment |
up vote
0
down vote
This proof uses just the definition of $limlimits_{leftarrow} beta = text{Hom}_{I^{wedge}}(text{pt}, beta)$ and the fact that $beta(f) circ theta_y = theta_x$ for all natural maps $theta$ in the limit, and $f : x to y$ in $I$.
Suppose also that since $varphi(g) in I^{op}, forall g in J^{op}$, we have $varphi(g): varphi(b) to varphi(a)$ for all $g in J^{op}$ so that by letting $f = varphi(g)$ in the above we get that $beta(varphi(g)) circ theta_{varphi(b)} = theta_{varphi(a)}$. Thus for any $theta$ in the first limit, there is $theta circ varphi equiv theta_{varphi(cdot)}$ which is a natural map in $text{Hom}_{J^{wedge}}(text{pt}, beta circ varphi)$.
add a comment |
up vote
0
down vote
up vote
0
down vote
This proof uses just the definition of $limlimits_{leftarrow} beta = text{Hom}_{I^{wedge}}(text{pt}, beta)$ and the fact that $beta(f) circ theta_y = theta_x$ for all natural maps $theta$ in the limit, and $f : x to y$ in $I$.
Suppose also that since $varphi(g) in I^{op}, forall g in J^{op}$, we have $varphi(g): varphi(b) to varphi(a)$ for all $g in J^{op}$ so that by letting $f = varphi(g)$ in the above we get that $beta(varphi(g)) circ theta_{varphi(b)} = theta_{varphi(a)}$. Thus for any $theta$ in the first limit, there is $theta circ varphi equiv theta_{varphi(cdot)}$ which is a natural map in $text{Hom}_{J^{wedge}}(text{pt}, beta circ varphi)$.
This proof uses just the definition of $limlimits_{leftarrow} beta = text{Hom}_{I^{wedge}}(text{pt}, beta)$ and the fact that $beta(f) circ theta_y = theta_x$ for all natural maps $theta$ in the limit, and $f : x to y$ in $I$.
Suppose also that since $varphi(g) in I^{op}, forall g in J^{op}$, we have $varphi(g): varphi(b) to varphi(a)$ for all $g in J^{op}$ so that by letting $f = varphi(g)$ in the above we get that $beta(varphi(g)) circ theta_{varphi(b)} = theta_{varphi(a)}$. Thus for any $theta$ in the first limit, there is $theta circ varphi equiv theta_{varphi(cdot)}$ which is a natural map in $text{Hom}_{J^{wedge}}(text{pt}, beta circ varphi)$.
answered Nov 24 at 0:29
Roll up and smoke Adjoint
8,96752357
8,96752357
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.
Some of your past answers have not been well-received, and you're in danger of being blocked from answering.
Please pay close attention to the following guidance:
- 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.
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%2f2817000%2fthere-is-a-natural-morphism-lim-limits-longleftarrow-beta-to-lim-limits%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
Surely there must be additional conditions on $phi$? This would certainly fail if, for example, $J$ was the empty category, since it would imply that every limit is the terminal object, and thus that every set is a singleton.
– Arnaud D.
Jun 12 at 14:36
1
Which exercise is this? Regarding the issue of how both sides are functors, in the book they also refer to the functor $Xmapsto lim mathrm{hom}(X,beta)$ as $lim beta$, which in the case the limit exists in the respective category is the Yoneda embedding of the limit.
– asdq
Jun 12 at 14:51
It's on page 36.
– Roll up and smoke Adjoint
Jun 12 at 14:53
On page 36, I read a natural morphism (not isomorphism). If $C$ has all $I$-limits, you can make $varprojlimbeta$ a functor of $beta$, in other words $varprojlim:operatorname{Fun}(I,C)to C$. Similarly if $C$ has all $J$ limits, you have a functor $operatorname{Fun}(I,C)to C$ such that $betamapstovarprojlimbetacircvarphi^{op}$. The claim is that this is a natural transformation.
– Roland
Jun 12 at 17:12
@Roland I see that part now, thank you. How do I show that there is a map between the two though?
– Roll up and smoke Adjoint
Jun 12 at 17:49