Related Research Articles
Algebraic K-theory is a subject area in mathematics with connections to geometry, topology, ring theory, and number theory. Geometric, algebraic, and arithmetic objects are assigned objects called K-groups. These are groups in the sense of abstract algebra. They contain detailed information about the original object but are notoriously difficult to compute; for example, an important outstanding problem is to compute the K-groups of the integers.
In mathematics, especially in topology, a stratified space is a topological space that admits or is equipped with a stratification, a decomposition into subspaces, which are nice in some sense.
Ronald Brown FLSW is an English mathematician. Emeritus Professor in the School of Computer Science at Bangor University, he has authored many books and more than 160 journal articles.
In mathematics, especially in algebraic geometry, the étale homotopy type is an analogue of the homotopy type of topological spaces for algebraic varieties.
Derived algebraic geometry is a branch of mathematics that generalizes algebraic geometry to a situation where commutative rings, which provide local charts, are replaced by either differential graded algebras, simplicial commutative rings or -ring spectra from algebraic topology, whose higher homotopy groups account for the non-discreteness of the structure sheaf. Grothendieck's scheme theory allows the structure sheaf to carry nilpotent elements. Derived algebraic geometry can be thought of as an extension of this idea, and provides natural settings for intersection theory of singular algebraic varieties and cotangent complexes in deformation theory, among the other applications.
In category theory, a branch of mathematics, Grothendieck's homotopy hypothesis states that the ∞-groupoids are spaces.
In mathematics, chromatic homotopy theory is a subfield of stable homotopy theory that studies complex-oriented cohomology theories from the "chromatic" point of view, which is based on Quillen's work relating cohomology theories to formal groups. In this picture, theories are classified in terms of their "chromatic levels"; i.e., the heights of the formal groups that define the theories via the Landweber exact functor theorem. Typical theories it studies include: complex K-theory, elliptic cohomology, Morava K-theory and tmf.
In algebra, an operad algebra is an "algebra" over an operad. It is a generalization of an associative algebra over a commutative ring R, with an operad replacing R.
In algebra, a simplicial Lie algebra is a simplicial object in the category of Lie algebras. In particular, it is a simplicial abelian group, and thus is subject to the Dold–Kan correspondence.
Higher Topos Theory is a treatise on the theory of ∞-categories written by American mathematician Jacob Lurie. In addition to introducing Lurie's new theory of ∞-topoi, the book is widely considered foundational to higher category theory. Since 2018, Lurie has been transferring the contents of Higher Topos Theory to Kerodon, an "online resource for homotopy-coherent mathematics" inspired by the Stacks Project.
In the mathematical field of topology, a sphere bundle is a fiber bundle in which the fibers are spheres of some dimension n. Similarly, in a disk bundle, the fibers are disks . From a topological perspective, there is no difference between sphere bundles and disk bundles: this is a consequence of the Alexander trick, which implies
In mathematics, specifically in homotopy theory and (higher) category theory, coherency is the standard that equalities or diagrams must satisfy when they hold "up to homotopy" or "up to isomorphism".
In algebra, the ring of polynomial differential forms on the standard n-simplex is the differential graded algebra:
In algebraic topology, the fundamental groupoid is a certain topological invariant of a topological space. It can be viewed as an extension of the more widely-known fundamental group; as such, it captures information about the homotopy type of a topological space. In terms of category theory, the fundamental groupoid is a certain functor from the category of topological spaces to the category of groupoids.
[...] people still obstinately persist, when calculating with fundamental groups, in fixing a single base point, instead of cleverly choosing a whole packet of points which is invariant under the symmetries of the situation, which thus get lost on the way. In certain situations it is much more elegant, even indispensable for understanding something, to work with fundamental groupoids with respect to a suitable packet of base points, [,,,]
In category theory, a branch of mathematics, a globular set is a higher-dimensional generalization of a directed graph. Precisely, it is a sequence of sets equipped with pairs of functions such that
In mathematics, specifically in category theory and algebraic topology, the Baez–Dolan stabilization hypothesis, proposed in, states that suspension of a weak n-category has no more essential effect after n + 2 times. Precisely, it states that the suspension functor is an equivalence for .
In mathematics, homotopy theory is a systematic study of situations in which maps can come with homotopies between them. It originated as a topic in algebraic topology, but nowadays is learned as an independent discipline.
In mathematics, a tame topology is a hypothetical topology proposed by Alexander Grothendieck in his research program Esquisse d’un programme under the French name topologie modérée. It is a topology in which the theory of dévissage can be applied to stratified structures such as semialgebraic or semianalytic sets, and which excludes some pathological spaces that do not correspond to intuitive notions of spaces.
In algebraic topology, a branch of mathematics, the based path space of a pointed space is the space that consists of all maps from the interval to X such that , called based paths. In other words, it is the mapping space from to .
References
- ↑ Baues, Homotopy Types in Chapter 1 in Handbook of Algebraic Topology
- ↑ NB: we need a citation to the original source.
- ↑ https://mathoverflow.net/questions/266738/current-status-of-grothendiecks-homotopy-hypothesis-and-whiteheads-algebraic-h
- https://ncatlab.org/nlab/show/algebraic+homotopy
- Handbook of Algebraic Topology edited by I.M. James
