homotopy theory, (∞,1)-category theory, homotopy type theory
flavors: stable, equivariant, rational, p-adic, proper, geometric, cohesive, directed…
models: topological, simplicial, localic, …
see also algebraic topology
Introductions
Definitions
Paths and cylinders
Homotopy groups
Basic facts
Theorems
Given an inner product space then two vectors are normal to each other if they are orthogonal to each other, in that their inner product vanishes: .
Given an embedding of differentiable manifolds where carries Riemannian geometry structure, then the normal bundle of is the vector bundle of tangent vectors in that are normal to tangent vectors of .
Last revised on February 4, 2021 at 16:08:28. See the history of this page for a list of all contributions to it.