|
Mapping Path Space
In algebraic topology, the path space fibration over a based space (X, *) is a fibration of the form :\Omega X \hookrightarrow PX \overset\to X where *PX is the path space of ''X''; i.e., PX = \operatorname(I, X) = \ equipped with the compact-open topology. *\Omega X is the fiber of \chi \mapsto \chi(1) over the base point of ''X''; thus it is the loop space of ''X''. The space X^I consists of all maps from ''I'' to ''X'' that may not preserve the base points; it is called the free path space of ''X'' and the fibration X^I \to X given by, say, \chi \mapsto \chi(1), is called the free path space fibration. The path space fibration can be understood to be dual to the mapping cone. The reduced fibration is called the mapping fiber or, equivalently, the homotopy fiber. Mapping path space If f\colon X\to Y is any map, then the mapping path space P_f of f is the pullback of the fibration Y^I \to Y, \, \chi \mapsto \chi(1) along f. (A mapping path space satisfies the universal proper ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Algebraic Topology
Algebraic topology is a branch of mathematics that uses tools from abstract algebra to study topological spaces. The basic goal is to find algebraic invariant (mathematics), invariants that classification theorem, classify topological spaces up to homeomorphism, though usually most classify up to Homotopy#Homotopy equivalence and null-homotopy, homotopy equivalence. Although algebraic topology primarily uses algebra to study topological problems, using topology to solve algebraic problems is sometimes also possible. Algebraic topology, for example, allows for a convenient proof that any subgroup of a free group is again a free group. Main branches of algebraic topology Below are some of the main areas studied in algebraic topology: Homotopy groups In mathematics, homotopy groups are used in algebraic topology to classify topological spaces. The first and simplest homotopy group is the fundamental group, which records information about loops in a space. Intuitively, homotopy gro ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Operad
In mathematics, an operad is a structure that consists of abstract operations, each one having a fixed finite number of inputs (arguments) and one output, as well as a specification of how to compose these operations. Given an operad O, one defines an ''algebra over O'' to be a set together with concrete operations on this set which behave just like the abstract operations of O. For instance, there is a Lie operad L such that the algebras over L are precisely the Lie algebras; in a sense L abstractly encodes the operations that are common to all Lie algebras. An operad is to its algebras as a group is to its group representations. History Operads originate in algebraic topology; they were introduced to characterize iterated loop spaces by J. Michael Boardman and Rainer M. Vogt in 1969 and by J. Peter May in 1970. The word "operad" was created by May as a portmanteau of "operations" and "monad" (and also because his mother was an opera singer). Interest in operads was consid ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Springer Science+Business Media
Springer Science+Business Media, commonly known as Springer, is a German multinational publishing company of books, e-books and peer-reviewed journals in science, humanities, technical and medical (STM) publishing. Originally founded in 1842 in Berlin, it expanded internationally in the 1960s, and through mergers in the 1990s and a sale to venture capitalists it fused with Wolters Kluwer and eventually became part of Springer Nature in 2015. Springer has major offices in Berlin, Heidelberg, Dordrecht, and New York City. History Julius Springer founded Springer-Verlag in Berlin in 1842 and his son Ferdinand Springer grew it from a small firm of 4 employees into Germany's then second largest academic publisher with 65 staff in 1872.Chronology ". Springer Science+Business Media. In 1964, Springer expanded its business internationally, o ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Graduate Texts In Mathematics
Graduate Texts in Mathematics (GTM) (ISSN 0072-5285) is a series of graduate-level textbooks in mathematics published by Springer-Verlag. The books in this series, like the other Springer-Verlag mathematics series, are yellow books of a standard size (with variable numbers of pages). The GTM series is easily identified by a white band at the top of the book. The books in this series tend to be written at a more advanced level than the similar Undergraduate Texts in Mathematics series, although there is a fair amount of overlap between the two series in terms of material covered and difficulty level. List of books #''Introduction to Axiomatic Set Theory'', Gaisi Takeuti, Wilson M. Zaring (1982, 2nd ed., ) #''Measure and Category – A Survey of the Analogies between Topological and Measure Spaces'', John C. Oxtoby (1980, 2nd ed., ) #''Topological Vector Spaces'', H. H. Schaefer, M. P. Wolff (1999, 2nd ed., ) #''A Course in Homological Algebra'', Peter Hilton, Urs Stammbac ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
University Of Chicago Press
The University of Chicago Press is the largest and one of the oldest university presses in the United States. It is operated by the University of Chicago and publishes a wide variety of academic titles, including ''The Chicago Manual of Style'', numerous academic journals, and advanced monographs in the academic fields. One of its quasi-independent projects is the BiblioVault, a digital repository for scholarly books. The Press building is located just south of the Midway Plaisance on the University of Chicago campus. History The University of Chicago Press was founded in 1890, making it one of the oldest continuously operating university presses in the United States. Its first published book was Robert F. Harper's ''Assyrian and Babylonian Letters Belonging to the Kouyunjik Collections of the British Museum''. The book sold five copies during its first two years, but by 1900 the University of Chicago Press had published 127 books and pamphlets and 11 scholarly journals, includ ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
American Mathematical Society
The American Mathematical Society (AMS) is an association of professional mathematicians dedicated to the interests of mathematical research and scholarship, and serves the national and international community through its publications, meetings, advocacy and other programs. The society is one of the four parts of the Joint Policy Board for Mathematics and a member of the Conference Board of the Mathematical Sciences. History The AMS was founded in 1888 as the New York Mathematical Society, the brainchild of Thomas Fiske, who was impressed by the London Mathematical Society on a visit to England. John Howard Van Amringe was the first president and Fiske became secretary. The society soon decided to publish a journal, but ran into some resistance, due to concerns about competing with the American Journal of Mathematics. The result was the ''Bulletin of the American Mathematical Society'', with Fiske as editor-in-chief. The de facto journal, as intended, was influential in in ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Long Exact Homotopy Sequence
In mathematics, homotopy groups are used in algebraic topology to classify topological spaces. The first and simplest homotopy group is the fundamental group, denoted \pi_1(X), which records information about loops in a space. Intuitively, homotopy groups record information about the basic shape, or ''holes'', of a topological space. To define the ''n''-th homotopy group, the base-point-preserving maps from an ''n''-dimensional sphere (with base point) into a given space (with base point) are collected into equivalence classes, called homotopy classes. Two mappings are homotopic if one can be continuously deformed into the other. These homotopy classes form a group, called the ''n''-th homotopy group, \pi_n(X), of the given space ''X'' with base point. Topological spaces with differing homotopy groups are never equivalent (homeomorphic), but topological spaces that homeomorphic have the same homotopy groups. The notion of homotopy of paths was introduced by Camille Jordan. In ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
G-fibration
In algebraic topology, a ''G''-fibration or principal fibration is a generalization of a principal ''G''-bundle, just as a fibration is a generalization of a fiber bundle. By definition, given a topological monoid ''G'', a ''G''-fibration is a fibration ''p'': ''P''→''B'' together with a continuous right monoid action In algebra and theoretical computer science, an action or act of a semigroup on a set is a rule which associates to each element of the semigroup a transformation of the set in such a way that the product of two elements of the semigroup (using th ... ''P'' × ''G'' → ''P'' such that *(1) p(x g) = p(x) for all ''x'' in ''P'' and ''g'' in ''G''. *(2) For each ''x'' in ''P'', the map G \to p^(p(x)), g \mapsto xg is a weak equivalence. A principal ''G''-bundle is a prototypical example of a ''G''-fibration. Another example is Moore's path space fibration: namely, let P'X be the space of paths of various length in a based space ''X''. Then the fibration p: P'X \to ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Monoid Action
In algebra and theoretical computer science, an action or act of a semigroup on a set is a rule which associates to each element of the semigroup a transformation of the set in such a way that the product of two elements of the semigroup (using the semigroup operation) is associated with the composite of the two corresponding transformations. The terminology conveys the idea that the elements of the semigroup are ''acting'' as transformations of the set. From an algebraic perspective, a semigroup action is a generalization of the notion of a group action in group theory. From the computer science point of view, semigroup actions are closely related to automata: the set models the state of the automaton and the action models transformations of that state in response to inputs. An important special case is a monoid action or act, in which the semigroup is a monoid and the identity element of the monoid acts as the identity transformation of a set. From a category theoretic point of ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Category (mathematics)
In mathematics, a category (sometimes called an abstract category to distinguish it from a concrete category) is a collection of "objects" that are linked by "arrows". A category has two basic properties: the ability to compose the arrows associatively and the existence of an identity arrow for each object. A simple example is the category of sets, whose objects are sets and whose arrows are functions. '' Category theory'' is a branch of mathematics that seeks to generalize all of mathematics in terms of categories, independent of what their objects and arrows represent. Virtually every branch of modern mathematics can be described in terms of categories, and doing so often reveals deep insights and similarities between seemingly different areas of mathematics. As such, category theory provides an alternative foundation for mathematics to set theory and other proposed axiomatic foundations. In general, the objects and arrows may be abstract entities of any kind, and the n ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Topological Monoid
In topology, a branch of mathematics, a topological monoid is a monoid object in the category of topological spaces. In other words, it is a monoid with a topology with respect to which the monoid's binary operation is continuous. Every topological group is a topological monoid. See also *H-space In mathematics, an H-space is a homotopy-theoretic version of a generalization of the notion of topological group, in which the axioms on associativity and inverses are removed. Definition An H-space consists of a topological space , together w ... References * * External links topological monoid from symmetric monoidal category {{topology-stub Topological spaces Algebraic topology ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
John Coleman Moore
John Coleman Moore (May 27, 1923 – January 1, 2016) was an American mathematician. The Borel−Moore homology and Eilenberg–Moore spectral sequence are named after him. Early life and education Moore was born in 1923 in Staten Island, New York. He received his B.A. in 1948 from the Massachusetts Institute of Technology and his Ph.D. in 1952 from Brown University under the supervision of George W. Whitehead. Career Moore began his career at Princeton University as an instructor, and was eventually promoted to full professor in 1961. He retired from Princeton in 1989, after which he took a half-time position at the University of Rochester. His most-cited paper is on Hopf algebras, co-authored with John Milnor. As a faculty member at Princeton University, he advised 24 students and is the academic ancestor of over 1000 mathematicians. He was an Invited Speaker at the International Congress of Mathematicians in 1958 in Edinburgh and in 1970 in Nice. In 1983, a conference ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
