Functorial definition of continuous map
$begingroup$
My motivation for this question is pure abstract nonsense, but I'd like to define continuous maps or continuity itself in a functorial/categorical way, since every continuous map induces a map (of sets) between the topologies in the opposite direcction.
Therefore, I could say that a continuous map $f:Xto Y$ is just a map of sets, which induces a map $f^*:Top(Y)to Top(X)$. The thing is that given a set, there are lots of topologies on it and given two topological spaces there are in general plenty of continuous maps, so I've thought of taking a subcategory $S$ of Set$times mathbf{Set}^{op}$ whose pairs consist of a set and a topology on it. In this setting, I consider a functor $F:Sto mathbf{Set}$ which is the second projection on objets, and sending each arrow $(x,t(x))to (y,t(y))$ to an arrow $t(y)to t(x)$. In the best case this would give a class of continuous maps $xto y$, but I'm not sure that every map $t(y)to t(x)$ gives rise to a well-defined map $xto y$.
Are there definitions of continuity or other topological concepts following this approach?
general-topology category-theory
$endgroup$
add a comment |
$begingroup$
My motivation for this question is pure abstract nonsense, but I'd like to define continuous maps or continuity itself in a functorial/categorical way, since every continuous map induces a map (of sets) between the topologies in the opposite direcction.
Therefore, I could say that a continuous map $f:Xto Y$ is just a map of sets, which induces a map $f^*:Top(Y)to Top(X)$. The thing is that given a set, there are lots of topologies on it and given two topological spaces there are in general plenty of continuous maps, so I've thought of taking a subcategory $S$ of Set$times mathbf{Set}^{op}$ whose pairs consist of a set and a topology on it. In this setting, I consider a functor $F:Sto mathbf{Set}$ which is the second projection on objets, and sending each arrow $(x,t(x))to (y,t(y))$ to an arrow $t(y)to t(x)$. In the best case this would give a class of continuous maps $xto y$, but I'm not sure that every map $t(y)to t(x)$ gives rise to a well-defined map $xto y$.
Are there definitions of continuity or other topological concepts following this approach?
general-topology category-theory
$endgroup$
2
$begingroup$
I think you might be interested in the notion of frame.
$endgroup$
– Arnaud D.
Dec 18 '18 at 10:22
$begingroup$
Thanks, I just read today that a topological space is a set with a frame of open sets.
$endgroup$
– Javi
Dec 18 '18 at 10:51
$begingroup$
Where did contravariancy disappear? $S$ should rather be a subcategory of ${bf Set}times{bf Set}^{op}$, shouldn't it?
$endgroup$
– Berci
Dec 20 '18 at 23:55
$begingroup$
That's right @Berci
$endgroup$
– Javi
Dec 21 '18 at 15:58
add a comment |
$begingroup$
My motivation for this question is pure abstract nonsense, but I'd like to define continuous maps or continuity itself in a functorial/categorical way, since every continuous map induces a map (of sets) between the topologies in the opposite direcction.
Therefore, I could say that a continuous map $f:Xto Y$ is just a map of sets, which induces a map $f^*:Top(Y)to Top(X)$. The thing is that given a set, there are lots of topologies on it and given two topological spaces there are in general plenty of continuous maps, so I've thought of taking a subcategory $S$ of Set$times mathbf{Set}^{op}$ whose pairs consist of a set and a topology on it. In this setting, I consider a functor $F:Sto mathbf{Set}$ which is the second projection on objets, and sending each arrow $(x,t(x))to (y,t(y))$ to an arrow $t(y)to t(x)$. In the best case this would give a class of continuous maps $xto y$, but I'm not sure that every map $t(y)to t(x)$ gives rise to a well-defined map $xto y$.
Are there definitions of continuity or other topological concepts following this approach?
general-topology category-theory
$endgroup$
My motivation for this question is pure abstract nonsense, but I'd like to define continuous maps or continuity itself in a functorial/categorical way, since every continuous map induces a map (of sets) between the topologies in the opposite direcction.
Therefore, I could say that a continuous map $f:Xto Y$ is just a map of sets, which induces a map $f^*:Top(Y)to Top(X)$. The thing is that given a set, there are lots of topologies on it and given two topological spaces there are in general plenty of continuous maps, so I've thought of taking a subcategory $S$ of Set$times mathbf{Set}^{op}$ whose pairs consist of a set and a topology on it. In this setting, I consider a functor $F:Sto mathbf{Set}$ which is the second projection on objets, and sending each arrow $(x,t(x))to (y,t(y))$ to an arrow $t(y)to t(x)$. In the best case this would give a class of continuous maps $xto y$, but I'm not sure that every map $t(y)to t(x)$ gives rise to a well-defined map $xto y$.
Are there definitions of continuity or other topological concepts following this approach?
general-topology category-theory
general-topology category-theory
edited Dec 21 '18 at 15:59
Javi
asked Dec 18 '18 at 9:31
JaviJavi
2,6842826
2,6842826
2
$begingroup$
I think you might be interested in the notion of frame.
$endgroup$
– Arnaud D.
Dec 18 '18 at 10:22
$begingroup$
Thanks, I just read today that a topological space is a set with a frame of open sets.
$endgroup$
– Javi
Dec 18 '18 at 10:51
$begingroup$
Where did contravariancy disappear? $S$ should rather be a subcategory of ${bf Set}times{bf Set}^{op}$, shouldn't it?
$endgroup$
– Berci
Dec 20 '18 at 23:55
$begingroup$
That's right @Berci
$endgroup$
– Javi
Dec 21 '18 at 15:58
add a comment |
2
$begingroup$
I think you might be interested in the notion of frame.
$endgroup$
– Arnaud D.
Dec 18 '18 at 10:22
$begingroup$
Thanks, I just read today that a topological space is a set with a frame of open sets.
$endgroup$
– Javi
Dec 18 '18 at 10:51
$begingroup$
Where did contravariancy disappear? $S$ should rather be a subcategory of ${bf Set}times{bf Set}^{op}$, shouldn't it?
$endgroup$
– Berci
Dec 20 '18 at 23:55
$begingroup$
That's right @Berci
$endgroup$
– Javi
Dec 21 '18 at 15:58
2
2
$begingroup$
I think you might be interested in the notion of frame.
$endgroup$
– Arnaud D.
Dec 18 '18 at 10:22
$begingroup$
I think you might be interested in the notion of frame.
$endgroup$
– Arnaud D.
Dec 18 '18 at 10:22
$begingroup$
Thanks, I just read today that a topological space is a set with a frame of open sets.
$endgroup$
– Javi
Dec 18 '18 at 10:51
$begingroup$
Thanks, I just read today that a topological space is a set with a frame of open sets.
$endgroup$
– Javi
Dec 18 '18 at 10:51
$begingroup$
Where did contravariancy disappear? $S$ should rather be a subcategory of ${bf Set}times{bf Set}^{op}$, shouldn't it?
$endgroup$
– Berci
Dec 20 '18 at 23:55
$begingroup$
Where did contravariancy disappear? $S$ should rather be a subcategory of ${bf Set}times{bf Set}^{op}$, shouldn't it?
$endgroup$
– Berci
Dec 20 '18 at 23:55
$begingroup$
That's right @Berci
$endgroup$
– Javi
Dec 21 '18 at 15:58
$begingroup$
That's right @Berci
$endgroup$
– Javi
Dec 21 '18 at 15:58
add a comment |
0
active
oldest
votes
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%2f3044949%2ffunctorial-definition-of-continuous-map%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
0
active
oldest
votes
0
active
oldest
votes
active
oldest
votes
active
oldest
votes
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%2f3044949%2ffunctorial-definition-of-continuous-map%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$
I think you might be interested in the notion of frame.
$endgroup$
– Arnaud D.
Dec 18 '18 at 10:22
$begingroup$
Thanks, I just read today that a topological space is a set with a frame of open sets.
$endgroup$
– Javi
Dec 18 '18 at 10:51
$begingroup$
Where did contravariancy disappear? $S$ should rather be a subcategory of ${bf Set}times{bf Set}^{op}$, shouldn't it?
$endgroup$
– Berci
Dec 20 '18 at 23:55
$begingroup$
That's right @Berci
$endgroup$
– Javi
Dec 21 '18 at 15:58