11
$\begingroup$

It is known that the category $\mathbf{Top}$ is not cartesian closed, see MSE/2969372. Specifically, the functor $\mathbb{Q} \times -$ does not preserve the coequalizers. Also, $\mathbb{Q} \times -$ does not preserve filtered colimits by MSE/1255678. Both of these results show that $\mathbb{Q} \times -$ has no right adjoint.

I would like to know if the category of Hausdorff spaces $\mathbf{Haus}$ is cartesian closed. Probably not, but notice that the linked proofs are not quite sufficient for that, since they do not check if the occuring colimits taken in $\mathbf{Top}$ are Hausdorff or not. In general, the colimit in $\mathbf{Haus}$ is the Hausdorff quotient of the underlying colimit in $\mathbf{Top}$. It is possible that this step is not necessary in the linked examples, but this requires an additional proof.

Question 1. How to prove that $\mathbf{Haus}$ is not cartesian closed? (Update: actually this is already covered by MSE/1255678.)

Similarly, I would like to know why various categories of metric spaces are not cartesian closed: Let us denote by $\mathbf{Met}$ the category of metric spaces with non-expansive maps, by $\mathbf{Met}_\infty$ the variant of it where $\infty$ is allowed as a distance (this category is much better behaved), and by $\mathbf{Met}_c$ the category of metric spaces with continuous maps.

Question 2. How to prove that $\mathbf{Met}$, $\mathbf{Met}_\infty$ and $\mathbf{Met}_c$ are not cartesian closed? (Update: With my answer below, only $\mathbf{Met}_c$ remains open.)

In all of these examples, the terminal object is a generator representing the forgetful functor. It follows that the underlying set of the Hom-object has to be the set of morphisms and that the evaluation map must lift to an evaluation morphism. For example, the Hom-object $[X,Y]$ between two objects $X,Y \in \mathbf{Met}$ must be the set of non-expansive maps $X \to Y$ equipped with a suitable metric, but we don't know which metric.

In the case of $\mathbf{Met}_c$, which is equivalent to a full subcategory of $\mathbf{Haus}$, we might check if all the involved spaces in the proof for $\mathbf{Haus}$ are metrizable.

In the case of $\mathbf{Met}_\infty$, one might try the metric $$d(f,g) := \sup_{x \in X} d(f(x),g(x))$$ on the set of non-expansive maps $X \to Y$. However, the universal property is not satisfied, even the evaluation map $[X,Y] \times X \to Y$ is not necessarily non-expansive with this metric. It provides Hom-objects for the symmetric monoidal structure $(X,d_X) \otimes (Y,d_Y) = (X \times Y,d_{\otimes})$ where $d_{\otimes}((x,y),(x',y')) = d_X(x,x') + d_Y(y,y')$, which is not the product, which has $d_{\times}((x,y),(x',y')) = \sup(d_X(x,x'),d_Y(y,y'))$.

This construction is a special case of the construction of Hom-objects of Lawvere metric spaces, which can be seen as enriched categories, and the formula is just an instance of the general end formula for the Hom-object between two enriched functors: $$[F,G] = \int_x [F(x),G(x)]$$ But, as mentioned, this provides an adjunction for the tensor product, not the product.

It should also be noted that $\mathbf{Haus}$, $\mathbf{Met}_\infty$ and $\mathbf{Met}_c$ are infinitary distributive (even infinitary extensive), so $X \times -$ preserves all coproducts. So if we were using that approach, we would need to find a coequalizer that is not preserved. And $\mathbf{Met}$ has no coproducts anyway. It is worth mentioning that $\mathbf{Met}_c$ doesn't have all coequalizers (proof).

$\endgroup$
6
  • $\begingroup$ Does $2^X$ always exist in $\mathsf{Haus}$ for $2$ the discrete space? We know the points are clopen sets of $X$, and maybe we can extract some kind of core-compactness condition from this. $\endgroup$ Commented Apr 4 at 18:35
  • $\begingroup$ @Trebor Good question. I have added some remarks on the topology on $[X,Y]$ to my answer. For $Y=2$ we can make it more concrete, and maybe already the axioms for a topology fail, let's see... $\endgroup$ Commented Apr 5 at 1:13
  • $\begingroup$ I left some references which seemed pertinent, but for some reason seem to have disappeared. $\endgroup$ Commented Apr 5 at 14:18
  • 1
    $\begingroup$ @Tyrone Moderators may remove comments that contain answers, it's not what they are made for. $\endgroup$ Commented Apr 5 at 23:34
  • $\begingroup$ @Tyrone Can you post your comment again as an answer in case it was addressing the metric spaces with continuous maps? $\endgroup$ Commented Apr 9 at 10:22

2 Answers 2

7
+300
$\begingroup$

There are existing results in the literature which answer some of your questions. For instance, I believe that it was known quite early that $\mathrm{Haus}$ is not Cartesian closed. Right now I'd like only to bring to your attention the following result, which dates from 1982.

Theorem (H. Brandenburg and M.Hušek [1]) If a reflective subcategory of $\mathrm{Top}$ contains the two-point discrete space, then it is not Cartesian closed. $\quad\blacksquare$

As the authors remark, the theorem implies that any reflective, Cartesian closed subcategory of $\mathrm{Top}$ must consist of connected spaces.

Corollary $\mathrm{Haus}$ is not Cartesian closed. $\quad\blacksquare$

Later work gives answers in stronger forms. The follow result is contained in papers dating from 1985 and 1990, respectively.

Theorem (Činčura [2], [3]) If a nontrivial reflective subcategory $\mathcal{T}\subseteq\mathrm{Top}$ contains the discrete two-point space and carries a closed symmetric monoidal structure $(\square,[-,-])$, then $\square$ is the $\mathcal{T}$-cross product and $[-,-]$ is the space of continuous maps $X\rightarrow Y$ in the pointwise topology. $\quad\blacksquare$

The pointwise topology is the same as the product topology, so $[X,Y]$ will belong to $\mathcal{T}$ if $\mathcal{T}$ is reflective and $Y\in\mathcal{T}$. The $\mathcal{T}$-cross topology on $X\times Y$ is the initial topology determined by all functions $f\colon X\times Y\rightarrow Z$, where $(i)$ $Z\in\mathcal{T}$, $(ii)$ $f(x,\cdot)\colon Y\rightarrow Z$ is continuous for all $x\in X$, and $(iii)$ $f(\cdot,y)\colon X\rightarrow Z$ is continuous for all $y\in Y$.

The theorem applies to the epireflective subcategory $\mathrm{Haus}$ and clearly implies that it is not Cartesian closed.

Turning now to the various categories of metric spaces, the following is contained in Exercise 6.6.18 of Goubault-Larrecq's textbook [4].

Theorem ([4, Exercise 6.6.18]) The exponential objects in $Met_\infty$ are exactly the discrete metric spaces. $\quad\blacksquare$

If $X$ is a discrete metric space, then for any metric space $Y$, the internal hom $[X,Y]$ is the set of short maps $X\rightarrow Y$ equipped with the sup metric $d(f,g)=\sup_{x\in X}d_Y(f(x),g(x))$. The exercise also includes statements about the categories of extended quasimetric and hemimetric spaces with short maps. It's possible that the methods also work for finite-valued metrics, but I have not verified this.

Corollary $Met_\infty$ is not Cartesian closed. $\quad\blacksquare$

Finally, we let us address the situation for $Met_c$. I had hoped to provide a slightly stronger answer, but didn't quite get there. As such, I apologise for the rather roundabout proof.

Proposition All separable, locally compact metrisable spaces are exponentiable in $Met_c$. Every exponentiable object in $Met_c$ is locally compact.

Since there are metric spaces which are not locally compact ($\mathbb{Q}$ is the simplest example), there are nonexponentiable metric spaces.

Corollary $Met_c$ is not Cartesian closed. $\quad\blacksquare$

The remainder of this post will contain a proof of the statement above. For spaces $Y,Z$ let $C(Y,Z)$ denote the set of continuous functions $Y\rightarrow Z$. Define the $\mathscr{M}$-topology on $C(Y,Z)$ to be the final topology induced by the family of all functions $f\colon X\rightarrow C(Y,Z)$ such that $(i)$ $X$ is metrisable and $(ii)$ the adjoint $f^\flat\colon X\times Y\rightarrow Z$ is continuous.

The $\mathscr{M}$-topology is quite reasonable. It's easily seen to be functorial in both variables. Moreover, it is sequential, as it is the final topology determined by a class of functions with metrisable domains. In fact, if $\mathbb{N}_\infty\cong\{1/n\mid n\in\mathbb{N}\}\cup\{0\}$, then when $Y$ is metrisable the $\mathscr{M}$-topology is exactly the final topology induced by the family of all functions $f\colon \mathbb{N}_\infty\rightarrow C(Y,Z)$ for which the adjoint $f^\flat\colon \mathbb{N}_\infty\times Y\rightarrow Z$ is continuous.

Write $C_k(Y,Z)$ for $C(Y,Z)$ equipped with the compact-open topology.

Lemma For any spaces $Y,Z$, the $\mathscr{M}$-topology on $C(Y,Z)$ contains the compact-open topology. If $Y$ and $C_k(Y,Z)$ are metrisable, then the $\mathscr{M}$-topology coincides with the compact-open topology.

Proof It's well known that for any space $X$, any map $X\times Y\rightarrow Z$ has a continuous adjoint $X\rightarrow C_k(Y,Z)$. By definition, the $\mathscr{M}$-topology is the largest topology enjoying this property for metrisable $X$. Thus it contains the compact-open topology.

Now assume that $Y$ is metrisable. Then for any metrisable space $X$ and any map $f\colon X\rightarrow C_k(Y,Z)$, the adjoint $f^\flat\colon X\times Y\rightarrow Z$ is continuous [5, Corollary 3.2, p.261]. By definition of the $\mathscr{M}$-topology, $f$ is continuous as a map $f\colon X\rightarrow C_\mathscr{M}(Y,Z)$. In case $C_k(Y,Z)$ is metrisable, take $X=C_k(Y,Z)$ and $f=id$ to generate a continuous bijection $C_k(Y,Z)\rightarrow C_\mathscr{M}(Y,Z)$, implying that the compact-open topology contains the $\mathscr{M}$-topology. $\quad\blacksquare$

Lemma Suppose that $Y$ is exponentiable in $Met_c$. Then for any metrisable space $Z$ the exponential $[Y,Z]$ is the set $C(Y,Z)$ equipped with the $\mathscr{M}$-topology.

Proof It's clear that $[Y,Z]$ is the set $C(Y,Z)$ equipped with a metrisable topology. Moreover, for any metrisable space $X$, any map $X\times Y\rightarrow Z$ has a continuous adjoint $X\rightarrow[Y,Z]$. Thus the $\mathscr{M}$-topology contains the exponential topology.

Conversely, notice that the evaluation $[Y,Z]\times Y\rightarrow Z$ is continuous. Since $[Y,Z]$ is metrisable, the adjoint $[Y,Z]\rightarrow C_\mathscr{M}(Y,Z)$ is continuous. This map is clearly bijective, implying that the exponential topology contains the $\mathscr{M}$-topology. $\quad\blacksquare$

Lemma If $Y$ is a k-space and $Z$ is any space, then $C_\mathscr{M}(Y,Z)$ is the sequential coreflection of $C_k(Y,Z)$.

Proof The identity $C_\mathscr{M}(Y,Z)\rightarrow C_k(Y,Z)$ is continuous and, as noted above, $C_\mathscr{M}(Y,Z)$ is sequential. Since $\mathbb{N}_\infty$ is compact metric, $X\times Y$ is a k-space. Thus any map $f\colon\mathbb{N}_\infty\rightarrow C_k(Y,Z)$ has a continuous adjoint $\mathbb{N}_\infty\times Y\rightarrow Z$ by [5, p.261]. Adjointing back yields a continuous map $\mathbb{N}_\infty\rightarrow C_\mathscr{M}(Y,Z)$, since $\mathbb{N}_\infty$ is metrisable. This is exactly a continuous lift of $f$. This shows that $C_\mathscr{M}(Y,Z)$ is the sequential coreflection of $C_k(Y,Z)$. $\quad\blacksquare$

Let $S_\omega$ denote the sequential fan. That is, $S_\omega$ is the quotient of a sum of countably many copies of $\mathbb{N}_\infty$ obtained by identifying all limits points. The space $S_\omega$ is Fréchet-Urysohn, but not metrisable. In particular, any space containing a copy of $S_\omega$ cannot be metrisable.

Theorem (Gruenhage, Tsaban, Zdomskyy [6. Theorem 2.2]) If $Y$ is a metrisable and not locally compact, then $C_k(Y,\mathbb{R})$ contains a closed copy of $S_\omega$. $\quad\blacksquare$

Using this, we have the following.

Proposition If $Y$ is metrisable and not locally compact, then $C_\mathscr{M}(Y,\mathbb{R})$ is not metrisable.

Proof By the theorem above there is a closed embedding $j\colon S_\omega\hookrightarrow C_k(Y,\mathbb{R})$. Since $C_\mathscr{M}(Y,\mathbb{R})$ is the sequential coreflection of $C_k(Y,\mathbb{R})$ and $S_\omega$ is sequential, $j$ lifts to $C_\mathscr{M}(X,\mathbb{R})$ as a closed embedding. Since $S_\omega$ is not metrisable, neither is $C_\mathscr{M}(Y,\mathbb{R})$. $\quad\blacksquare$

In fact, as Gruenhage, Tsaban, and Zdomskyy point out, a topological group contains a closed copy of $S_\omega$ if and only if it contains a closed copy of the Arens space $S_2$. Since the Arens space is not Fréchet-Urysohn, by the same argument as above, $C_\mathscr{M}(Y,\mathbb{R})$ is not Fréchet-Urysohn if $Y$ is metrisable and not locally compact.

Corollary If $Y$ is metrisable, but not locally compact, then $Y$ is not exponentiable in $Met_c$.

Proof If $Y$ is exponentiable, then $[Y,\mathbb{R}]\cong C_\mathscr{M}(Y,\mathbb{R})$. But this contradicts the fact that $C_\mathscr{M}(Y,\mathbb{R})$ is not metrisable. $\quad\blacksquare$

This shows the important half of the main claim. The other part is now shown. Recall that a space $Y$ is hemicompact if it is the union of a family of countably many compact subspace $\{K_n\mid n\in\mathbb{N}\}$ and for any compact subset $K\subseteq Y$ there is $n$ for which $K\subseteq K_n$.

Proposition ([6, Exercise 3.4.E, p.165]) For any metrisable space $Z$, if $Y$ is hemicompact, then $C_k(Y,Z)$ is metrisable. $\quad\blacksquare$

The statement in [6] restricts $Y$ to be Tychonoff, but this is actually not required. Still, if $Y$ is Tychonoff, then $C_k(Y,\mathbb{R})$ is metrisable if and only if $Y$ is hemicompact.

Corollary A separable metrisable space is exponentiable in $Met_c$ if and only if it is locally compact.

Proof Let $Y$ be a separable metrisable space. If $Y$ is not locally compact, then it is not exponentiable in $Met_c$ by the statement above. On the other hand, if $Y$ is locally compact, then it is hemicompact and $C_k(Y,Z)$ is metrisable for any metrisable space $Z$. By the results above $C_k(Y,Z)\cong C_\mathscr{M}(Y,Z)$ and it's clear that putting $[Y,Z]=C_k(Y,Z)$ defines an exponential object in $Met_c$. $\quad\blacksquare$

Remark One might conjecture that the exponential objects in $Met_c$ are exactly the separable, locally compact, metrisable spaces. However, I do not know if a nonseparable, locally compact, metrisable space $Y$ can be exponentiable. The compact-open topology on $C(Y,Z)$ will never be metrisable, but it is conceivable that the finer $\mathcal{M}$-topology could still be metrisable. The space $Y$ decomposes into a sum of uncountably many open, $\sigma$-compact subspaces $Y=\bigsqcup_{i\in\mathcal{I}}Y_i$ and if $Y$ is exponentiable, then for any metrisable spaces $X,Z$ there is a bijection $C(X,[Y,Z])\cong C(X,\prod_{i\in\mathcal{I}}[Y_i,Z])$. If $Z$ has more than one point, then $\prod_{i\in\mathcal{I}}[Y_i,Z]$ is not metrisable. Still, this isn't strong enough to yield a contradiction.

References

[1] H. Brandenburg, M. Hušek , A Remark on Cartesian Closedness, in: Kamps, K.H., Pumplün, D., Tholen, W. (eds) Category Theory. Lecture Notes in Mathematics, vol 962. Springer, Berlin, Heidelberg.

[2] J. Činčura, Closed Structures on Categories of Topological Spaces, Top. and App. 20(2) (1985), 179-189.

[3] J. Činčura, Closed Structures on Reflective Subcategories of the Category of Topological Spaces, Top. and App. 37 (1990), 237-248.

[4] E. Goubault-Larrecq, Non-Hausdorff Topology and Domain Theory: Selected Topics in Point-Set Topology, Cambridge University Press (2013).

[5] J. Dugundji, Topology, Allyn-Bacon (1966).

[6] G. Gruenhage, B. Tsaban, L. Zdomskyy, Sequential properties of function spaces with the compact-open topology, Top. and App. 158(3) (2011), 387-391.

[7] R. Engelking, General Topology, Revised Edition, Heldermann Verlag (1989).

$\endgroup$
3
  • $\begingroup$ Thank you so much for this detailed answer. I must admit that I am not able to understand the details right now, but given the positive reactions here I will accept it now and also reward you with the bounty. :) In the meantime I have found a much simpler proof that $\mathbf{Met}_c$ is not cartesian closed, see my answer. (Or rather, CatDat's deduction system has found it.) $\endgroup$ Commented Apr 10 at 17:18
  • $\begingroup$ PS: It is interesting that I am not the only Brandenburg in maths. $\endgroup$ Commented Apr 10 at 17:22
  • $\begingroup$ I thought at several points that I could exactly characterise the exponentiable objects, so the proof ended up getting longer than necessary. I decided to leave it as is as I hoped the extra details about the exponential topology might be of some interest to you or others. If you have any questions, please feel free to ask and I'll try to clarify. $\endgroup$ Commented Apr 11 at 8:44
4
$\begingroup$

This answer shows that all mentioned categories are not cartesian closed.

$\mathbf{Met}$ is not cartesian closed

For $r \geq 0$ consider the metric space $T_r$ which has two points $0,1$ with distance $r$. Then for every metric space $X$ the morphisms $T_r \to X$ correspond to points $x,y \in X$ with $d(x,y) \leq r$.

Assume that $[X,Y]$ exists. As mentioned, we know its underlying set, but using $T_r$ we also know the metric: For non-expansive maps $f,g : X \rightrightarrows Y$ we have $d(f,g) \leq r$ if and only if there is a morphism $T_r \to [X,Y]$ sending $0 \mapsto f$ and $1 \mapsto g$. And this corresponds to a morphism $T_r \times X \to Y$ sending $(0,x) \mapsto f(x)$ and $(1,x) \mapsto g(x)$.

That is, $d(f,g) \leq r$ holds if and only if this map $T_r \times X \to Y$ is non-expansive. This condition is automatic for pairs like $(0,x),(0,x')$ and like $(1,x),(1,x')$. For pairs like $(0,x),(1,x')$ the condition is

$d(f(x),g(x')) \leq d((0,x),(1,x')) = \sup(r, d(x,x')).$

Thus, $d(f,g)$ is the smallest number $r$ satisfying $d(f(x),g(x')) \leq \sup(r, d(x,x'))$ for all $x,x'$.

In particular, it needs to satisfy $d(f(x),g(x)) \leq d(f,g)$ for all $x$.

Now consider $X = Y = \mathbb{N}$ with the usual metric, $f(n)=0$, $g(n)=n$. These are non-expansive. Then $d(f,g) \geq d(f(n),g(n)) = n$ for all $n$, a contradiction if we were working in $\mathbf{Met}$.

Remark. The same proof works in the category of pseudo-metric spaces.

$\mathbf{Met}_\infty$ is not cartesian closed

For this category, we continue the previous proof and check that the function $d$ on the non-expansive maps does not satisfy the triangle inequality. Without this condition, the category would indeed be cartesian closed. Here is an example*.

Consider $X = \{0,10\}$ and $Y = \mathbb{R}$ (both with the usual metric). Define three non-expansive maps $f,g,h : X \to Y$ by

  • $f(0) = 0$, $f(10) = 10$
  • $g(0) = 1$, $g(10) = 10$
  • $h(0) = 2$, $h(10) = 11$

Let us calculate the distances $d(f,g)$, $d(g,h)$, $d(f,h)$.

$d(f,g)$ is the smallest $r \geq 0$ such that $|f(x) - g(x')| \leq \sup(r, |x-x'|)$ for all $x,x' \in X$. For $x=x'$ this says $|f(x)-g(x)| \leq r$. For $x=x'=0$ we get $1 \leq r$. For $x=x'=10$ we get $0 \leq r$ (true). For $x=0$, $x'=10$ we get $10 \leq \sup(r, 10)$ (true). For $x=10$, $x'=0$ we get $9 \leq \sup(r,10)$ (true). Hence, $d(f,g) = 1$.

$d(g,h)$ is the smallest $r \geq 0$ such that $|g(x) - h(x')| \leq \sup(r, |x-x'|)$ for all $x,x' \in X$. For $x=x'$ this says $|g(x)-h(x)| \leq r$. For $x=x'=0$ we get $1 \leq r$. For $x=x'=10$ we get $1 \leq r$. For $x=0$, $x'=10$ we get $10 \leq \sup(r,10)$ (true). For $x=10$, $x'=0$ we get $8 \leq \sup(r,10)$ (true). Hence, $d(g,h)=1$.

$d(f,h)$ is the smallest $r \geq 0$ such that $|f(x) - h(x')| \leq \sup(r, |x-x'|)$ for all $x,x' \in X$. For $x=x'$ this says $|f(x)-h(x)| \leq r$. For $x=x'=0$ we get $2 \leq r$. For $x=x'=10$ we get $1 \leq r$. For $x=0$, $x'=10$ we get $11 \leq \sup(r,10)$, i.e. $\color{red}{r \geq 11}$. For $x=10$, $x'=0$ we get $8 \leq \sup(r,10)$ (true). Hence, $d(f,h)=11$.

So the triangle inequality would be $11 \leq 1+1$, which fails.

*Disclaimer: I found this counterexample with Google Gemini 3. I have checked all the details and wrote down the proof in my own words, I did not just copy paste the proof. I find it quite fascinating that Gemini was able to find it. It even gave an intuitive explanation for this example (which I omit for now).

$\mathbf{Met}_c$ is not cartesian closed

Assume $\mathbf{Met}_c$ is cartesian closed. Notice that this category has all coproducts, in particular all copowers. Every cartesian closed category with copowers has all powers (proof). But $\mathbf{Met}_c$ does not have all powers. In fact, most uncountable products do not exist by MSE/139168.

$\mathbf{Haus}$ is not cartesian closed

It has been pointed out by Ben that actually MSE/1255678 can be used directly to settle $\mathbf{Haus}$. All the spaces are Hausdorff, the only one where it is not immediately clear is the $\mathbf{Top}$-colimit of the spaces $X_n \times \mathbb{Q}$. But this admits a continuous bijection to a Hausdorff space, and such a space is always Hausdorff. Thus, it is already the $\mathbf{Haus}$-colimit.

Some general thoughts

Here are some thoughts that apply to $\mathbf{Haus}$ and similar categories. The topology of a space is determined by the relation of net convergence. And this can be encoded via continuous maps, see Reference for convergent nets as continuous functions from $D\cup\{\infty\}$ for example. Specifically, a net indexed by a directed set $D$ in $[X,Y]$ (the potential Hom-object in $\mathbf{Haus}$) is just a map $D \to [X,Y]$, and it converges if it has a continuous extension to a suitably defined topological space $D \cup \{\infty\}$. We may assume w.l.o.g. that $D$ has no largest element (otherwise convergence is boring), but then this space is Hausdorff! Hence, continuous maps $D \cup \{\infty\} \to [X,Y]$ correspond to continuous maps $(D \cup \{\infty\}) \times X \to Y$. This means: If $(f_d)$ and $f$ are continuous maps $X \to Y$, we have $f_d \to f$ if and only if the map $$(D \cup \{\infty\}) \times X \to Y, \, (d,x) \mapsto f_d(x),\, (\infty,x) \mapsto f(x)$$ is continuous. The map is continuous at points $(d,x)$ anyway, and continuity at $(\infty,x)$ means:

If $V$ is an open neighborhood of $f(x)$, then there is some open neighborhood $U$ of $x$ and some $d_0 \in D$ such that $f(U) \subseteq V$ and $f_d(U) \subseteq V$ for all $d \geq d_0$.

This condition seems to be a mix of pointwise and uniform convergence, I don't know if it has a name. We don't need to write $f(U) \subseteq V$, this can be arranged by replacing $U$ with $U \cap f^{-1}(V)$. If we are working with metric spaces, we may even assume that $D = \mathbb{N}$ with the usual order.

This is a full description of the net convergence on $[X,Y]$, and hence of its topology. It is straight forward to check that both the counit $X \times [X,Y] \to Y$, $(x,f) \mapsto f(x)$ and the unit $X \to [Y, X \times Y]$, $x \mapsto (y \mapsto (x,y))$ preserve net convergence under this definition.

So the only thing left to do is to check if the four axioms for net convergence (Kelley, General topology, Ch. 2, Thm. 9) are satisfied. Two axioms are easy: constant nets converge, and subnets of convergent nets converge to the same element. The other two are not that obvious (and cannot hold in general).

$\endgroup$
3
  • 1
    $\begingroup$ These are some interesting thoughts about net convergence, but I'm surprised that no one seems to have checked whether the counterexamples for $\mathrm{Top}$ you link in the OP actually work in $\mathrm{Haus}$ or not, because this one clearly does: $X$ and the $X_n$ are Hausdorff (in fact admit CW-structures), and $\mathbb{Q}$ is Hausdorff, so $X \times \mathbb{Q}$ is Hausdorff, whence the colimit comparison map is a continuous bijection onto a Hausdorff space and therefore must have Hausdorff domain. $\endgroup$ Commented Apr 5 at 23:37
  • 2
    $\begingroup$ That's a valid point (and doesn't seem to be a comment to my post, it is an answer). $\endgroup$ Commented Apr 5 at 23:42
  • 1
    $\begingroup$ I deliberately avoided posting it as an answer because it's such a minor observation. If you would like me to post it as an answer I can do that, but I would also be content if you just edited this observation into yours. $\endgroup$ Commented Apr 5 at 23:44

You must log in to answer this question.

Start asking to get answers

Find the answer to your question by asking.

Ask question

Explore related questions

See similar questions with these tags.