The subobject classifier is a set??
$begingroup$
I'm reading about subobject classifiers in presheaf categories, and got confused.
The book speaks of a subobject classifier $Omega$ of the presheaf category $[P^{op}, Set]$, where $P$ is a poset having a largest element $T$. So, as I understand, $Omega$ is an element of $[P^{op}, Set]$, meaning it is a contravariant functor from $P$ to $Set$.
But then a few lines later, the book says we can regard the truth values of the subobject classifier as a Heyting Algebra, and this induces a monoid structure on $Omega$. The book goes on to speak of actions of this monoid on a set, all the while using notation like $alpha in Omega$. In other words, it looks like they are saying $Omega$ as a set.
My question is, how can $Omega$ have any elements, if it is a functor? Are they writing $Omega$ when they actually mean $Omega$ applied to $T$? If this is the case then my confusion is (mostly) cleared.
category-theory
$endgroup$
add a comment |
$begingroup$
I'm reading about subobject classifiers in presheaf categories, and got confused.
The book speaks of a subobject classifier $Omega$ of the presheaf category $[P^{op}, Set]$, where $P$ is a poset having a largest element $T$. So, as I understand, $Omega$ is an element of $[P^{op}, Set]$, meaning it is a contravariant functor from $P$ to $Set$.
But then a few lines later, the book says we can regard the truth values of the subobject classifier as a Heyting Algebra, and this induces a monoid structure on $Omega$. The book goes on to speak of actions of this monoid on a set, all the while using notation like $alpha in Omega$. In other words, it looks like they are saying $Omega$ as a set.
My question is, how can $Omega$ have any elements, if it is a functor? Are they writing $Omega$ when they actually mean $Omega$ applied to $T$? If this is the case then my confusion is (mostly) cleared.
category-theory
$endgroup$
$begingroup$
Which book${}$?
$endgroup$
– Lord Shark the Unknown
Dec 6 '18 at 2:11
$begingroup$
a handout from my lecturer, I believe it's based off on Sheaves in Geometry and Logic: A First Introduction to Topos Theory.
$endgroup$
– SSF
Dec 6 '18 at 2:13
$begingroup$
$Omega$ is an internal Heyting algebra, that is, it is naturally a presheaf of Heyting algebras on $P$. The Heyting algebra of truth values is indeed $Omega(T)$. It's hard to tell without further details, but your monoidal actions might indeed be of this monoid.
$endgroup$
– Kevin Carlson
Dec 6 '18 at 2:27
3
$begingroup$
In a topos, sometimes $ain A$ means that $a$ is an arrow from the terminal object $1$ to the object $A$.
$endgroup$
– Lord Shark the Unknown
Dec 6 '18 at 2:38
add a comment |
$begingroup$
I'm reading about subobject classifiers in presheaf categories, and got confused.
The book speaks of a subobject classifier $Omega$ of the presheaf category $[P^{op}, Set]$, where $P$ is a poset having a largest element $T$. So, as I understand, $Omega$ is an element of $[P^{op}, Set]$, meaning it is a contravariant functor from $P$ to $Set$.
But then a few lines later, the book says we can regard the truth values of the subobject classifier as a Heyting Algebra, and this induces a monoid structure on $Omega$. The book goes on to speak of actions of this monoid on a set, all the while using notation like $alpha in Omega$. In other words, it looks like they are saying $Omega$ as a set.
My question is, how can $Omega$ have any elements, if it is a functor? Are they writing $Omega$ when they actually mean $Omega$ applied to $T$? If this is the case then my confusion is (mostly) cleared.
category-theory
$endgroup$
I'm reading about subobject classifiers in presheaf categories, and got confused.
The book speaks of a subobject classifier $Omega$ of the presheaf category $[P^{op}, Set]$, where $P$ is a poset having a largest element $T$. So, as I understand, $Omega$ is an element of $[P^{op}, Set]$, meaning it is a contravariant functor from $P$ to $Set$.
But then a few lines later, the book says we can regard the truth values of the subobject classifier as a Heyting Algebra, and this induces a monoid structure on $Omega$. The book goes on to speak of actions of this monoid on a set, all the while using notation like $alpha in Omega$. In other words, it looks like they are saying $Omega$ as a set.
My question is, how can $Omega$ have any elements, if it is a functor? Are they writing $Omega$ when they actually mean $Omega$ applied to $T$? If this is the case then my confusion is (mostly) cleared.
category-theory
category-theory
asked Dec 6 '18 at 2:09
SSFSSF
406110
406110
$begingroup$
Which book${}$?
$endgroup$
– Lord Shark the Unknown
Dec 6 '18 at 2:11
$begingroup$
a handout from my lecturer, I believe it's based off on Sheaves in Geometry and Logic: A First Introduction to Topos Theory.
$endgroup$
– SSF
Dec 6 '18 at 2:13
$begingroup$
$Omega$ is an internal Heyting algebra, that is, it is naturally a presheaf of Heyting algebras on $P$. The Heyting algebra of truth values is indeed $Omega(T)$. It's hard to tell without further details, but your monoidal actions might indeed be of this monoid.
$endgroup$
– Kevin Carlson
Dec 6 '18 at 2:27
3
$begingroup$
In a topos, sometimes $ain A$ means that $a$ is an arrow from the terminal object $1$ to the object $A$.
$endgroup$
– Lord Shark the Unknown
Dec 6 '18 at 2:38
add a comment |
$begingroup$
Which book${}$?
$endgroup$
– Lord Shark the Unknown
Dec 6 '18 at 2:11
$begingroup$
a handout from my lecturer, I believe it's based off on Sheaves in Geometry and Logic: A First Introduction to Topos Theory.
$endgroup$
– SSF
Dec 6 '18 at 2:13
$begingroup$
$Omega$ is an internal Heyting algebra, that is, it is naturally a presheaf of Heyting algebras on $P$. The Heyting algebra of truth values is indeed $Omega(T)$. It's hard to tell without further details, but your monoidal actions might indeed be of this monoid.
$endgroup$
– Kevin Carlson
Dec 6 '18 at 2:27
3
$begingroup$
In a topos, sometimes $ain A$ means that $a$ is an arrow from the terminal object $1$ to the object $A$.
$endgroup$
– Lord Shark the Unknown
Dec 6 '18 at 2:38
$begingroup$
Which book${}$?
$endgroup$
– Lord Shark the Unknown
Dec 6 '18 at 2:11
$begingroup$
Which book${}$?
$endgroup$
– Lord Shark the Unknown
Dec 6 '18 at 2:11
$begingroup$
a handout from my lecturer, I believe it's based off on Sheaves in Geometry and Logic: A First Introduction to Topos Theory.
$endgroup$
– SSF
Dec 6 '18 at 2:13
$begingroup$
a handout from my lecturer, I believe it's based off on Sheaves in Geometry and Logic: A First Introduction to Topos Theory.
$endgroup$
– SSF
Dec 6 '18 at 2:13
$begingroup$
$Omega$ is an internal Heyting algebra, that is, it is naturally a presheaf of Heyting algebras on $P$. The Heyting algebra of truth values is indeed $Omega(T)$. It's hard to tell without further details, but your monoidal actions might indeed be of this monoid.
$endgroup$
– Kevin Carlson
Dec 6 '18 at 2:27
$begingroup$
$Omega$ is an internal Heyting algebra, that is, it is naturally a presheaf of Heyting algebras on $P$. The Heyting algebra of truth values is indeed $Omega(T)$. It's hard to tell without further details, but your monoidal actions might indeed be of this monoid.
$endgroup$
– Kevin Carlson
Dec 6 '18 at 2:27
3
3
$begingroup$
In a topos, sometimes $ain A$ means that $a$ is an arrow from the terminal object $1$ to the object $A$.
$endgroup$
– Lord Shark the Unknown
Dec 6 '18 at 2:38
$begingroup$
In a topos, sometimes $ain A$ means that $a$ is an arrow from the terminal object $1$ to the object $A$.
$endgroup$
– Lord Shark the Unknown
Dec 6 '18 at 2:38
add a comment |
1 Answer
1
active
oldest
votes
$begingroup$
If by "element" they mean "global element", then a global element (of $A$) is an arrow from $1to A$ where $1$ is the terminal object. Since $T$ is the top element of the poset, it is the terminal object of that poset when viewed as a category. Since $mathsf{Hom}$ is continuous in its second argument, we have that $mathsf{Hom}(-,T)cong 1$ where $1$ is the terminal object of the category of presheaves. A global element of the presheaf $P$ is an element of $$mathsf{Nat}(1,P)congmathsf{Nat}(mathsf{Hom}(-,T),P)cong P(T)$$ where $mathsf{Nat}(F,G)$ is the set of natural transformations between $F$ and $G$, i.e. the hom-set of the category of presheaves. The second isomorphism is Yoneda. So the global elements of the presheaf $Omega$ are in correspondence with the elements of the set $Omega(T)$.
More naturally, we can use the notion of the internal language of an elementary topos which can be presented as the Mitchell-Bénabou language. This lets us write what looks like "normal" mathematics but interpret it into any elementary topos. In this context, global elements correspond to closed terms. In other words, the elements of $Omega(T)$, in this case, correspond to the closed terms of type $Omega$ in the internal language.
$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%2f3027942%2fthe-subobject-classifier-is-a-set%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
1 Answer
1
active
oldest
votes
1 Answer
1
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
If by "element" they mean "global element", then a global element (of $A$) is an arrow from $1to A$ where $1$ is the terminal object. Since $T$ is the top element of the poset, it is the terminal object of that poset when viewed as a category. Since $mathsf{Hom}$ is continuous in its second argument, we have that $mathsf{Hom}(-,T)cong 1$ where $1$ is the terminal object of the category of presheaves. A global element of the presheaf $P$ is an element of $$mathsf{Nat}(1,P)congmathsf{Nat}(mathsf{Hom}(-,T),P)cong P(T)$$ where $mathsf{Nat}(F,G)$ is the set of natural transformations between $F$ and $G$, i.e. the hom-set of the category of presheaves. The second isomorphism is Yoneda. So the global elements of the presheaf $Omega$ are in correspondence with the elements of the set $Omega(T)$.
More naturally, we can use the notion of the internal language of an elementary topos which can be presented as the Mitchell-Bénabou language. This lets us write what looks like "normal" mathematics but interpret it into any elementary topos. In this context, global elements correspond to closed terms. In other words, the elements of $Omega(T)$, in this case, correspond to the closed terms of type $Omega$ in the internal language.
$endgroup$
add a comment |
$begingroup$
If by "element" they mean "global element", then a global element (of $A$) is an arrow from $1to A$ where $1$ is the terminal object. Since $T$ is the top element of the poset, it is the terminal object of that poset when viewed as a category. Since $mathsf{Hom}$ is continuous in its second argument, we have that $mathsf{Hom}(-,T)cong 1$ where $1$ is the terminal object of the category of presheaves. A global element of the presheaf $P$ is an element of $$mathsf{Nat}(1,P)congmathsf{Nat}(mathsf{Hom}(-,T),P)cong P(T)$$ where $mathsf{Nat}(F,G)$ is the set of natural transformations between $F$ and $G$, i.e. the hom-set of the category of presheaves. The second isomorphism is Yoneda. So the global elements of the presheaf $Omega$ are in correspondence with the elements of the set $Omega(T)$.
More naturally, we can use the notion of the internal language of an elementary topos which can be presented as the Mitchell-Bénabou language. This lets us write what looks like "normal" mathematics but interpret it into any elementary topos. In this context, global elements correspond to closed terms. In other words, the elements of $Omega(T)$, in this case, correspond to the closed terms of type $Omega$ in the internal language.
$endgroup$
add a comment |
$begingroup$
If by "element" they mean "global element", then a global element (of $A$) is an arrow from $1to A$ where $1$ is the terminal object. Since $T$ is the top element of the poset, it is the terminal object of that poset when viewed as a category. Since $mathsf{Hom}$ is continuous in its second argument, we have that $mathsf{Hom}(-,T)cong 1$ where $1$ is the terminal object of the category of presheaves. A global element of the presheaf $P$ is an element of $$mathsf{Nat}(1,P)congmathsf{Nat}(mathsf{Hom}(-,T),P)cong P(T)$$ where $mathsf{Nat}(F,G)$ is the set of natural transformations between $F$ and $G$, i.e. the hom-set of the category of presheaves. The second isomorphism is Yoneda. So the global elements of the presheaf $Omega$ are in correspondence with the elements of the set $Omega(T)$.
More naturally, we can use the notion of the internal language of an elementary topos which can be presented as the Mitchell-Bénabou language. This lets us write what looks like "normal" mathematics but interpret it into any elementary topos. In this context, global elements correspond to closed terms. In other words, the elements of $Omega(T)$, in this case, correspond to the closed terms of type $Omega$ in the internal language.
$endgroup$
If by "element" they mean "global element", then a global element (of $A$) is an arrow from $1to A$ where $1$ is the terminal object. Since $T$ is the top element of the poset, it is the terminal object of that poset when viewed as a category. Since $mathsf{Hom}$ is continuous in its second argument, we have that $mathsf{Hom}(-,T)cong 1$ where $1$ is the terminal object of the category of presheaves. A global element of the presheaf $P$ is an element of $$mathsf{Nat}(1,P)congmathsf{Nat}(mathsf{Hom}(-,T),P)cong P(T)$$ where $mathsf{Nat}(F,G)$ is the set of natural transformations between $F$ and $G$, i.e. the hom-set of the category of presheaves. The second isomorphism is Yoneda. So the global elements of the presheaf $Omega$ are in correspondence with the elements of the set $Omega(T)$.
More naturally, we can use the notion of the internal language of an elementary topos which can be presented as the Mitchell-Bénabou language. This lets us write what looks like "normal" mathematics but interpret it into any elementary topos. In this context, global elements correspond to closed terms. In other words, the elements of $Omega(T)$, in this case, correspond to the closed terms of type $Omega$ in the internal language.
answered Dec 6 '18 at 4:00
Derek ElkinsDerek Elkins
16.7k11437
16.7k11437
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%2f3027942%2fthe-subobject-classifier-is-a-set%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
$begingroup$
Which book${}$?
$endgroup$
– Lord Shark the Unknown
Dec 6 '18 at 2:11
$begingroup$
a handout from my lecturer, I believe it's based off on Sheaves in Geometry and Logic: A First Introduction to Topos Theory.
$endgroup$
– SSF
Dec 6 '18 at 2:13
$begingroup$
$Omega$ is an internal Heyting algebra, that is, it is naturally a presheaf of Heyting algebras on $P$. The Heyting algebra of truth values is indeed $Omega(T)$. It's hard to tell without further details, but your monoidal actions might indeed be of this monoid.
$endgroup$
– Kevin Carlson
Dec 6 '18 at 2:27
3
$begingroup$
In a topos, sometimes $ain A$ means that $a$ is an arrow from the terminal object $1$ to the object $A$.
$endgroup$
– Lord Shark the Unknown
Dec 6 '18 at 2:38