nLab
Top

Context

Topology

Contents

Definition
Related concepts
References

Definition

Top is the category of topological spaces and continuous maps between them.

How exactly this is understood depends a bit on context: of course $Top$ forms an ordinary category. But it is also naturally an (∞,1)-category. This, in turn, may be presented by regarding $Top$ as a model category equipped with the Quillen model structure.

Moreover, what exactly counts as an object in $Top$ often varies in different contexts. For many applications it is useful to restrict to a subcategory of nice topological spaces such as compactly generated spaces or CW-complexes. There other other convenient categories of topological spaces.

The homotopy category of $Top$ with respect to weak homotopy equivalences is Ho(Top). This is the central object of study in homotopy theory. Regarded as an (∞,1)-category $Top$ is the archetypical homotopy theory, equivalent to ∞Grpd.

Related concepts

References

An axiomatic desciption of $Top$ building along the lines of ETCS for Set is discussed in

Dana Schlomiuk, An elementary theory of the category of topological space , Transactions of the AMS, volume 149 (1970)

category: category

Revised on September 3, 2012 18:39:04 by Urs Schreiber (131.174.188.82)

Edit | Back in time (14 revisions) | See changes | History | Views: Print | TeX | Source | Linked from: classifying topos, category theory, isomorphism, canonical model structure, presented stack, homotopy theory, anafunctor, category, object, group, equivalence, discrete category, axiom of choice, Top, Diff, epimorphism, hypercover, space and quantity, site, fundamental groupoid, monoid, enriched category, model category, simplicial set, simplicial category, homotopy category, cubical category, cubical set, nonabelian cohomology, (infinity,1)-category, subobject, operad, extensive category, cover, Lawvere-Tierney topology, Kan complex, simplicial object, initial object, topological space, nice topological space, model structure on simplicial sets, CW complex, simplex category, deformation retract, internal category, model structure on topological spaces, simplex, topology, image, geometric realization, regular category, locale, sober topological space, infinity-stack homotopically, interval object, directed topological space, balanced category, adjoint functor, pointed object, spectrum, pointed category, coproduct, A-infinity-algebra, small object argument, homotopy hypothesis, directed object, monomorphism, complete Segal space, regular monomorphism, Trimble n-category, complete category, cocomplete category, co-span co-trace, hyperstructure, extended cobordism, Cospans in Algebraic Topology, fundamental infinity-groupoid, coverage, homotopy n-type, homotopy limit, loop space object, 2-limit, retract, Grothendieck pretopology, filtered topological space, connected filtered space, large site, classifying space, homotopy type, Euler characteristic, partial order, undirected object, topological group, homotopy group, fundamental group, m-cofibrant space, sequential topological space, compactly generated topological space, Postnikov system, torsor, homotopy equivalence, weak homotopy equivalence, convenient category of topological spaces, Sierpinski space, specialization topology, wedge sum, smash product, locally presentable category, Categories and Sheaves, shape theory, stable (infinity,1)-category, compact object, inverse, stuff, structure, property, continuous functor, nice category of spaces, contractible space, Infinity-Grpd, etale space, homotopy category of an (infinity,1)-category, homology, mapping cone, (infinity,1)-category of (infinity,1)-sheaves, category of open subsets, group object, rational homotopy theory, abelian sheaf cohomology, cohomology, hom-space, convergence space, Cauchy space, why (infinity,1)-categories?, coreflective subcategory, exponential object, A-infinity operad, local object, stable (infinity,1)-category of spectra, spectrum object, constant infinity-stack, structured (infinity,1)-topos, motivation for sheaves, cohomology and higher stacks, homotopy coherent nerve, locally finitely presentable category, Eckmann-Hilton duality, category of local models, pseudotopological space, ultrafilter theorem, uniform space, compact space, topological stack, Hausdorff space, principal bundle, empty space, covering space, discrete object, universal covering space, orientifold, compact Lie group, pretopological space, connected space, local homeomorphism, homeomorphism, locally compact space, neighborhood, topological concrete category, topological vector space, Eilenberg-Mac Lane space, gerbe, loop space, fiber sequence, principal 2-bundle, principal infinity-bundle, twisted cohomology, numerable open cover, proper model category, generalized (Eilenberg-Steenrod) cohomology, n-fold complete Segal space, algebraic topology, cohomology group, homotopy, Eilenberg-Mac Lane object, 2009 July changes, delooping, groupoid object in an (infinity,1)-category, cogroup, H-space, suspension, nerve and realization, combinatorial model category, chain homology and cohomology, sphere, presentations of (infinity,1)-sheaf (infinity,1)-toposes, paracompact topological space, second-countable space, cohomotopy, twisted bundle, topological K-theory, extremal monomorphism, big and little toposes, general topology, compactum, Nielsen-Schreier theorem, fiber bundle, geometric function object, Hurewicz connection, continuous map, database of categories, singular cohomology, infinity-space, cartesian space, proximity space, equivariant cohomology, stable homotopy theory, cohomology ring, spin structure, (sub)object classifier in an (infinity,1)-topos, diagonal morphism, A Survey of Elliptic Cohomology - E-infinity rings and derived schemes, compact-open topology, (infinity,1)-operad, moduli space, C-star-algebra, geometric stack, n-truncated object of an (infinity,1)-category, Dold fibration, connected object, A-infinity-space, neighborhood retract, A1-homotopy theory, inner automorphism 2-group, separable space, subspace topology, homotopy groups in an (infinity,1)-topos, homotopy localization, cylinder object, Chern-Simons theory, Whitehead tower, string 2-group, string group, subspace, dendroidal set, knot, Chern-Weil theory, Whitehead theorem, simplicial manifold, regular and exact completions, Hurewicz fibration, suspension object, ionad, Hurewicz cofibration, mapping cylinder, cellular model category, motivic cohomology, Milnor slide trick, Bousfield localization of model categories, filtered limit, associative operad, exponential law for spaces, homotopy lifting property, one-point compactification, superextensive site, homotopy inverse, Serre fibration, basic problems of algebraic topology, mapping cocone, monadic descent, simply connected space, delayed homotopy, foliation, Johnstone's topological topos, stabilization, linking number, isotopy, smooth loop space, open cover, Euclidean-topological infinity-groupoid, sequentially compact space, topology - contents, Thom spectrum, stacked cover, concrete site, open subspace, Stone space, categorical homotopy groups in an (infinity,1)-topos, simplicial topological group, quotient space, partition of unity, Serre-Swan theorem, CW approximation, equivariant homotopy theory, characteristic class, Hochschild cohomology, free loop space object, model structure on cubical sets, idempotent adjunction, open map, Loc, infinity-group, locally contractible space, homotopy coherent diagram, Postnikov tower in an (infinity,1)-category, Ho(Top), Warsaw circle, model structure on operads, coherent topological space, differential function complex, closed subspace, Whitehead tower in an (infinity,1)-topos, n-connected object of an (infinity,1)-topos, string topology, sheaves on a simplicial topological space, unbounded operator, Thom space, orientation in generalized cohomology, transgression, BDR 2-vector bundle, good open cover, Cantor space, locally finite cover, nerve theorem, topological base, big site, nice simplicial topological space, TCFT, geometric homotopy groups in an (infinity,1)-topos, topological locale, frame of opens, G-delta subspace, connective spectrum, infinite loop space, dense subspace, topological operad, formal topology, n-connected space, weak topology, associated infinity-bundle, shrinkable map, topological submersion, discrete and codiscrete topology, ribbon graph, geometric realization of simplicial topological spaces, simplicial topological space, infinity-Chern-Weil theory introduction, differential string structure, proper Lie groupoid, ball, fundamental (infinity,1)-category, higher parallel transport, universal Chern-Simons circle 7-bundle with connection, cohesive (infinity,1)-topos, geometric realization of cohesive infinity-groupoids, boundary, topological groupoid, Topos, torus, link, chain homotopy, progroup, Reidemeister move, circle, TopMfd, interior, convex set, codiscrete space, cohesive site, locally connected site, finite topological space, Haefliger groupoid, holonomy groupoid, model structure on reduced simplicial sets, covering dimension, homotopy dimension, Euclidean topology, polyhedron, cell complex, differential fivebrane structure, Vassiliev skein relation, van Kampen theorem for toposes, plane, polytope, annulus, fundamental infinity-groupoid in a locally infinity-connected (infinity,1)-topos, ternary factorization system, spectral sequence of a filtered complex, ring object, E-infinity algebra, infinity-algebra over an (infinity,1)-operad, model structure on algebras over an operad, cohomology with constant coefficients, clopen set, Boardman-Vogt resolution, Kontsevich integral, free loop space, Cantor-Schroeder-Bernstein theorem, singular homology, En-algebra, framed little 2-disk operad, proper topological groupoid, universe enlargement, model structure on simplicial groups, geometric realization of categories, Milnor mu-bar invariants, smooth infinity-groupoid -- structures, writhe, cohesive (infinity,1)-topos -- structures, infinity-representation, Heyting dimension, homotopy groups of a Lie groupoid, locally equi-connected space, discrete infinity-groupoid, homological quantum field theory, T-Duality and Differential K-Theory, locally contractible topological infinity-groupoid, cohesive (infinity,1)-topos -- infinitesimal cohesion, historical note on Grothendieck topology, operator topology, cohesive (infinity,1)-topos -- structures II, relational beta-module, Parametrized Homotopy Theory, singular knot, suspension spectrum, Goldman bracket, (infinity,1)-vector bundle, C-infinity topology, looping, locally compact topological group, Gelfand duality, iterated loop space object, closed map, Tychonoff space, dendroidal homotopy coherent nerve, product topological space, map from compact space to Hausdorff space, contents of contents, shift map, twisted spin^c structure, cohesive homotopy type theory, pointless topology, factorization structure, descent morphism, spin^c, spin^c structure, integral Stiefel-Whitney class, Bockstein homomorphism, maximal compact subgroup, (epi, mono) factorization system, function extensionality, k-monoidal table, focal point, Delta-generated space, abelian infinity-group, E-infinity space, Hopf fibration, quasi-topological space, Sierpinski topos, Mayer-Vietoris sequence, almost connected topological group, dense subalgebra, Gamma-space, compact topological group, k-monoidal infinity-group, infinite loop space object, iterated loop space, symmetric operad, planar operad, schedule, closed cover, Heine-Borel theorem, strongly compact topological space, Kac-Moody group, sequence space, permutative category, first-countable space, syntopogenous space, associated bundle, tensor product of chain complexes, low-dimensional topology, cellular homology, motivation for cohesive toposes, pseudocircle, n-connected map, homotopical structure on C*-algebras, geometry of physics, topological ring, Tychonoff product, degree of a continuous function, strict initial object, model structure for homotopy n-types, singular foliation, Hopf construction, topological algebra, limit of a sequence, noncommutative topology, convergence vector space