grammar glitch
]]>added pointer to:
added this pointer:
[ typo in diagram now fixed ]
]]>I have expanded the Examples-section a fair bit:
In a new first subsection “Categories of colimits of generating spaces” (here) I have recorded more of the original insights from Vogt 1971, already much along the lines of the later development by Escardo, Lawson & Simpson 2004 (which was the only reference that the prvious version of the entry had mentioned here).
Then in a second new subsection (here) I have recorded the observation that once one has gone to the “really convenient” (J. Smith) category of Delta-generated space, the door opens up yet ever more convenience by embedding into the quasi-topos of diffeological spaces, then the cohesive topos of smooth sets, and finally the cohesive -topos of smooth -groupoids – whose shape modality still sees the correct homotopy types of all topological spaces, under this embedding.
I have also added a diagram showing this state of affairs.
]]>I have added pointer to:
and
and I have grouped this (here), together with Escardo, Lawson & Simpson 2004, under:
“Discussion in the generality that subsumes compactly generated topological spaces and Delta-generated topological spaces and all cases of subcategory-generated spaces in between:”
]]>I have tried to bring the list of references here more into chronological order.
This list is lacking more comments on what it is that the given items contributed to the idea of convenient categories.
I gather that the three articles by R. Brown (now here) are claimed to be precursors to Steenrod’s, and so I have moved them out of the list of other approaches (quasi-topological and what not) and related to Steenrod’s article more closely.
]]>Unified formatting of references somewhat.
]]>Deleted mathforge.
]]>I have fixed the code for the numbered Definitions/Theorems at conventient category of topological spaces.
Notice that with the new CSS, if you use wrong code such as
.num_thm
(which is not recognized)
instead of
.num_theorem
(which is), then the formatting comes out really bad now.
]]>It seems to me that my last reply to Callot in #16 is still not quite a proof; the issue is not whether under the usual topological product topology is locally compact (it is of course not), but whether infinite products exist in the category of locally compact Hausdorff spaces. They do not, but we should still give an honest proof.
To settle this for good, I’ll change the example to . If such a countable product existed in , then we could easily give it a structure of Hausdorff TVS over the real numbers. But it is well-known that a locally compact Hausdorff TVS is finite-dimensional. So is not complete. It follows that cannot be complete either (it it were, then the category of abelian group objects would also be complete).
I have added some words to this effect at locally compact space.
]]>There is only one notion of cartesian closedness, so we are certain to agree. I only have limited page views of that Google book, but a category is cartesian closed if it has finite products and if for any two objects , , there is an object (thought of as a “space of maps from to ”) such that for any object , there is a bijection between the set of maps and the set of maps , and this bijection is natural in .
I have looked at the nLab page on cartesian closed categories, and it is rather impoverished. I intend to add some expositional details, but I also encourage you to begin learning category theory from an established text, such as Categories for the Working Mathematician. You will be amply repaid for your efforts.
I am guessing your native language is German. My first name probably does look a little unusual to native German speakers (my in-laws are German by birth). Sometimes it’s spelled T-o-d, but mine has two d’s. It’s an old English name with several meanings, including “fox” – traces of that meaning can be seen in English surnames like “Todhunter”. Of course “Tod” has a meaning in German, but it’s not one of my favorites. :-) I am named Todd because there is a (somewhat distant) family connection to Abraham Lincoln, whose wife’s name was Mary Todd Lincoln.
]]>@Callot: fair enough. I didn’t mean to seem dismissive in throwing out that example. Let me try again.
I thought the question is whether the category of locally compact Hausdorff spaces is cartesian closed. Certainly “cartesian” is not an issue: the cartesian product of two locally compact Hausdorff spaces is their usual topological product.
Next, we examine “closure”. An exponential in would be, by definition, a representing object for the functor
and this determines the ’right’ topology on , never mind whether or not this happens to be the compact-open topology. If you agree with this, then the course is fixed and the topology on has to be the product topology, for we have
(all isomorphisms natural in ; the first isomorphism uses discreteness of ). And then the argument I gave above applies. Is this satisfactory?
]]>Thank you Todd, but I still don t know whether this is enough. Isn t it, that actually one has to proove that there is no topology on such that is locally compact and such that X is describing continous convergence - to get a real counterexample with this. I knew the argument that endowed with the product topology resp. the compact-open-topology is not locally compact before. It ll be great if you could help me with this!
]]>Yes. I apologize. I had been in a hurry.
]]>No problem, Todd. Let’s just all try to keep in mind that the nLab is used not just by us contributors.
]]>Sorry, Urs, I didn’t mean to sound snotty back in #6. By “everyone” I actually meant the core band of contributors here; sorry for the confusion. And I had already gotten the message that Mike addressed this.
]]>Last I looked, Mike didn’t give an explicit example that Callot is seeking. But an example might be where has the usual discrete topology. Discrete spaces are of course locally compact, and the compact-open topology is the usual product topology. But this exponential is not locally compact, because there is an explicit homeomorphism between this space and the space of irrationals in the interval with its usual subspace topology. This homeomorphism is given by the regular continued fraction expansion.
]]>I guess everyone knows “no it isn’t”,
As I said, there was a student who emailed me who did not know it, looked at the entry, and still did not get that information. So the entry needed to be improved.
but I’d be happy to expand on that.
Mike already did.
]]>@Zoran: whoops, it seems I did write that after all, but that was evidently before I had looked at Steenrod’s paper. It doesn’t matter, since nothing of that sort was said in the nLab article. The article seems consistent with your information.
]]>I see that Mike did react to my request from #3. Thanks!!
]]>