functorial topology
1Algebraic topology — is a branch of mathematics which uses tools from abstract algebra to study topological spaces. The basic goal is to find algebraic invariants that classify topological spaces up to homeomorphism. In many situations this is too much to hope for… …
2Homological algebra — is the branch of mathematics which studies homology in a general algebraic setting. It is a relatively young discipline, whose origins can be traced to investigations in combinatorial topology (a precursor to algebraic topology) and abstract… …
3Vector bundle — The Möbius strip is a line bundle over the 1 sphere S1. Locally around every point in S1, it looks like U × R, but the total bundle is different from S1 × R (which is a cylinder instead). In mathematics, a vector bundle is a… …
4Categories of manifolds — In mathematics, specifically geometry and topology, there are many different notions of manifold, with more or less structure, and corresponding notions of map between manifolds , each of which yields a different category and its own… …
5Group cohomology — This article is about homology and cohomology of a group. For homology or cohomology groups of a space or other object, see Homology (mathematics). In abstract algebra, homological algebra, algebraic topology and algebraic number theory, as well… …
6Pontryagin duality — In mathematics, in particular in harmonic analysis and the theory of topological groups, Pontryagin duality explains the general properties of the Fourier transform. It places in a unified context a number of observations about functions on the… …
7Compactly generated space — In topology, a compactly generated space (or k space) is a topological space whose topology is coherent with the family of all compact subspaces. Specifically, a topological space X is compactly generated if it satisfies the following condition:… …
8Mapping class group — In mathematics, in the sub field of geometric topology, the mapping class group is an important algebraic invariant of a topological space. Briefly, the mapping class group is a discrete group of symmetries of the space. Contents 1 Motivation 2… …
9Homotopy — This article is about topology. For chemistry, see Homotopic groups. The two dashed paths shown above are homotopic relative to their endpoints. The animation represents one possible homotopy. In topology, two continuous functions from one… …
10Complete Heyting algebra — In mathematics, especially in order theory, a complete Heyting algebra is a Heyting algebra which is complete as a lattice. Complete Heyting algebras are the objects of three different categories; the category CHey, the category Loc of locales,… …
