topology (point-set topology, point-free topology)
see also differential topology, algebraic topology, functional analysis and topological homotopy theory
Basic concepts
fiber space, space attachment
Extra stuff, structure, properties
Kolmogorov space, Hausdorff space, regular space, normal space
sequentially compact, countably compact, locally compact, sigma-compact, paracompact, countably paracompact, strongly compact
Examples
Basic statements
closed subspaces of compact Hausdorff spaces are equivalently compact subspaces
open subspaces of compact Hausdorff spaces are locally compact
compact spaces equivalently have converging subnet of every net
continuous metric space valued function on compact metric space is uniformly continuous
paracompact Hausdorff spaces equivalently admit subordinate partitions of unity
injective proper maps to locally compact spaces are equivalently the closed embeddings
locally compact and second-countable spaces are sigma-compact
Theorems
Analysis Theorems
In the following we say Top-enriched category and Top-enriched functor etc. for what often is referred to as “topological category” and “topological functor” etc. As discussed there, these latter terms are ambiguous.
Write
for the full subcategory of Top on the compactly generated topological spaces. Under forming Cartesian product
and compactly generated mapping spaces
this is a cartesian closed category (see at convenient category of topological spaces).
A topologically enriched category is a -enriched category, hence:
for each a compactly generated topological space
called the space of morphisms or the hom-space between and ;
for each a continuous function
out of the cartesian product, called the composition operation
for each a point , called the identity morphism on
such that the composition is associative and unital.
Given a topologically enriched category as in def. , then forgetting the topology on the hom-spaces (along the forgetful functor ) yields an ordinary locally small category with
It is in this sense that is a category with extra structure, and hence “enriched”.
The archetypical example is the following:
The category from def. itself, being a cartesian closed category, canonically obtains the structure of a topologically enriched category, def. , with hom-spaces given by compactly generated mapping spaces
and with composition
given by the (product mapping-space)-adjunct of the evaluation morphism
A topologically enriched functor between two topologically enriched categories
is a -enriched functor, hence:
a function
of objects;
for each a continuous function
of hom-spaces
such that this preserves composition and identity morphisms in the evident sense.
A homomorphism of topologically enriched functors
is a -enriched natural transformation: for each a choice of morphism such that for each pair of objects the two continuous functions
and
agree.
We write for the resulting category of topologically enriched functors. This itself naturally obtains the structure of topologically enriched category, see at enriched functor category.
For any topologically enriched category, def. then a topologically enriched functor
to the archetypical topologically enriched category from example may be thought of as a topologically enriched copresheaf, at least if is small (in that its class of objects is a proper set).
Hence the category of topologically enriched functors
according to def. may be thought of as the (co-)presheaf category over in the realm of topologically enriched categories.
A functor is equivalently
a compactly generated topological space for each object ;
for all pairs of objects
such that composition is respected, in the evident sense.
For every object , there is a topologically enriched representable functor, denoted or which sends objects to
and whose action on morphisms is, under the above identification, just the composition operation in .
There is a full blown -enriched Yoneda lemma. The following records a slightly simplified version.
(topologically enriched Yoneda-lemma)
Let be a topologically enriched category, def. , write for its category of topologically enriched (co-)presheaves, and for write for the topologically enriched functor that it represents, all according to example . Recall also the -tensored functors from that example.
For , and , there is a natural bijection between
morphisms in ;
morphisms in .
Given a morphism consider its component
and restrict that to the identity morphism in the first argument
We claim that just this already uniquely determines all components
of , for all : By definition of the transformation (def. ), the two functions
and
agree. This means that they may be thought of jointly as a function with values in commuting squares in of this form:
For any , consider the restriction of
to , hence restricting the above commuting squares to
This shows that is fixed to be the function
and this is a continuous function since all the operations it is built from are continuous.
Conversely, given a continuous function , define for each the function
Running the above analysis backwards shows that this determines a transformation .
With equipped with the classical model structure on topological spaces, which is a presentation for the archetypical (∞,1)-category ∞Grpd of ∞-groupoids, then the topological functor category
(def. , def. ) is a model for the (∞,1)-category of (∞,1)-presheaves on . This is made precise by the model structure on enriched functors, . See at classical model structure on topological spaces – Model structure on functors for details.
See also:
Last revised on October 23, 2024 at 12:57:56. See the history of this page for a list of all contributions to it.