Is the box topology good for anything? In point-set topology, one always learns about the box topology: the topology on an infinite product $X = \prod_{i \in I} X_i$ generated by sets of the form $U = \prod_{i \in I} U_i$, where $U_i \subset X_i$ is open.  This seems naively like a "good" topology to use for $X$.  However, one quickly learns that this is not so; that the product topology is the natural one.
The box topology has many strange properties that make it a good source for counterexamples, but I am not aware of it having any other applications.  So I would like to know:

Are there examples of using the box topology to prove interesting "positive" statements?

Edit: And to pursue a comment of Jim Conant:

Are there "non-artificial" problems where the box topology arises naturally?

Edit: The title is perhaps too flippant.  I don't mean to minimize the obvious significance of the box topology as a counterexample.  However, for the purposes of this question I am interested in positive results.  I'm not looking to be convinced that counterexamples are useful; I know that they are.
 A: There is a positive answer to Jim Conant's query. A closure system is a set $X$ together with a collection $\mathcal{C}$ of subsets of $X$ that satisfies


*

*We have $X \in \mathcal{C}$.

*For all $\mathcal{A} \subseteq \mathcal{C}$ we have $\cap \mathcal{A} \in \mathcal{C}$.


For all $A \subseteq X$ define $c(A) = \cap \{ C \in \mathcal{C} \colon A \subseteq C \} $.
The elements of $\mathcal{C}$ will be called closed sets. In practice if you are interested in this sort of thing it is better to change the definitions to convex structure and convex set because the word "closed" has too many meanings. The definitions above are the standard definitions. Sometimes people want $\varnothing$ to be a closed set.
Suppose that $E \subseteq A \subseteq X$. We will say that $E$ is an extreme subset of $A$ if and only if for all $D \subseteq A$ we have $E \cap c(D) = E \cap c(E \cap D)$. If you wish you can check that in a real vector space this is equivalent to the usual notion of an extreme subset.
Suppose that $A, S \subseteq X$. we will say that $S$ selvages $A$ if and only if the following conditions are satisfied:


*

*$A \cap S = \varnothing$.

*The set $S$ is an extreme subset of $A$.


One more definition. Suppose that $O$ is a closed set. We will say that $O$ is selvagable if and only if for every closed $D$ that satisfies neither $D \cap O$ nor $D \setminus O$ is empty there exists a nonempty closed $S \subseteq D$ that selvages $O$. The selvagable sets form a basis for a topology on $X$. If $X$ is a finite dimensional real vector space and $\mathcal{C}$ is the collection of convex sets then the resulting topology is the usual topology. If $\{ \left( X_{i},  {\mathcal{C}}_{i} \right) \colon i \in I \} $. is a collection of closure systems and we provide $\Pi X_{i}$ with the smallest closure system so that the inverse image of a closed set in a factor is closed then the selvagable sets in this product is the box topology. Unfortunately this is not a nice topology because the projection maps are not, in general, continuous.
A: Here is a situation where the box topology can be useful.
Free topological groups are important objects in general topology and topological algebra that date back to A.A. Markov. While it is convenient that the underlying groups are just the usual free groups, the topological structure of the free (Markov) topological group $F_M(X)$ on a general Tychonoff space $X$ is fairly complicated to describe. For instance, one might hope $F_M(X)$ is the quotient of the free topological monoid $\bigoplus_{n\geq 0}(X\oplus \{e\}\oplus X^{-1})^n$ under the usual reduction of words but this is not the case, e.g. $X=\mathbb{Q}$! Still, it would be nice to have a characterization of these beasts as quotient of some space with simple operations. One way to do this is to use certain $\sigma$-products with the box topology.
In the paper The topology of free topological groups (an english version can be found in the Journal of Mathematical Sciences), O.V. Sipacheva gives a very general characterization of the topology of free topological groups (on Tychonoff spaces) as the quotient of a certain $\sigma$-product with the box topology. The characterization is quite helpful in understanding the topology of free topological groups; an instructive paragraph on why this certain construction is appropriate is on pp. 5800 in the english version.
A: May I (rather belatedly) suggest the following situation where box topologies make a natural appearance, namely  in the context of functional analysis.  Suppose we have a collection of Banach spaces---for simplicty I will assume that it is a sequence.  On the Cartesian product we can consider three topologies.  The product topology corrresponds to the usual locally convex product of the underlying spaces.
Another natural topology is that generated by the product of the unit balls as
unit ball---this corresponds to the sup-norm.  This is not a linear topology on the Cartesian product, but only on the subspace which is absorbed by this ball.  This is precisely the $\ell^\infty$-sum (more prosaically, the family of bounded sequences in the Cartesian product) which is the natural product of the spaces in the category of Banach spaces.  A similar phenomenon occurs with the box topology---it is is not a linear topology on the Cartesian product. Once again, the natural thing to do is to restrict it to the largest subspace where it is a linear topology.  This is precisely the  direct sum of the spaces, i.e., the sequences which are zero almost eveywhere.
Thus the three natural topologies on the product make it natural to  introduce these three corresponding product constructions in the theory of locally convex spaces.  Once one has direct sums, then it is a short step to the inductive limits which played and play such  an important role in the Schwartzian theory of distributiohs.
A: Consider the space $C\subseteq \mathbb{R}^\omega$ of real sequences $(a_n)$ such that $\sum a_n$ converges.  This space can inherit the product topology, the uniform topology, or the box topology from $\mathbb{R}^\omega$.  The function $\Sigma: C\rightarrow \mathbb{R}$ that maps a sequence to its sum is continuous if $C$ inherits the box topology, and not continuous if it inherits the product topology or the uniform topology.
In fact, if $U\subseteq C$ is a non-empty open set in the topology induced by the product topology or the uniform topology, then $\Sigma(U)=\mathbb{R}$.  I'll just show this in the uniform topology, since it is finer than the product topology so the similar result on the product topology follows.  Since $U$ is non-empty, there exists $s_1\in U$ with $\Sigma{s_1}=r_1$ for some $r_1\in\mathbb{R}$.  There exists a neighborhood $N\ni s_1$ of radius $\varepsilon < 1$ such that $N\subseteq U$.  Define $s_2$ as $s_1$ with $\delta$ added to the first $n$ elements, $\delta<\varepsilon$.  Then $s_2\in N\subseteq U$, and $\Sigma(s_2)=r_1+n\delta$, and any real number can be expressed as $r_1+n\delta$ for some $n\in\mathbb{N}$ and $\delta\in(0,\varepsilon)$.
To show that $\Sigma$ is not continuous, let $S\subseteq \mathbb{R}$ be a non-empty proper open subset.  Then $\Sigma^{-1}(S)$ is non-empty, since $\Sigma$ is surjective, but it cannot be open, because if it were open, $S=\Sigma(\Sigma^{-1}(S))=\mathbb{R}$.
However, if $C$ inherits the box topology, then for an open interval $I=(\Sigma(s)-\varepsilon, \Sigma(s)+\varepsilon)\subseteq \mathbb{R}$, the neighborhood $\prod_{i=1}^\infty (s_i-\frac{\varepsilon}{2^i}, s_i+\frac{\varepsilon}{2^i})\subseteq \Sigma^{-1}(I)$, so $\Sigma$ is continuous.
A: A year after, I have somehow ended up here and Nate's comment made me want to post an answer (this answer is to elaborate dfeuer's comment). Box topology is indeed useful for other purposes as well other than generating counter-examples. One may show that on a function space where the codomain is a bounded metric space (or, e.g. in $C(X)$ with compact $X$ since continuous functions are bounded on compact sets), we have that the sup-metric topology is coarser than box-topology. So indeed, if anything can be shown in Box topology then it applies as well in the uniform:
Suppose we have a bounded metric space $(Y,d)$ and any set $J$. Denote the product set as $X=Y^{J}$, which is the collection of all functions $x:J\to Y$. Since $Y$ is bounded we may consider the sup-metric in $X$ 
\begin{align*}
d_{\sup}(x,y)=\sup_{j\in J}d(x(j),y(j)),
\end{align*}
which generates a topology $\tau_{\sup}$ with the following basis elements for $x\in X$ and $\varepsilon>0$
\begin{align*}
U(x,\varepsilon)=\{y\in X:\sup_{j\in J}d(x(j),y(j))<\varepsilon\}.
\end{align*}
Every such is Box-open: take $y\in U(x,\varepsilon)$, whence $\delta:=\sup_{j\in J}d(x(j),y(j))<\varepsilon$. Choose $r=\frac{\delta+\varepsilon}{2}$, whence $\delta<r<\varepsilon$. Now since $d(x(j),y(j))\leq \delta < r$ for all $j$, then $y\in \Pi_{j\in J}B(x(j),r)\subset U(x,\varepsilon)$ and $\Pi_{j\in J}B(x(j),r)$ is certainly box-open, which shows that $U(x,\varepsilon)$ is open in the Box topology. So $\tau_{\sup}$ indeed is coarser than box topology, since each basis of $\tau_{\sup}$ is box-open. Moreover we have by definition of $d_{\sup}$ that $x_{n}\to x$ uniformly (as functions) if and only if $x_{n}\to x$ in $\tau_{\sup}$.
