grammar glitch

]]>added pointer to:

- Lisbeth Fajstrup, Jiří Rosický, Section 3 of:
*A convenient category for directed homotopy*, Theory and Applications of Categories, Vol. 21, 2008, No. 1, pp 7-20. (arXiv:0708.3937, tac:21-01)

added this pointer:

- Oswald Wyler,
*Convenient categories for topology*, General Topology and its Applications**3**3 (1973) 225-242 (doi:10.1016/0016-660X(72)90014-1)

[ 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 $\infty$-topos of smooth $\infty$-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:

- Rainer M. Vogt,
*Convenient categories of topological spaces for homotopy theory*, Arch. Math 22, 545–555 (1971) (doi:10.1007/BF01222616)

and

- {#Gaucher09} Philippe Gaucher, Section 2 of:
*Homotopical interpretation of globular complex by multipointed d-space*, Theory and Applications of Categories, vol. 22, number 22, 588-621, 2009 (arXiv:0710.3553)

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 $\mathbb{N}^\mathbb{N}$ 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 $\mathbb{R}^\mathbb{N}$. If such a countable product existed in $L C H A b$, 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 $LCHAb$ is not complete. It follows that $LCH$ cannot be complete either (it it were, then the category of abelian group objects $LCHAb$ would also be complete).

I have added some words to this effect at locally compact space.

]]>I ve heard about this book categories for the working ... and will start my study now. Thank you a lot.! When I get through you ll receive an other comment. All the best! ]]>

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 $X$, $Y$, there is an object $Y^X$ (thought of as a “space of maps from $X$ to $Y$”) such that for any object $Z$, there is a bijection between the set of maps $Z \to Y^X$ and the set of maps $Z \times X \to Y$, and this bijection is natural in $Z$.

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.

]]>first I want to say sorry for my late response, but I justed moved to a new flat and I still don t ve internet. thank you again for your more detailled version. it is only that until now i have actually a very little knowledge about category theory (never saw hom(-xN)...before). So far as I understood the concept of cartesian closedness is about the existence of natural funtion spaces as defined with Definition 3.1.1 in "Foundations of Topology" for instance:

http://books.google.de/books?id=YY14k_ntfq0C&printsec=frontcover&dq=an+approach+to+convenient+topology&source=bl&ots=IEOmqzIqAU&sig=NQrlQjGnN0LC7VUhr155HeVsWIw&hl=de&ei=MjfwTNeHAcX2sgaxzej5Cg&sa=X&oi=book_result&ct=result&resnum=4&ved=0CDUQ6AEwAw#v=onepage&q&f=false

So if you could assure that we are talking about the same property, I will spend some effort to introduce myself to your terminology (since I made no progress to assure myself having a look to the definition of cartesian closedness in nlab).

Thank you very much! ]]>

@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 $\mathbb{N}^\mathbb{N}$ in $LCH$ would be, by definition, a representing object for the functor

$\hom_{LCH}(- \times \mathbb{N}, \mathbb{N}): LCH^{op} \to Set$and this determines the ’right’ topology on $\mathbb{N}^\mathbb{N}$, 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 $\mathbb{N}^\mathbb{N}$ has to be the product topology, for we have

$\hom_{LCH}(X \times \mathbb{N}, \mathbb{N}) \cong \hom_{LCH}(\sum_{\mathbb{N}} X, \mathbb{N}) \cong \prod_{\mathbb{N}} \hom(X, \mathbb{N}) \cong \hom(X, \prod_{\mathbb{N}} \mathbb{N})$(all isomorphisms natural in $X$; the first isomorphism uses discreteness of $\mathbb{N}$). 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 $\X$ on $\mathbb{N}^{\mathbb{N}}$ such that $(\mathbb{N}^\mathbb{N},\X)$ is locally compact and such that X is describing continous convergence - to get a real counterexample with this. I knew the argument that $\mathbb{N}^{\mathbb{N}}$ 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 $\mathbb{N}^\mathbb{N}$ where $\mathbb{N}$ 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 $(0, 1)$ 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.

]]>Thanks in advance. ]]>

@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!!

]]>