Final topology

Short description: Finest topology making some functions continuous

In general topology and related areas of mathematics, the final topology (or coinduced, strong, colimit, or inductive topology) on a set [math]\displaystyle{ X, }[/math] with respect to a family of functions from topological spaces into [math]\displaystyle{ X, }[/math] is the finest topology on [math]\displaystyle{ X }[/math] that makes all those functions continuous.

The quotient topology on a quotient space is a final topology, with respect to a single surjective function, namely the quotient map. The disjoint union topology is the final topology with respect to the inclusion maps. The final topology is also the topology that every direct limit in the category of topological spaces is endowed with, and it is in the context of direct limits that the final topology often appears. A topology is coherent with some collection of subspaces if and only if it is the final topology induced by the natural inclusions.

The dual notion is the initial topology, which for a given family of functions from a set [math]\displaystyle{ X }[/math] into topological spaces is the coarsest topology on [math]\displaystyle{ X }[/math] that makes those functions continuous.

Definition

Given a set [math]\displaystyle{ X }[/math] and an [math]\displaystyle{ I }[/math]-indexed family of topological spaces [math]\displaystyle{ \left(Y_i, \upsilon_i\right) }[/math] with associated functions [math]\displaystyle{ f_i : Y_i \to X, }[/math] the final topology on [math]\displaystyle{ X }[/math] induced by the family of functions [math]\displaystyle{ \mathcal{F} := \left\{ f_i : i \in I \right\} }[/math] is the finest topology [math]\displaystyle{ \tau_{\mathcal{F}} }[/math] on [math]\displaystyle{ X }[/math] such that [math]\displaystyle{ f_i : \left(Y_i, \upsilon_i\right) \to \left(X, \tau_{\mathcal{F}}\right) }[/math]

is continuous for each [math]\displaystyle{ i\in I }[/math].

Explicitly, the final topology may be described as follows:

a subset [math]\displaystyle{ U }[/math] of [math]\displaystyle{ X }[/math] is open in the final topology [math]\displaystyle{ \left(X, \tau_{\mathcal{F}}\right) }[/math] (that is, [math]\displaystyle{ U \in \tau_{\mathcal{F}} }[/math]) if and only if [math]\displaystyle{ f_i^{-1}(U) }[/math] is open in [math]\displaystyle{ \left(Y_i, \upsilon_i\right) }[/math] for each [math]\displaystyle{ i\in I }[/math].

The closed subsets have an analogous characterization:

a subset [math]\displaystyle{ C }[/math] of [math]\displaystyle{ X }[/math] is closed in the final topology [math]\displaystyle{ \left(X, \tau_{\mathcal{F}}\right) }[/math] if and only if [math]\displaystyle{ f_i^{-1}(C) }[/math] is closed in [math]\displaystyle{ \left(Y_i, \upsilon_i\right) }[/math] for each [math]\displaystyle{ i\in I }[/math].

The family [math]\displaystyle{ \mathcal{F} }[/math] of functions that induces the final topology on [math]\displaystyle{ X }[/math] is usually a set of functions. But the same construction can be performed if [math]\displaystyle{ \mathcal{F} }[/math] is a proper class of functions, and the result is still well-defined in Zermelo–Fraenkel set theory. In that case there is always a subfamily [math]\displaystyle{ \mathcal{G} }[/math] of [math]\displaystyle{ \mathcal{F} }[/math] with [math]\displaystyle{ \mathcal{G} }[/math] a set, such that the final topologies on [math]\displaystyle{ X }[/math] induced by [math]\displaystyle{ \mathcal{F} }[/math] and by [math]\displaystyle{ \mathcal{G} }[/math] coincide. For more on this, see for example the discussion here. As an example, a commonly used variant of the notion of compactly generated space is defined as the final topology with respect to a proper class of functions.

Examples

The important special case where the family of maps [math]\displaystyle{ \mathcal{F} }[/math] consists of a single surjective map can be completely characterized using the notion of quotient map. A surjective function [math]\displaystyle{ f : (Y, \upsilon) \to \left(X, \tau\right) }[/math] between topological spaces is a quotient map if and only if the topology [math]\displaystyle{ \tau }[/math] on [math]\displaystyle{ X }[/math] coincides with the final topology [math]\displaystyle{ \tau_{\mathcal{F}} }[/math] induced by the family [math]\displaystyle{ \mathcal{F}=\{f\} }[/math]. In particular: the quotient topology is the final topology on the quotient space induced by the quotient map.

The final topology on a set [math]\displaystyle{ X }[/math] induced by a family of [math]\displaystyle{ X }[/math]-valued maps can be viewed as a far reaching generalization of the quotient topology, where multiple maps may be used instead of just one and where these maps are not required to be surjections.

Given topological spaces [math]\displaystyle{ X_i }[/math], the disjoint union topology on the disjoint union [math]\displaystyle{ \coprod_i X_i }[/math] is the final topology on the disjoint union induced by the natural injections.

Given a family of topologies [math]\displaystyle{ \left(\tau_i\right)_{i \in I} }[/math] on a fixed set [math]\displaystyle{ X, }[/math] the final topology on [math]\displaystyle{ X }[/math] with respect to the identity maps [math]\displaystyle{ \operatorname{id}_{\tau_i} : \left(X, \tau_i\right) \to X }[/math] as [math]\displaystyle{ i }[/math] ranges over [math]\displaystyle{ I, }[/math] call it [math]\displaystyle{ \tau, }[/math] is the infimum (or meet) of these topologies [math]\displaystyle{ \left(\tau_i\right)_{i \in I} }[/math] in the lattice of topologies on [math]\displaystyle{ X. }[/math] That is, the final topology [math]\displaystyle{ \tau }[/math] is equal to the intersection [math]\displaystyle{ \tau = \bigcap_{i \in I} \tau_i. }[/math]

Given a topological space [math]\displaystyle{ (X,\tau) }[/math] and a family [math]\displaystyle{ \mathcal C=\{ C_i : i\in I\} }[/math] of subsets of [math]\displaystyle{ X }[/math] each having the subspace topology, the final topology [math]\displaystyle{ \tau_{\mathcal C} }[/math] induced by all the inclusion maps of the [math]\displaystyle{ C_i }[/math] into [math]\displaystyle{ X }[/math] is finer than (or equal to) the original topology [math]\displaystyle{ \tau }[/math] on [math]\displaystyle{ X. }[/math] The space [math]\displaystyle{ X }[/math] is called coherent with the family [math]\displaystyle{ \mathcal C }[/math] of subspaces if the final topology [math]\displaystyle{ \tau_{\mathcal C} }[/math] coincides with the original topology [math]\displaystyle{ \tau. }[/math] In that case, a subset [math]\displaystyle{ U\subseteq X }[/math] will be open in [math]\displaystyle{ X }[/math] exactly when the intersection [math]\displaystyle{ U\cap C_i }[/math] is open in [math]\displaystyle{ C_i }[/math] for each [math]\displaystyle{ i\in I. }[/math] (See the coherent topology article for more details on this notion and more examples.) As a particular case, one of the notions of compactly generated space can be characterized as a certain coherent topology.

The direct limit of any direct system of spaces and continuous maps is the set-theoretic direct limit together with the final topology determined by the canonical morphisms. Explicitly, this means that if [math]\displaystyle{ \operatorname{Sys}_Y = \left(Y_i, f_{ji}, I\right) }[/math] is a direct system in the category Top of topological spaces and if [math]\displaystyle{ \left(X, \left(f_i\right)_{i \in I}\right) }[/math] is a direct limit of [math]\displaystyle{ \operatorname{Sys}_Y }[/math] in the category Set of all sets, then by endowing [math]\displaystyle{ X }[/math] with the final topology [math]\displaystyle{ \tau_{\mathcal{F}} }[/math] induced by [math]\displaystyle{ \mathcal{F} := \left\{ f_i : i \in I \right\}, }[/math] [math]\displaystyle{ \left(\left(X, \tau_{\mathcal{F}}\right), \left(f_i\right)_{i \in I}\right) }[/math] becomes the direct limit of [math]\displaystyle{ \operatorname{Sys}_Y }[/math] in the category Top.

The étalé space of a sheaf is topologized by a final topology.

A first-countable Hausdorff space [math]\displaystyle{ (X, \tau) }[/math] is locally path-connected if and only if [math]\displaystyle{ \tau }[/math] is equal to the final topology on [math]\displaystyle{ X }[/math] induced by the set [math]\displaystyle{ C\left([0, 1]; X\right) }[/math] of all continuous maps [math]\displaystyle{ [0, 1] \to (X, \tau), }[/math] where any such map is called a path in [math]\displaystyle{ (X, \tau). }[/math]

If a Hausdorff locally convex topological vector space [math]\displaystyle{ (X, \tau) }[/math] is a Fréchet-Urysohn space then [math]\displaystyle{ \tau }[/math] is equal to the final topology on [math]\displaystyle{ X }[/math] induced by the set [math]\displaystyle{ \operatorname{Arc}\left([0, 1]; X\right) }[/math] of all arcs in [math]\displaystyle{ (X, \tau), }[/math] which by definition are continuous paths [math]\displaystyle{ [0, 1] \to (X, \tau) }[/math] that are also topological embeddings.

Properties

Characterization via continuous maps

Given functions [math]\displaystyle{ f_i : Y_i \to X, }[/math] from topological spaces [math]\displaystyle{ Y_i }[/math] to the set [math]\displaystyle{ X }[/math], the final topology on [math]\displaystyle{ X }[/math] with respect to these functions [math]\displaystyle{ f_i }[/math] satisfies the following property:

a function [math]\displaystyle{ g }[/math] from [math]\displaystyle{ X }[/math] to some space [math]\displaystyle{ Z }[/math] is continuous if and only if [math]\displaystyle{ g \circ f_i }[/math] is continuous for each [math]\displaystyle{ i \in I. }[/math]

This property characterizes the final topology in the sense that if a topology on [math]\displaystyle{ X }[/math] satisfies the property above for all spaces [math]\displaystyle{ Z }[/math] and all functions [math]\displaystyle{ g:X\to Z }[/math], then the topology on [math]\displaystyle{ X }[/math] is the final topology with respect to the [math]\displaystyle{ f_i. }[/math]

Behavior under composition

Suppose [math]\displaystyle{ \mathcal{F} := \left\{ f_i:Y_i \to X \mid i \in I \right\} }[/math] is a family of maps, and for every [math]\displaystyle{ i \in I, }[/math] the topology [math]\displaystyle{ \upsilon_i }[/math] on [math]\displaystyle{ Y_i }[/math] is the final topology induced by some family [math]\displaystyle{ \mathcal{G}_i }[/math] of maps valued in [math]\displaystyle{ Y_i }[/math]. Then the final topology on [math]\displaystyle{ X }[/math] induced by [math]\displaystyle{ \mathcal{F} }[/math] is equal to the final topology on [math]\displaystyle{ X }[/math] induced by the maps [math]\displaystyle{ \left\{ f_i \circ g ~:~ i \in I \text{ and } g \in \cal G_i \right\}. }[/math]

As a consequence: if [math]\displaystyle{ \tau_{\mathcal{F}} }[/math] is the final topology on [math]\displaystyle{ X }[/math] induced by the family [math]\displaystyle{ \mathcal{F} := \left\{ f_i : i \in I \right\} }[/math] and if [math]\displaystyle{ \pi : X \to (S, \sigma) }[/math] is any surjective map valued in some topological space [math]\displaystyle{ (S, \sigma), }[/math] then [math]\displaystyle{ \pi : \left(X, \tau_{\mathcal{F}}\right) \to (S, \sigma) }[/math] is a quotient map if and only if [math]\displaystyle{ (S, \sigma) }[/math] has the final topology induced by the maps [math]\displaystyle{ \left\{ \pi \circ f_i ~:~ i \in I \right\}. }[/math]

By the universal property of the disjoint union topology we know that given any family of continuous maps [math]\displaystyle{ f_i : Y_i \to X, }[/math] there is a unique continuous map [math]\displaystyle{ f : \coprod_i Y_i \to X }[/math] that is compatible with the natural injections. If the family of maps [math]\displaystyle{ f_i }[/math] covers [math]\displaystyle{ X }[/math] (i.e. each [math]\displaystyle{ x \in X }[/math] lies in the image of some [math]\displaystyle{ f_i }[/math]) then the map [math]\displaystyle{ f }[/math] will be a quotient map if and only if [math]\displaystyle{ X }[/math] has the final topology induced by the maps [math]\displaystyle{ f_i. }[/math]

Effects of changing the family of maps

Throughout, let [math]\displaystyle{ \mathcal{F} := \left\{ f_i : i \in I \right\} }[/math] be a family of [math]\displaystyle{ X }[/math]-valued maps with each map being of the form [math]\displaystyle{ f_i : \left(Y_i, \upsilon_i\right) \to X }[/math] and let [math]\displaystyle{ \tau_{\mathcal{F}} }[/math] denote the final topology on [math]\displaystyle{ X }[/math] induced by [math]\displaystyle{ \mathcal{F}. }[/math] The definition of the final topology guarantees that for every index [math]\displaystyle{ i, }[/math] the map [math]\displaystyle{ f_i : \left(Y_i, \upsilon_i\right) \to \left(X, \tau_{\mathcal{F}}\right) }[/math] is continuous.

For any subset [math]\displaystyle{ \mathcal{S} \subseteq \mathcal{F}, }[/math] the final topology [math]\displaystyle{ \tau_{\mathcal{S}} }[/math] on [math]\displaystyle{ X }[/math] will be finer than (and possibly equal to) the topology [math]\displaystyle{ \tau_{\mathcal{F}} }[/math]; that is, [math]\displaystyle{ \mathcal{S} \subseteq \mathcal{F} }[/math] implies [math]\displaystyle{ \tau_{\mathcal{F}} \subseteq \tau_{\mathcal{S}}, }[/math] where set equality might hold even if [math]\displaystyle{ \mathcal{S} }[/math] is a proper subset of [math]\displaystyle{ \mathcal{F}. }[/math]

If [math]\displaystyle{ \tau }[/math] is any topology on [math]\displaystyle{ X }[/math] such that [math]\displaystyle{ \tau \neq \tau_{\mathcal{F}} }[/math] and [math]\displaystyle{ f_i : \left(Y_i, \upsilon_i\right) \to (X, \tau) }[/math] is continuous for every index [math]\displaystyle{ i \in I, }[/math] then [math]\displaystyle{ \tau }[/math] must be strictly coarser than [math]\displaystyle{ \tau_{\mathcal{F}} }[/math] (meaning that [math]\displaystyle{ \tau \subseteq \tau_{\mathcal{F}} }[/math] and [math]\displaystyle{ \tau \neq \tau_{\mathcal{F}}; }[/math] this will be written [math]\displaystyle{ \tau \subsetneq \tau_{\mathcal{F}} }[/math]) and moreover, for any subset [math]\displaystyle{ \mathcal{S} \subseteq \mathcal{F} }[/math] the topology [math]\displaystyle{ \tau }[/math] will also be strictly coarser than the final topology [math]\displaystyle{ \tau_{\mathcal{S}} }[/math] that [math]\displaystyle{ \mathcal{S} }[/math] induces on [math]\displaystyle{ X }[/math] (because [math]\displaystyle{ \tau_{\mathcal{F}} \subseteq \tau_{\mathcal{S}} }[/math]); that is, [math]\displaystyle{ \tau \subsetneq \tau_{\mathcal{S}}. }[/math]

Suppose that in addition, [math]\displaystyle{ \mathcal{G} := \left\{g_a : a \in A\right\} }[/math] is an [math]\displaystyle{ A }[/math]-indexed family of [math]\displaystyle{ X }[/math]-valued maps [math]\displaystyle{ g_a : Z_a \to X }[/math] whose domains are topological spaces [math]\displaystyle{ \left(Z_a, \zeta_a\right). }[/math] If every [math]\displaystyle{ g_a : \left(Z_a, \zeta_a\right) \to \left(X, \tau_{\mathcal{F}}\right) }[/math] is continuous then adding these maps to the family [math]\displaystyle{ \mathcal{F} }[/math] will not change the final topology on [math]\displaystyle{ X; }[/math] that is, [math]\displaystyle{ \tau_{\mathcal{F} \cup \mathcal{G}} = \tau_{\mathcal{F}}. }[/math] Explicitly, this means that the final topology on [math]\displaystyle{ X }[/math] induced by the "extended family" [math]\displaystyle{ \mathcal{F} \cup \mathcal{G} }[/math] is equal to the final topology [math]\displaystyle{ \tau_{\mathcal{F}} }[/math] induced by the original family [math]\displaystyle{ \mathcal{F} = \left\{ f_i : i \in I \right\}. }[/math] However, had there instead existed even just one map [math]\displaystyle{ g_{a_0} }[/math] such that [math]\displaystyle{ g_{a_0} : \left(Z_{a_0}, \zeta_{a_0}\right) \to \left(X, \tau_{\mathcal{F}}\right) }[/math] was not continuous, then the final topology [math]\displaystyle{ \tau_{\mathcal{F} \cup \mathcal{G}} }[/math] on [math]\displaystyle{ X }[/math] induced by the "extended family" [math]\displaystyle{ \mathcal{F} \cup \mathcal{G} }[/math] would necessarily be strictly coarser than the final topology [math]\displaystyle{ \tau_{\mathcal{F}} }[/math] induced by [math]\displaystyle{ \mathcal{F}; }[/math] that is, [math]\displaystyle{ \tau_{\mathcal{F} \cup \mathcal{G}} \subsetneq \tau_{\mathcal{F}} }[/math] (see this footnote for an explanation).

Final topology on the direct limit of finite-dimensional Euclidean spaces

Let [math]\displaystyle{ \R^{\infty} ~:=~ \left\{ \left(x_1, x_2, \ldots\right) \in \R^{\N} ~:~ \text{ all but finitely many } x_i \text{ are equal to } 0 \right\}, }[/math] denote the space of finite sequences, where [math]\displaystyle{ \R^{\N} }[/math] denotes the space of all real sequences. For every natural number [math]\displaystyle{ n \in \N, }[/math] let [math]\displaystyle{ \R^n }[/math] denote the usual Euclidean space endowed with the Euclidean topology and let [math]\displaystyle{ \operatorname{In}_{\R^n} : \R^n \to \R^{\infty} }[/math] denote the inclusion map defined by [math]\displaystyle{ \operatorname{In}_{\R^n}\left(x_1, \ldots, x_n\right) := \left(x_1, \ldots, x_n, 0, 0, \ldots\right) }[/math] so that its image is [math]\displaystyle{ \operatorname{Im} \left(\operatorname{In}_{\R^n}\right) = \left\{ \left(x_1, \ldots, x_n, 0, 0, \ldots\right) ~:~ x_1, \ldots, x_n \in \R \right\} = \R^n \times \left\{ (0, 0, \ldots) \right\} }[/math] and consequently, [math]\displaystyle{ \R^{\infty} = \bigcup_{n \in \N} \operatorname{Im} \left(\operatorname{In}_{\R^n}\right). }[/math]

Endow the set [math]\displaystyle{ \R^{\infty} }[/math] with the final topology [math]\displaystyle{ \tau^{\infty} }[/math] induced by the family [math]\displaystyle{ \mathcal{F} := \left\{ \; \operatorname{In}_{\R^n} ~:~ n \in \N \; \right\} }[/math] of all inclusion maps. With this topology, [math]\displaystyle{ \R^{\infty} }[/math] becomes a complete Hausdorff locally convex sequential topological vector space that is not a Fréchet–Urysohn space. The topology [math]\displaystyle{ \tau^{\infty} }[/math] is strictly finer than the subspace topology induced on [math]\displaystyle{ \R^{\infty} }[/math] by [math]\displaystyle{ \R^{\N}, }[/math] where [math]\displaystyle{ \R^{\N} }[/math] is endowed with its usual product topology. Endow the image [math]\displaystyle{ \operatorname{Im} \left(\operatorname{In}_{\R^n}\right) }[/math] with the final topology induced on it by the bijection [math]\displaystyle{ \operatorname{In}_{\R^n} : \R^n \to \operatorname{Im} \left(\operatorname{In}_{\R^n}\right); }[/math] that is, it is endowed with the Euclidean topology transferred to it from [math]\displaystyle{ \R^n }[/math] via [math]\displaystyle{ \operatorname{In}_{\R^n}. }[/math] This topology on [math]\displaystyle{ \operatorname{Im} \left( \operatorname{In}_{\R^n} \right) }[/math] is equal to the subspace topology induced on it by [math]\displaystyle{ \left(\R^{\infty}, \tau^{\infty}\right). }[/math] A subset [math]\displaystyle{ S \subseteq \R^{\infty} }[/math] is open (respectively, closed) in [math]\displaystyle{ \left(\R^{\infty}, \tau^{\infty}\right) }[/math] if and only if for every [math]\displaystyle{ n \in \N, }[/math] the set [math]\displaystyle{ S \cap \operatorname{Im} \left(\operatorname{In}_{\R^n}\right) }[/math] is an open (respectively, closed) subset of [math]\displaystyle{ \operatorname{Im} \left(\operatorname{In}_{\R^n}\right). }[/math] The topology [math]\displaystyle{ \tau^{\infty} }[/math] is coherent with the family of subspaces [math]\displaystyle{ \mathbb{S} := \left\{ \; \operatorname{Im} \left(\operatorname{In}_{\R^n}\right) ~:~ n \in \N \; \right\}. }[/math] This makes [math]\displaystyle{ \left(\R^{\infty}, \tau^{\infty}\right) }[/math] into an LB-space. Consequently, if [math]\displaystyle{ v \in \R^{\infty} }[/math] and [math]\displaystyle{ v_{\bull} }[/math] is a sequence in [math]\displaystyle{ \R^{\infty} }[/math] then [math]\displaystyle{ v_{\bull} \to v }[/math] in [math]\displaystyle{ \left(\R^{\infty}, \tau^{\infty}\right) }[/math] if and only if there exists some [math]\displaystyle{ n \in \N }[/math] such that both [math]\displaystyle{ v }[/math] and [math]\displaystyle{ v_{\bull} }[/math] are contained in [math]\displaystyle{ \operatorname{Im} \left(\operatorname{In}_{\R^n}\right) }[/math] and [math]\displaystyle{ v_{\bull} \to v }[/math] in [math]\displaystyle{ \operatorname{Im} \left(\operatorname{In}_{\R^n}\right). }[/math]

Often, for every [math]\displaystyle{ n \in \N, }[/math] the inclusion map [math]\displaystyle{ \operatorname{In}_{\R^n} }[/math] is used to identify [math]\displaystyle{ \R^n }[/math] with its image [math]\displaystyle{ \operatorname{Im} \left(\operatorname{In}_{\R^n}\right) }[/math] in [math]\displaystyle{ \R^{\infty}; }[/math] explicitly, the elements [math]\displaystyle{ \left( x_1, \ldots, x_n \right) \in \R^n }[/math] and [math]\displaystyle{ \left(x_1, \ldots, x_n, 0, 0, 0, \ldots\right) }[/math] are identified together. Under this identification, [math]\displaystyle{ \left(\left(\R^{\infty}, \tau^{\infty}\right), \left(\operatorname{In}_{\R^n}\right)_{n \in \N}\right) }[/math] becomes a direct limit of the direct system [math]\displaystyle{ \left(\left(\R^n\right)_{n \in \N}, \left(\operatorname{In}_{\R^m}^{\R^n}\right)_{m \leq n \text{ in } \N}, \N\right), }[/math] where for every [math]\displaystyle{ m \leq n, }[/math] the map [math]\displaystyle{ \operatorname{In}_{\R^m}^{\R^n} : \R^m \to \R^n }[/math] is the inclusion map defined by [math]\displaystyle{ \operatorname{In}_{\R^m}^{\R^n}\left(x_1, \ldots, x_m\right) := \left(x_1, \ldots, x_m, 0, \ldots, 0\right), }[/math] where there are [math]\displaystyle{ n - m }[/math] trailing zeros.

Categorical description

In the language of category theory, the final topology construction can be described as follows. Let [math]\displaystyle{ Y }[/math] be a functor from a discrete category [math]\displaystyle{ J }[/math] to the category of topological spaces Top that selects the spaces [math]\displaystyle{ Y_i }[/math] for [math]\displaystyle{ i \in J. }[/math] Let [math]\displaystyle{ \Delta }[/math] be the diagonal functor from Top to the functor category Top^J (this functor sends each space [math]\displaystyle{ X }[/math] to the constant functor to [math]\displaystyle{ X }[/math]). The comma category [math]\displaystyle{ (Y \,\downarrow\, \Delta) }[/math] is then the category of co-cones from [math]\displaystyle{ Y, }[/math] i.e. objects in [math]\displaystyle{ (Y \,\downarrow\, \Delta) }[/math] are pairs [math]\displaystyle{ (X, f) }[/math] where [math]\displaystyle{ f = (f_i : Y_i \to X)_{i \in J} }[/math] is a family of continuous maps to [math]\displaystyle{ X. }[/math] If [math]\displaystyle{ U }[/math] is the forgetful functor from Top to Set and Δ′ is the diagonal functor from Set to Set^J then the comma category [math]\displaystyle{ \left(UY \,\downarrow\, \Delta^{\prime}\right) }[/math] is the category of all co-cones from [math]\displaystyle{ UY. }[/math] The final topology construction can then be described as a functor from [math]\displaystyle{ \left(UY \,\downarrow\, \Delta^{\prime}\right) }[/math] to [math]\displaystyle{ (Y \,\downarrow\, \Delta). }[/math] This functor is left adjoint to the corresponding forgetful functor.

See also

• Direct limit – Special case of colimit in category theory
• Induced topology
• Initial topology – Coarsest topology making certain functions continuous
• LB-space
• LF-space

References

• Brown, Ronald (June 2006). Topology and Groupoids.. North Charleston: CreateSpace. ISBN 1-4196-2722-8. 
• Willard, Stephen (1970). General Topology. Addison-Wesley Series in Mathematics. Reading, MA: Addison-Wesley. ISBN 9780201087079. https://archive.org/details/generaltopology00will_0. . (Provides a short, general introduction in section 9 and Exercise 9H)
• Willard, Stephen (2004). General Topology. Dover Books on Mathematics (First ed.). Mineola, N.Y.: Dover Publications. ISBN 978-0-486-43479-7. OCLC 115240.