In category theory, a branch of mathematics, a Grothendieck topology is a structure on a category C that makes the objects of C act like the open sets of a topological space. A category together with a choice of Grothendieck topology is called a site.
In mathematics, specifically in homology theory and algebraic topology, cohomology is a general term for a sequence of abelian groups, usually one associated with a topological space, often defined from a cochain complex. Cohomology can be viewed as a method of assigning richer algebraic invariants to a space than homology. Some versions of cohomology arise by dualizing the construction of homology. In other words, cochains are functions on the group of chains in homology theory.
In mathematics, a sheaf is a tool for systematically tracking data attached to the open sets of a topological space and defined locally with regard to them. For example, for each open set, the data could be the ring of continuous functions defined on that open set. Such data are well behaved in that they can be restricted to smaller open sets, and also the data assigned to an open set are equivalent to all collections of compatible data assigned to collections of smaller open sets covering the original open set.
In mathematics, a ringed space is a family of (commutative) rings parametrized by open subsets of a topological space together with ring homomorphisms that play roles of restrictions. Precisely, it is a topological space equipped with a sheaf of rings called a structure sheaf. It is an abstraction of the concept of the rings of continuous (scalar-valued) functions on open subsets.
In mathematics, a locally constant function is a function from a topological space into a set with the property that around every point of its domain, there exists some neighborhood of that point on which it restricts to a constant function.
In mathematics, the notion of a germ of an object in/on a topological space is an equivalence class of that object and others of the same kind that captures their shared local properties. In particular, the objects in question are mostly functions and subsets. In specific implementations of this idea, the functions or subsets in question will have some property, such as being analytic or smooth, but in general this is not needed ; it is however necessary that the space on/in which the object is defined is a topological space, in order that the word local has some meaning.
In topology, a branch of mathematics, intersection homology is an analogue of singular homology especially well-suited for the study of singular spaces, discovered by Mark Goresky and Robert MacPherson in the fall of 1974 and developed by them over the next few years.
In mathematics, sheaf cohomology is the application of homological algebra to analyze the global sections of a sheaf on a topological space. Broadly speaking, sheaf cohomology describes the obstructions to solving a geometric problem globally when it can be solved locally. The central work for the study of sheaf cohomology is Grothendieck's 1957 Tôhoku paper.
In mathematics, the gluing axiom is introduced to define what a sheaf on a topological space must satisfy, given that it is a presheaf, which is by definition a contravariant functor
The mathematical term perverse sheaves refers to the objects of certain abelian categories associated to topological spaces, which may be a real or complex manifold, or more general topologically stratified spaces, possibly singular.
In mathematics, a manifold is a topological space that locally resembles Euclidean space near each point. More precisely, an -dimensional manifold, or -manifold for short, is a topological space with the property that each point has a neighborhood that is homeomorphic to an open subset of -dimensional Euclidean space.
In mathematics, a space is a set with a definition (structure) of relationships among the elements of the set. While modern mathematics uses many types of spaces, such as Euclidean spaces, linear spaces, topological spaces, Hilbert spaces, or probability spaces, it does not define the notion of "space" itself.
In topology, a branch of mathematics, an abstract stratified space, or a Thom–Mather stratified space is a topological space X that has been decomposed into pieces called strata; these strata are manifolds and are required to fit together in a certain way. Thom–Mather stratified spaces provide a purely topological setting for the study of singularities analogous to the more differential-geometric theory of Whitney. They were introduced by René Thom, who showed that every Whitney stratified space was also a topologically stratified space, with the same strata. Another proof was given by John Mather in 1970, inspired by Thom's proof.
In differential topology, a branch of mathematics, the Whitney conditions are conditions on a pair of submanifolds of a manifold introduced by Hassler Whitney in 1965.
In mathematics, the stalk of a sheaf is a mathematical construction capturing the behaviour of a sheaf around a given point.
In topology, a branch of mathematics, a subset of a topological space is said to be locally closed if any of the following equivalent conditions are satisfied:
In differential topology, a branch of mathematics, a stratifold is a generalization of a differentiable manifold where certain kinds of singularities are allowed. More specifically a stratifold is stratified into differentiable manifolds of (possibly) different dimensions. Stratifolds can be used to construct new homology theories. For example, they provide a new geometric model for ordinary homology. The concept of stratifolds was invented by Matthias Kreck. The basic idea is similar to that of a topologically stratified space, but adapted to differential topology.
This is a glossary of properties and concepts in algebraic topology in mathematics.
In mathematics, especially in differential topology, Thom's first isotopy lemma states: given a smooth map between smooth manifolds and a closed Whitney stratified subset, if is proper and is a submersion for each stratum of , then is a locally trivial fibration. The lemma was originally introduced by René Thom who considered the case when . In that case, the lemma constructs an isotopy from the fiber to ; whence the name "isotopy lemma".
In mathematics, especially in differential topology, Thom's second isotopy lemma is a family version of Thom's first isotopy lemma; i.e., it states a family of maps between Whitney stratified spaces is locally trivial when it is a Thom mapping. Like the first isotopy lemma, the lemma was introduced by René Thom.
