How should I deal with point-set topology problems in algebraic topology?
$begingroup$
In algebraic topology, many point-set topology problems arise. For example, the product of quotient maps need not be a quotient map; the smash product may not be associative; the canonical map $Z^{Xtimes Y}cong(Z^Y)^X$ is not necessarily a homeomorphism...
It seems that many authors chooses to stay in the category of compactly generated (weak Hausdorff) spaces to remedy this. For example, in Chapter 5 of Algebraic Topology by J. P. May, he introduces this concept and states without proof some basic properties, and then he assumes all topological spaces are compactly generated in the remainder of the book.
On the other hand, some authors do not assume this. Then some restrictions are necessary. In this context local compactness frequently crops up.
Here are my questions:
- Which approach should I take, as a beginner in this subject who does not want to be overwhelmed by technicalities?
- I currently know nothing about compactly generated spaces. I really want to read the text by May, but he uses this throughout, making many of his assertions simply false for me without the necessary restrictions (for instance, a cofibration need not be closed). How should I deal with this problem?
- Are there any readable introductions (be it a book, an article, lectures notes, etc.) to compactly generated spaces that provides working knowledge for use in algebraic topology?
Thanks for any advice!
algebraic-topology soft-question
$endgroup$
add a comment |
$begingroup$
In algebraic topology, many point-set topology problems arise. For example, the product of quotient maps need not be a quotient map; the smash product may not be associative; the canonical map $Z^{Xtimes Y}cong(Z^Y)^X$ is not necessarily a homeomorphism...
It seems that many authors chooses to stay in the category of compactly generated (weak Hausdorff) spaces to remedy this. For example, in Chapter 5 of Algebraic Topology by J. P. May, he introduces this concept and states without proof some basic properties, and then he assumes all topological spaces are compactly generated in the remainder of the book.
On the other hand, some authors do not assume this. Then some restrictions are necessary. In this context local compactness frequently crops up.
Here are my questions:
- Which approach should I take, as a beginner in this subject who does not want to be overwhelmed by technicalities?
- I currently know nothing about compactly generated spaces. I really want to read the text by May, but he uses this throughout, making many of his assertions simply false for me without the necessary restrictions (for instance, a cofibration need not be closed). How should I deal with this problem?
- Are there any readable introductions (be it a book, an article, lectures notes, etc.) to compactly generated spaces that provides working knowledge for use in algebraic topology?
Thanks for any advice!
algebraic-topology soft-question
$endgroup$
$begingroup$
Very carefully. (This snarky comment means that I have absolutely no idea how to answer, or even understand, these questions.)
$endgroup$
– marty cohen
Dec 17 '18 at 14:22
2
$begingroup$
This is a common problem and was a problem for me as a beginner many years ago. I have no good answer. People make the assumptions that make their theorems provable. You can start by reading Steenrod's "A Convenient Category..." paper.
$endgroup$
– Randall
Dec 17 '18 at 14:24
2
$begingroup$
And if you are talking about JP May's A Concise Course in Algebraic Topology, that is an excellent book but not a great one to learn from: it's written in a sophisticated, non-basic manner. If you're just starting out, there are easier ways to learn. (With all due respect to JPM, who is a superb writer and my mathematical grandfather.)
$endgroup$
– Randall
Dec 17 '18 at 14:35
1
$begingroup$
If you care mostly about "algebraic" in algebraic topology, stick with polyhedra. I can see that you don't but that's your own choice.
$endgroup$
– Peter Saveliev
Dec 17 '18 at 16:57
$begingroup$
Steenrod's notes were already mentioned. I also commend Stricklands The Category of CGWH Spaces
$endgroup$
– Card_Trick
Dec 18 '18 at 21:58
add a comment |
$begingroup$
In algebraic topology, many point-set topology problems arise. For example, the product of quotient maps need not be a quotient map; the smash product may not be associative; the canonical map $Z^{Xtimes Y}cong(Z^Y)^X$ is not necessarily a homeomorphism...
It seems that many authors chooses to stay in the category of compactly generated (weak Hausdorff) spaces to remedy this. For example, in Chapter 5 of Algebraic Topology by J. P. May, he introduces this concept and states without proof some basic properties, and then he assumes all topological spaces are compactly generated in the remainder of the book.
On the other hand, some authors do not assume this. Then some restrictions are necessary. In this context local compactness frequently crops up.
Here are my questions:
- Which approach should I take, as a beginner in this subject who does not want to be overwhelmed by technicalities?
- I currently know nothing about compactly generated spaces. I really want to read the text by May, but he uses this throughout, making many of his assertions simply false for me without the necessary restrictions (for instance, a cofibration need not be closed). How should I deal with this problem?
- Are there any readable introductions (be it a book, an article, lectures notes, etc.) to compactly generated spaces that provides working knowledge for use in algebraic topology?
Thanks for any advice!
algebraic-topology soft-question
$endgroup$
In algebraic topology, many point-set topology problems arise. For example, the product of quotient maps need not be a quotient map; the smash product may not be associative; the canonical map $Z^{Xtimes Y}cong(Z^Y)^X$ is not necessarily a homeomorphism...
It seems that many authors chooses to stay in the category of compactly generated (weak Hausdorff) spaces to remedy this. For example, in Chapter 5 of Algebraic Topology by J. P. May, he introduces this concept and states without proof some basic properties, and then he assumes all topological spaces are compactly generated in the remainder of the book.
On the other hand, some authors do not assume this. Then some restrictions are necessary. In this context local compactness frequently crops up.
Here are my questions:
- Which approach should I take, as a beginner in this subject who does not want to be overwhelmed by technicalities?
- I currently know nothing about compactly generated spaces. I really want to read the text by May, but he uses this throughout, making many of his assertions simply false for me without the necessary restrictions (for instance, a cofibration need not be closed). How should I deal with this problem?
- Are there any readable introductions (be it a book, an article, lectures notes, etc.) to compactly generated spaces that provides working knowledge for use in algebraic topology?
Thanks for any advice!
algebraic-topology soft-question
algebraic-topology soft-question
asked Dec 17 '18 at 13:57
ColescuColescu
3,26211136
3,26211136
$begingroup$
Very carefully. (This snarky comment means that I have absolutely no idea how to answer, or even understand, these questions.)
$endgroup$
– marty cohen
Dec 17 '18 at 14:22
2
$begingroup$
This is a common problem and was a problem for me as a beginner many years ago. I have no good answer. People make the assumptions that make their theorems provable. You can start by reading Steenrod's "A Convenient Category..." paper.
$endgroup$
– Randall
Dec 17 '18 at 14:24
2
$begingroup$
And if you are talking about JP May's A Concise Course in Algebraic Topology, that is an excellent book but not a great one to learn from: it's written in a sophisticated, non-basic manner. If you're just starting out, there are easier ways to learn. (With all due respect to JPM, who is a superb writer and my mathematical grandfather.)
$endgroup$
– Randall
Dec 17 '18 at 14:35
1
$begingroup$
If you care mostly about "algebraic" in algebraic topology, stick with polyhedra. I can see that you don't but that's your own choice.
$endgroup$
– Peter Saveliev
Dec 17 '18 at 16:57
$begingroup$
Steenrod's notes were already mentioned. I also commend Stricklands The Category of CGWH Spaces
$endgroup$
– Card_Trick
Dec 18 '18 at 21:58
add a comment |
$begingroup$
Very carefully. (This snarky comment means that I have absolutely no idea how to answer, or even understand, these questions.)
$endgroup$
– marty cohen
Dec 17 '18 at 14:22
2
$begingroup$
This is a common problem and was a problem for me as a beginner many years ago. I have no good answer. People make the assumptions that make their theorems provable. You can start by reading Steenrod's "A Convenient Category..." paper.
$endgroup$
– Randall
Dec 17 '18 at 14:24
2
$begingroup$
And if you are talking about JP May's A Concise Course in Algebraic Topology, that is an excellent book but not a great one to learn from: it's written in a sophisticated, non-basic manner. If you're just starting out, there are easier ways to learn. (With all due respect to JPM, who is a superb writer and my mathematical grandfather.)
$endgroup$
– Randall
Dec 17 '18 at 14:35
1
$begingroup$
If you care mostly about "algebraic" in algebraic topology, stick with polyhedra. I can see that you don't but that's your own choice.
$endgroup$
– Peter Saveliev
Dec 17 '18 at 16:57
$begingroup$
Steenrod's notes were already mentioned. I also commend Stricklands The Category of CGWH Spaces
$endgroup$
– Card_Trick
Dec 18 '18 at 21:58
$begingroup$
Very carefully. (This snarky comment means that I have absolutely no idea how to answer, or even understand, these questions.)
$endgroup$
– marty cohen
Dec 17 '18 at 14:22
$begingroup$
Very carefully. (This snarky comment means that I have absolutely no idea how to answer, or even understand, these questions.)
$endgroup$
– marty cohen
Dec 17 '18 at 14:22
2
2
$begingroup$
This is a common problem and was a problem for me as a beginner many years ago. I have no good answer. People make the assumptions that make their theorems provable. You can start by reading Steenrod's "A Convenient Category..." paper.
$endgroup$
– Randall
Dec 17 '18 at 14:24
$begingroup$
This is a common problem and was a problem for me as a beginner many years ago. I have no good answer. People make the assumptions that make their theorems provable. You can start by reading Steenrod's "A Convenient Category..." paper.
$endgroup$
– Randall
Dec 17 '18 at 14:24
2
2
$begingroup$
And if you are talking about JP May's A Concise Course in Algebraic Topology, that is an excellent book but not a great one to learn from: it's written in a sophisticated, non-basic manner. If you're just starting out, there are easier ways to learn. (With all due respect to JPM, who is a superb writer and my mathematical grandfather.)
$endgroup$
– Randall
Dec 17 '18 at 14:35
$begingroup$
And if you are talking about JP May's A Concise Course in Algebraic Topology, that is an excellent book but not a great one to learn from: it's written in a sophisticated, non-basic manner. If you're just starting out, there are easier ways to learn. (With all due respect to JPM, who is a superb writer and my mathematical grandfather.)
$endgroup$
– Randall
Dec 17 '18 at 14:35
1
1
$begingroup$
If you care mostly about "algebraic" in algebraic topology, stick with polyhedra. I can see that you don't but that's your own choice.
$endgroup$
– Peter Saveliev
Dec 17 '18 at 16:57
$begingroup$
If you care mostly about "algebraic" in algebraic topology, stick with polyhedra. I can see that you don't but that's your own choice.
$endgroup$
– Peter Saveliev
Dec 17 '18 at 16:57
$begingroup$
Steenrod's notes were already mentioned. I also commend Stricklands The Category of CGWH Spaces
$endgroup$
– Card_Trick
Dec 18 '18 at 21:58
$begingroup$
Steenrod's notes were already mentioned. I also commend Stricklands The Category of CGWH Spaces
$endgroup$
– Card_Trick
Dec 18 '18 at 21:58
add a comment |
1 Answer
1
active
oldest
votes
$begingroup$
Some thoughts:
You should learn to cope with different assumptions. This will take time; I'm sorry. You will not learn all this overnight. You will commonly come across CW restrictions, simplicial stuff, and the compactly-generated category. There is really no way around this, since all these categories have their own intrinsic advantages. Ease with these notions comes only with experience using them.
See point 1. When you need to, step aside and prove what he says is obvious. Or, just assume it's all fine and keep reading. Sweat the technicalities when you need to, not when someone else does.
Steenrod's paper A Convenient Category of Topological Spaces was one of the first to advocate for compactly-generated spaces. It actually contains proofs of many of the things you're asking about.
Michigan Math. J., Volume 14, Issue 2 (1967), 133-152.
$endgroup$
$begingroup$
Steenrod's paper has some queries about it: see the history in ncatlab.org/nlab/show/convenient+category+of+topological+spaces I hope my remarks in my book "Topology and Groupoids" get the message over that the search for a category "adequate and convenient for all purposes of topology" still has a way to go!
$endgroup$
– Ronnie Brown
Dec 17 '18 at 14:54
$begingroup$
Thank you for your insightful comments! I guess maybe I should just try to prove eveything May says then. My doubt is basically this: Not every author uses compactly generated spaces systematically. So would it be better if (as a beginner) I choose to stay in the usual category of topological spaces? I'll definitely look into that paper you've mentioned!
$endgroup$
– Colescu
Dec 17 '18 at 15:00
$begingroup$
I think Munkres' book Elements Of Algebraic Topology has careful proofs of the basic results in the standard and weak topologies, with good examples to show the differences. He starts early with Simplicial Complexes and then when CW complexes re considered, goes into more detail.
$endgroup$
– Matematleta
Dec 17 '18 at 16:33
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%2f3043975%2fhow-should-i-deal-with-point-set-topology-problems-in-algebraic-topology%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$
Some thoughts:
You should learn to cope with different assumptions. This will take time; I'm sorry. You will not learn all this overnight. You will commonly come across CW restrictions, simplicial stuff, and the compactly-generated category. There is really no way around this, since all these categories have their own intrinsic advantages. Ease with these notions comes only with experience using them.
See point 1. When you need to, step aside and prove what he says is obvious. Or, just assume it's all fine and keep reading. Sweat the technicalities when you need to, not when someone else does.
Steenrod's paper A Convenient Category of Topological Spaces was one of the first to advocate for compactly-generated spaces. It actually contains proofs of many of the things you're asking about.
Michigan Math. J., Volume 14, Issue 2 (1967), 133-152.
$endgroup$
$begingroup$
Steenrod's paper has some queries about it: see the history in ncatlab.org/nlab/show/convenient+category+of+topological+spaces I hope my remarks in my book "Topology and Groupoids" get the message over that the search for a category "adequate and convenient for all purposes of topology" still has a way to go!
$endgroup$
– Ronnie Brown
Dec 17 '18 at 14:54
$begingroup$
Thank you for your insightful comments! I guess maybe I should just try to prove eveything May says then. My doubt is basically this: Not every author uses compactly generated spaces systematically. So would it be better if (as a beginner) I choose to stay in the usual category of topological spaces? I'll definitely look into that paper you've mentioned!
$endgroup$
– Colescu
Dec 17 '18 at 15:00
$begingroup$
I think Munkres' book Elements Of Algebraic Topology has careful proofs of the basic results in the standard and weak topologies, with good examples to show the differences. He starts early with Simplicial Complexes and then when CW complexes re considered, goes into more detail.
$endgroup$
– Matematleta
Dec 17 '18 at 16:33
add a comment |
$begingroup$
Some thoughts:
You should learn to cope with different assumptions. This will take time; I'm sorry. You will not learn all this overnight. You will commonly come across CW restrictions, simplicial stuff, and the compactly-generated category. There is really no way around this, since all these categories have their own intrinsic advantages. Ease with these notions comes only with experience using them.
See point 1. When you need to, step aside and prove what he says is obvious. Or, just assume it's all fine and keep reading. Sweat the technicalities when you need to, not when someone else does.
Steenrod's paper A Convenient Category of Topological Spaces was one of the first to advocate for compactly-generated spaces. It actually contains proofs of many of the things you're asking about.
Michigan Math. J., Volume 14, Issue 2 (1967), 133-152.
$endgroup$
$begingroup$
Steenrod's paper has some queries about it: see the history in ncatlab.org/nlab/show/convenient+category+of+topological+spaces I hope my remarks in my book "Topology and Groupoids" get the message over that the search for a category "adequate and convenient for all purposes of topology" still has a way to go!
$endgroup$
– Ronnie Brown
Dec 17 '18 at 14:54
$begingroup$
Thank you for your insightful comments! I guess maybe I should just try to prove eveything May says then. My doubt is basically this: Not every author uses compactly generated spaces systematically. So would it be better if (as a beginner) I choose to stay in the usual category of topological spaces? I'll definitely look into that paper you've mentioned!
$endgroup$
– Colescu
Dec 17 '18 at 15:00
$begingroup$
I think Munkres' book Elements Of Algebraic Topology has careful proofs of the basic results in the standard and weak topologies, with good examples to show the differences. He starts early with Simplicial Complexes and then when CW complexes re considered, goes into more detail.
$endgroup$
– Matematleta
Dec 17 '18 at 16:33
add a comment |
$begingroup$
Some thoughts:
You should learn to cope with different assumptions. This will take time; I'm sorry. You will not learn all this overnight. You will commonly come across CW restrictions, simplicial stuff, and the compactly-generated category. There is really no way around this, since all these categories have their own intrinsic advantages. Ease with these notions comes only with experience using them.
See point 1. When you need to, step aside and prove what he says is obvious. Or, just assume it's all fine and keep reading. Sweat the technicalities when you need to, not when someone else does.
Steenrod's paper A Convenient Category of Topological Spaces was one of the first to advocate for compactly-generated spaces. It actually contains proofs of many of the things you're asking about.
Michigan Math. J., Volume 14, Issue 2 (1967), 133-152.
$endgroup$
Some thoughts:
You should learn to cope with different assumptions. This will take time; I'm sorry. You will not learn all this overnight. You will commonly come across CW restrictions, simplicial stuff, and the compactly-generated category. There is really no way around this, since all these categories have their own intrinsic advantages. Ease with these notions comes only with experience using them.
See point 1. When you need to, step aside and prove what he says is obvious. Or, just assume it's all fine and keep reading. Sweat the technicalities when you need to, not when someone else does.
Steenrod's paper A Convenient Category of Topological Spaces was one of the first to advocate for compactly-generated spaces. It actually contains proofs of many of the things you're asking about.
Michigan Math. J., Volume 14, Issue 2 (1967), 133-152.
answered Dec 17 '18 at 14:30
RandallRandall
10.6k11431
10.6k11431
$begingroup$
Steenrod's paper has some queries about it: see the history in ncatlab.org/nlab/show/convenient+category+of+topological+spaces I hope my remarks in my book "Topology and Groupoids" get the message over that the search for a category "adequate and convenient for all purposes of topology" still has a way to go!
$endgroup$
– Ronnie Brown
Dec 17 '18 at 14:54
$begingroup$
Thank you for your insightful comments! I guess maybe I should just try to prove eveything May says then. My doubt is basically this: Not every author uses compactly generated spaces systematically. So would it be better if (as a beginner) I choose to stay in the usual category of topological spaces? I'll definitely look into that paper you've mentioned!
$endgroup$
– Colescu
Dec 17 '18 at 15:00
$begingroup$
I think Munkres' book Elements Of Algebraic Topology has careful proofs of the basic results in the standard and weak topologies, with good examples to show the differences. He starts early with Simplicial Complexes and then when CW complexes re considered, goes into more detail.
$endgroup$
– Matematleta
Dec 17 '18 at 16:33
add a comment |
$begingroup$
Steenrod's paper has some queries about it: see the history in ncatlab.org/nlab/show/convenient+category+of+topological+spaces I hope my remarks in my book "Topology and Groupoids" get the message over that the search for a category "adequate and convenient for all purposes of topology" still has a way to go!
$endgroup$
– Ronnie Brown
Dec 17 '18 at 14:54
$begingroup$
Thank you for your insightful comments! I guess maybe I should just try to prove eveything May says then. My doubt is basically this: Not every author uses compactly generated spaces systematically. So would it be better if (as a beginner) I choose to stay in the usual category of topological spaces? I'll definitely look into that paper you've mentioned!
$endgroup$
– Colescu
Dec 17 '18 at 15:00
$begingroup$
I think Munkres' book Elements Of Algebraic Topology has careful proofs of the basic results in the standard and weak topologies, with good examples to show the differences. He starts early with Simplicial Complexes and then when CW complexes re considered, goes into more detail.
$endgroup$
– Matematleta
Dec 17 '18 at 16:33
$begingroup$
Steenrod's paper has some queries about it: see the history in ncatlab.org/nlab/show/convenient+category+of+topological+spaces I hope my remarks in my book "Topology and Groupoids" get the message over that the search for a category "adequate and convenient for all purposes of topology" still has a way to go!
$endgroup$
– Ronnie Brown
Dec 17 '18 at 14:54
$begingroup$
Steenrod's paper has some queries about it: see the history in ncatlab.org/nlab/show/convenient+category+of+topological+spaces I hope my remarks in my book "Topology and Groupoids" get the message over that the search for a category "adequate and convenient for all purposes of topology" still has a way to go!
$endgroup$
– Ronnie Brown
Dec 17 '18 at 14:54
$begingroup$
Thank you for your insightful comments! I guess maybe I should just try to prove eveything May says then. My doubt is basically this: Not every author uses compactly generated spaces systematically. So would it be better if (as a beginner) I choose to stay in the usual category of topological spaces? I'll definitely look into that paper you've mentioned!
$endgroup$
– Colescu
Dec 17 '18 at 15:00
$begingroup$
Thank you for your insightful comments! I guess maybe I should just try to prove eveything May says then. My doubt is basically this: Not every author uses compactly generated spaces systematically. So would it be better if (as a beginner) I choose to stay in the usual category of topological spaces? I'll definitely look into that paper you've mentioned!
$endgroup$
– Colescu
Dec 17 '18 at 15:00
$begingroup$
I think Munkres' book Elements Of Algebraic Topology has careful proofs of the basic results in the standard and weak topologies, with good examples to show the differences. He starts early with Simplicial Complexes and then when CW complexes re considered, goes into more detail.
$endgroup$
– Matematleta
Dec 17 '18 at 16:33
$begingroup$
I think Munkres' book Elements Of Algebraic Topology has careful proofs of the basic results in the standard and weak topologies, with good examples to show the differences. He starts early with Simplicial Complexes and then when CW complexes re considered, goes into more detail.
$endgroup$
– Matematleta
Dec 17 '18 at 16:33
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%2f3043975%2fhow-should-i-deal-with-point-set-topology-problems-in-algebraic-topology%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$
Very carefully. (This snarky comment means that I have absolutely no idea how to answer, or even understand, these questions.)
$endgroup$
– marty cohen
Dec 17 '18 at 14:22
2
$begingroup$
This is a common problem and was a problem for me as a beginner many years ago. I have no good answer. People make the assumptions that make their theorems provable. You can start by reading Steenrod's "A Convenient Category..." paper.
$endgroup$
– Randall
Dec 17 '18 at 14:24
2
$begingroup$
And if you are talking about JP May's A Concise Course in Algebraic Topology, that is an excellent book but not a great one to learn from: it's written in a sophisticated, non-basic manner. If you're just starting out, there are easier ways to learn. (With all due respect to JPM, who is a superb writer and my mathematical grandfather.)
$endgroup$
– Randall
Dec 17 '18 at 14:35
1
$begingroup$
If you care mostly about "algebraic" in algebraic topology, stick with polyhedra. I can see that you don't but that's your own choice.
$endgroup$
– Peter Saveliev
Dec 17 '18 at 16:57
$begingroup$
Steenrod's notes were already mentioned. I also commend Stricklands The Category of CGWH Spaces
$endgroup$
– Card_Trick
Dec 18 '18 at 21:58