Let $T_j = (X_j, \mathcal{T}_j)$ be a
D1106: Topological space for each $j \in J$ such that
| (i) |
$f_j : X_j \to Y$ is a D18: Map for each $j \in J$
|
The
pushforward topology on $Y$ with respect to $\{ f_j \}_{j \in J}$ and $\{ T_j \}_{j \in J}$ is the
D11: Set
\begin{equation}
\bigcap_{j \in J} \left\{ E \subseteq Y : f^{-1}_j(E) \in \mathcal{T}_j \right\}
\end{equation}