If the category of elements of a presheave has terminal object, then it is representable.
$begingroup$
Let $F$ be a presheave on a category $C$. If $F$ is representable, then there is a $B in C$ such that $F=Hom(-,B)$. Then, it is not hard to prove that its category of elements $E(F)$ is equivalent to the slice category $C_{/ B}$.
Is it true that if the category of elements $E(F)$ of $F$ has a terminal object, then $F$ is representable? If so, how do I prove it?
category-theory
$endgroup$
add a comment |
$begingroup$
Let $F$ be a presheave on a category $C$. If $F$ is representable, then there is a $B in C$ such that $F=Hom(-,B)$. Then, it is not hard to prove that its category of elements $E(F)$ is equivalent to the slice category $C_{/ B}$.
Is it true that if the category of elements $E(F)$ of $F$ has a terminal object, then $F$ is representable? If so, how do I prove it?
category-theory
$endgroup$
add a comment |
$begingroup$
Let $F$ be a presheave on a category $C$. If $F$ is representable, then there is a $B in C$ such that $F=Hom(-,B)$. Then, it is not hard to prove that its category of elements $E(F)$ is equivalent to the slice category $C_{/ B}$.
Is it true that if the category of elements $E(F)$ of $F$ has a terminal object, then $F$ is representable? If so, how do I prove it?
category-theory
$endgroup$
Let $F$ be a presheave on a category $C$. If $F$ is representable, then there is a $B in C$ such that $F=Hom(-,B)$. Then, it is not hard to prove that its category of elements $E(F)$ is equivalent to the slice category $C_{/ B}$.
Is it true that if the category of elements $E(F)$ of $F$ has a terminal object, then $F$ is representable? If so, how do I prove it?
category-theory
category-theory
asked Nov 29 '18 at 15:58
H RH R
1608
1608
add a comment |
add a comment |
2 Answers
2
active
oldest
votes
$begingroup$
Yes, this is true.
Suppose that $E(F)$ has a terminal object $(B, y)$, and define $theta : F to mathsf{y}(B)$ as follows. Given $A in mathrm{ob}(mathcal{C})$, define
$$theta_A : FA to mathrm{Hom}_{mathcal{C}}(A,B)$$
by letting $theta_A(x)$ be the unique $f : A to B$ given by the (unique) morphism $(A,x) to (B,y)$ in $E(F)$.
Verify that $theta$ is a natural isomorphism.
$endgroup$
$begingroup$
Could you tell me the definition of $y(B)$?
$endgroup$
– H R
Nov 29 '18 at 16:18
$begingroup$
Yes, $mathsf{y}$ is the Yoneda embedding, i.e. $mathsf{y}(B) = mathrm{Hom}_{mathcal{C}}({-}, B)$.
$endgroup$
– Clive Newstead
Nov 29 '18 at 17:00
add a comment |
$begingroup$
For a presheaf $F$ on $mathcal C$, recall that $E(F)$ is defined as the category whose objects are $(c,x)$ where $cin mathcal C$ and $xin F(c)$, and whose morphisms $(c,x) to (c',x')$ are those $f:cto c'$ in $mathcal C$ such that $F(f)(x') = x$.
One consequence of the Yoneda lemma is that $$F simeq mathrm{colim}_{(x,c)in E(F)} mathsf y(c) tag{1}$$ (where I use the same notation as Clive for the Yoneda embedding). Now suppose that there is a terminal object $(c_t,x_t)$ in $E(F)$: a colimit taken over a category with a terminal object is just the value of the diagram at that terminal object. Hence $Fsimeq mathsf y (c_t)$.
(Of course the detail of the proof of (1) should fall back to Clive's answer.)
$endgroup$
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%2f3018820%2fif-the-category-of-elements-of-a-presheave-has-terminal-object-then-it-is-repre%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$
Yes, this is true.
Suppose that $E(F)$ has a terminal object $(B, y)$, and define $theta : F to mathsf{y}(B)$ as follows. Given $A in mathrm{ob}(mathcal{C})$, define
$$theta_A : FA to mathrm{Hom}_{mathcal{C}}(A,B)$$
by letting $theta_A(x)$ be the unique $f : A to B$ given by the (unique) morphism $(A,x) to (B,y)$ in $E(F)$.
Verify that $theta$ is a natural isomorphism.
$endgroup$
$begingroup$
Could you tell me the definition of $y(B)$?
$endgroup$
– H R
Nov 29 '18 at 16:18
$begingroup$
Yes, $mathsf{y}$ is the Yoneda embedding, i.e. $mathsf{y}(B) = mathrm{Hom}_{mathcal{C}}({-}, B)$.
$endgroup$
– Clive Newstead
Nov 29 '18 at 17:00
add a comment |
$begingroup$
Yes, this is true.
Suppose that $E(F)$ has a terminal object $(B, y)$, and define $theta : F to mathsf{y}(B)$ as follows. Given $A in mathrm{ob}(mathcal{C})$, define
$$theta_A : FA to mathrm{Hom}_{mathcal{C}}(A,B)$$
by letting $theta_A(x)$ be the unique $f : A to B$ given by the (unique) morphism $(A,x) to (B,y)$ in $E(F)$.
Verify that $theta$ is a natural isomorphism.
$endgroup$
$begingroup$
Could you tell me the definition of $y(B)$?
$endgroup$
– H R
Nov 29 '18 at 16:18
$begingroup$
Yes, $mathsf{y}$ is the Yoneda embedding, i.e. $mathsf{y}(B) = mathrm{Hom}_{mathcal{C}}({-}, B)$.
$endgroup$
– Clive Newstead
Nov 29 '18 at 17:00
add a comment |
$begingroup$
Yes, this is true.
Suppose that $E(F)$ has a terminal object $(B, y)$, and define $theta : F to mathsf{y}(B)$ as follows. Given $A in mathrm{ob}(mathcal{C})$, define
$$theta_A : FA to mathrm{Hom}_{mathcal{C}}(A,B)$$
by letting $theta_A(x)$ be the unique $f : A to B$ given by the (unique) morphism $(A,x) to (B,y)$ in $E(F)$.
Verify that $theta$ is a natural isomorphism.
$endgroup$
Yes, this is true.
Suppose that $E(F)$ has a terminal object $(B, y)$, and define $theta : F to mathsf{y}(B)$ as follows. Given $A in mathrm{ob}(mathcal{C})$, define
$$theta_A : FA to mathrm{Hom}_{mathcal{C}}(A,B)$$
by letting $theta_A(x)$ be the unique $f : A to B$ given by the (unique) morphism $(A,x) to (B,y)$ in $E(F)$.
Verify that $theta$ is a natural isomorphism.
edited Nov 29 '18 at 17:00
answered Nov 29 '18 at 16:05
Clive NewsteadClive Newstead
50.9k474133
50.9k474133
$begingroup$
Could you tell me the definition of $y(B)$?
$endgroup$
– H R
Nov 29 '18 at 16:18
$begingroup$
Yes, $mathsf{y}$ is the Yoneda embedding, i.e. $mathsf{y}(B) = mathrm{Hom}_{mathcal{C}}({-}, B)$.
$endgroup$
– Clive Newstead
Nov 29 '18 at 17:00
add a comment |
$begingroup$
Could you tell me the definition of $y(B)$?
$endgroup$
– H R
Nov 29 '18 at 16:18
$begingroup$
Yes, $mathsf{y}$ is the Yoneda embedding, i.e. $mathsf{y}(B) = mathrm{Hom}_{mathcal{C}}({-}, B)$.
$endgroup$
– Clive Newstead
Nov 29 '18 at 17:00
$begingroup$
Could you tell me the definition of $y(B)$?
$endgroup$
– H R
Nov 29 '18 at 16:18
$begingroup$
Could you tell me the definition of $y(B)$?
$endgroup$
– H R
Nov 29 '18 at 16:18
$begingroup$
Yes, $mathsf{y}$ is the Yoneda embedding, i.e. $mathsf{y}(B) = mathrm{Hom}_{mathcal{C}}({-}, B)$.
$endgroup$
– Clive Newstead
Nov 29 '18 at 17:00
$begingroup$
Yes, $mathsf{y}$ is the Yoneda embedding, i.e. $mathsf{y}(B) = mathrm{Hom}_{mathcal{C}}({-}, B)$.
$endgroup$
– Clive Newstead
Nov 29 '18 at 17:00
add a comment |
$begingroup$
For a presheaf $F$ on $mathcal C$, recall that $E(F)$ is defined as the category whose objects are $(c,x)$ where $cin mathcal C$ and $xin F(c)$, and whose morphisms $(c,x) to (c',x')$ are those $f:cto c'$ in $mathcal C$ such that $F(f)(x') = x$.
One consequence of the Yoneda lemma is that $$F simeq mathrm{colim}_{(x,c)in E(F)} mathsf y(c) tag{1}$$ (where I use the same notation as Clive for the Yoneda embedding). Now suppose that there is a terminal object $(c_t,x_t)$ in $E(F)$: a colimit taken over a category with a terminal object is just the value of the diagram at that terminal object. Hence $Fsimeq mathsf y (c_t)$.
(Of course the detail of the proof of (1) should fall back to Clive's answer.)
$endgroup$
add a comment |
$begingroup$
For a presheaf $F$ on $mathcal C$, recall that $E(F)$ is defined as the category whose objects are $(c,x)$ where $cin mathcal C$ and $xin F(c)$, and whose morphisms $(c,x) to (c',x')$ are those $f:cto c'$ in $mathcal C$ such that $F(f)(x') = x$.
One consequence of the Yoneda lemma is that $$F simeq mathrm{colim}_{(x,c)in E(F)} mathsf y(c) tag{1}$$ (where I use the same notation as Clive for the Yoneda embedding). Now suppose that there is a terminal object $(c_t,x_t)$ in $E(F)$: a colimit taken over a category with a terminal object is just the value of the diagram at that terminal object. Hence $Fsimeq mathsf y (c_t)$.
(Of course the detail of the proof of (1) should fall back to Clive's answer.)
$endgroup$
add a comment |
$begingroup$
For a presheaf $F$ on $mathcal C$, recall that $E(F)$ is defined as the category whose objects are $(c,x)$ where $cin mathcal C$ and $xin F(c)$, and whose morphisms $(c,x) to (c',x')$ are those $f:cto c'$ in $mathcal C$ such that $F(f)(x') = x$.
One consequence of the Yoneda lemma is that $$F simeq mathrm{colim}_{(x,c)in E(F)} mathsf y(c) tag{1}$$ (where I use the same notation as Clive for the Yoneda embedding). Now suppose that there is a terminal object $(c_t,x_t)$ in $E(F)$: a colimit taken over a category with a terminal object is just the value of the diagram at that terminal object. Hence $Fsimeq mathsf y (c_t)$.
(Of course the detail of the proof of (1) should fall back to Clive's answer.)
$endgroup$
For a presheaf $F$ on $mathcal C$, recall that $E(F)$ is defined as the category whose objects are $(c,x)$ where $cin mathcal C$ and $xin F(c)$, and whose morphisms $(c,x) to (c',x')$ are those $f:cto c'$ in $mathcal C$ such that $F(f)(x') = x$.
One consequence of the Yoneda lemma is that $$F simeq mathrm{colim}_{(x,c)in E(F)} mathsf y(c) tag{1}$$ (where I use the same notation as Clive for the Yoneda embedding). Now suppose that there is a terminal object $(c_t,x_t)$ in $E(F)$: a colimit taken over a category with a terminal object is just the value of the diagram at that terminal object. Hence $Fsimeq mathsf y (c_t)$.
(Of course the detail of the proof of (1) should fall back to Clive's answer.)
answered Nov 29 '18 at 18:34
PecePece
8,18511241
8,18511241
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%2f3018820%2fif-the-category-of-elements-of-a-presheave-has-terminal-object-then-it-is-repre%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