CW-complex, Hausdorff space, second-countable space, sober space
connected space, locally connected space, contractible space, locally contractible space
A Cartesian space is a topological space of the form $\mathbb{R}^n$ equipped with the Euclidean topology:
the $n$-fold Cartesian product in Top of the real line $\mathbb{R}$ with itself where $n$ is some natural number (possibly zero). Space $\mathbb{R}^n$ with its standard topology (and sometimes smooth structure) is also called real $n$-dimensional space (distinguish from “real $n$-dimensional vector space” which is only isomorphic to it as a vector space).
In particular:
Cartesian spaces carry plenty of further canonical structure:
It is canonically a metric space and the Euclidean topology is the corresponding metric topology.
There is a canonical smooth structure on $\mathbb{R}^n$ that makes it a smooth manifold.
A Cartesian space is canonically avector space over the field of real numbers.
Sometimes one is interested in allowing $n$ to take other values, in which case one wants a product in some category that might not be the Cartesian product on underlying sets.
For example, if one is studying Cartesian spaces as inner product spaces, then one might want an $\aleph_0$-dimensional Cartesian space to be the $\aleph_0$-dimensional Hilbert space $l^2$, which is a proper subset of the cartesian product $\mathbb{R}^{\aleph_0}$.
The open n-ball is homeomorphic Cartesian space $\mathbb{R}^n$
For all $n \in \mathbb{N}$, the open n-ball with its standard smooth structure is diffeomorphic to the Cartesian space $\mathbb{R}^n$ with its standard smooth structure
In fact, in $d \neq 4$ there is no choice:
For $n \in \mathbb{N}$ a natural number with $n \neq 4$, there is a unique (up to isomorphism) smooth structure on the Cartesian space $\mathbb{R}^n$.
This was shown in (Stallings).
In $d = 4$ the analog of this statement is false. One says that on $\mathbb{R}^4$ there exist exotic smooth structures.
In dimension $d \in \mathbb{N}$ for $d \neq 4$ we have:
every open subset of $\mathbb{R}^d$ which is homeomorphic to $\mathbb{B}^d$ is also diffeomorphic to it.
See the first page of (Ozols) for a list of references.
In dimension 4 the analog statement fails due to the existence of exotic smooth structures on $\mathbb{R}^4$.
See CartSp.
There are various slight variations of the category $CartSp$ that one can consider without changing its basic properties as a category of test spaces for generalized smooth spaces. A different choice that enjoys some popularity in the literature is the category of open (contractible) subsets of Euclidean spaces. For more references on this see diffeological space.
The site $ThCartSp$ of infinitesimally thickened Cartesian spaces is known as the site for the Cahiers topos. It is considered
in detal in section 5 of
and briefly mentioned in example 2) on p. 191 of
following the original article
With an eye towards Frölicher spaces the site is also considered in section 5 of