|
Dold–Kan Correspondence
In mathematics, more precisely, in the theory of simplicial sets, the Dold–Kan correspondence (named after Albrecht Dold and Daniel Kan) states that there is an equivalence between the category of (nonnegatively graded) chain complexes and the category of simplicial abelian groups. Moreover, under the equivalence, the nth homology group of a chain complex is the nth homotopy group of the corresponding simplicial abelian group, and a chain homotopy corresponds to a simplicial homotopy. (In fact, the correspondence preserves the respective standard model structures.) The correspondence is an example of the nerve and realization paradigm. There is also an ∞-category-version of the Dold–Kan correspondence. The book "Nonabelian Algebraic Topology" has a Section 14.8 on cubical versions of the Dold–Kan theorem, and relates them to a previous equivalence of categories between cubical omega-groupoids and crossed complexes, which is fundamental to the work of that book. Examp ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Mathematics
Mathematics is a field of study that discovers and organizes methods, Mathematical theory, theories and theorems that are developed and Mathematical proof, proved for the needs of empirical sciences and mathematics itself. There are many areas of mathematics, which include number theory (the study of numbers), algebra (the study of formulas and related structures), geometry (the study of shapes and spaces that contain them), Mathematical analysis, analysis (the study of continuous changes), and set theory (presently used as a foundation for all mathematics). Mathematics involves the description and manipulation of mathematical object, abstract objects that consist of either abstraction (mathematics), abstractions from nature orin modern mathematicspurely abstract entities that are stipulated to have certain properties, called axioms. Mathematics uses pure reason to proof (mathematics), prove properties of objects, a ''proof'' consisting of a succession of applications of in ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
European Mathematical Society
The European Mathematical Society (EMS) is a European organization dedicated to the development of mathematics in Europe. Its members are different mathematical societies in Europe, academic institutions and individual mathematicians. The current president is Jan Philip Solovej, professor at the Department of Mathematics at the University of Copenhagen. Goals The Society seeks to serve all kinds of mathematicians in universities, research institutes and other forms of higher education. Its aims are to #Promote mathematical research, both pure and applied, #Assist and advise on problems of mathematical education, #Concern itself with the broader relations of mathematics to society, #Foster interaction between mathematicians of different countries, #Establish a sense of identity amongst European mathematicians, #Represent the mathematical community in supra-national institutions. The EMS is itself an Affiliate Member of the International Mathematical Union and an Associate Member ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Jacob Lurie
Jacob Alexander Lurie (born December 7, 1977) is an American mathematician who is a professor at the Institute for Advanced Study. In 2014, Lurie received a MacArthur Fellowship. Lurie's research interests are algebraic geometry, topology, and homotopy theory. Life When he was a student in the Science, Mathematics, and Computer Science Magnet Program at Montgomery Blair High School, Lurie took part in the International Mathematical Olympiad, where he won a gold medal with a perfect score in 1994. In 1996 he took first place in the Westinghouse Science Talent Search and was featured in a front-page story in the '' Washington Times''. Lurie earned his bachelor's degree in mathematics from Harvard College in 2000 and was awarded in the same year the Morgan Prize for his undergraduate thesis on Lie algebras. He earned his Ph.D. from the Massachusetts Institute of Technology under supervision of Michael J. Hopkins, in 2004 with a thesis on derived algebraic geometry. In 2007, ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Birkhäuser
Birkhäuser was a Swiss publisher founded in 1879 by Emil Birkhäuser. It was acquired by Springer Science+Business Media in 1985. Today it is an imprint used by two companies in unrelated fields: * Springer continues to publish science (particularly: history of science, geosciences, computer science) and mathematics books and journals under the Birkhäuser imprint (with a leaf logo) sometimes called Birkhäuser Science. * Birkhäuser Verlag – an architecture and design publishing company was (re)created in 2010 when Springer sold its design and architecture segment to ACTAR. The resulting Spanish-Swiss company was then called ActarBirkhäuser. After a bankruptcy, in 2012 Birkhäuser Verlag was sold again, this time to De Gruyter. Additionally, the Reinach-based printer Birkhäuser+GBC operates independently of the above, being now owned by '' Basler Zeitung''. History The original Swiss publishers program focused on regional literature. In the 1920s the sons of Emil Bi ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Simplicial Set
In mathematics, a simplicial set is a sequence of sets with internal order structure ( abstract simplices) and maps between them. Simplicial sets are higher-dimensional generalizations of directed graphs. Every simplicial set gives rise to a "nice" topological space, known as its geometric realization. This realization consists of geometric simplices, glued together according to the rules of the simplicial set. Indeed, one may view a simplicial set as a purely combinatorial construction designed to capture the essence of a topological space for the purposes of homotopy theory. Specifically, the category of simplicial sets carries a natural model structure, and the corresponding homotopy category is equivalent to the familiar homotopy category of topological spaces. Formally, a simplicial set may be defined as a contravariant functor from the simplex category to the category of sets. Simplicial sets were introduced in 1950 by Samuel Eilenberg and Joseph A. Zilber. Simplic ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Yoneda Lemma
In mathematics, the Yoneda lemma is a fundamental result in category theory. It is an abstract result on functors of the type ''morphisms into a fixed object''. It is a vast generalisation of Cayley's theorem from group theory (viewing a group as a miniature category with just one object and only isomorphisms). It also generalizes the information-preserving relation between a term and its continuation-passing style transformation from programming language theory. It allows the embedding of any locally small category into a category of functors ( contravariant set-valued functors) defined on that category. It also clarifies how the embedded category, of representable functors and their natural transformations, relates to the other objects in the larger functor category. It is an important tool that underlies several modern developments in algebraic geometry and representation theory. It is named after Nobuo Yoneda. Generalities The Yoneda lemma suggests that instead of studyi ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Kan Extension
Kan extensions are universal constructs in category theory, a branch of mathematics. They are closely related to adjoints, but are also related to limits and ends. They are named after Daniel M. Kan, who constructed certain (Kan) extensions using limits in 1960. An early use of (what is now known as) a Kan extension from 1956 was in homological algebra to compute derived functors. In ''Categories for the Working Mathematician'' Saunders Mac Lane titled a section "All Concepts Are Kan Extensions", and went on to write that :The notion of Kan extensions subsumes all the other fundamental concepts of category theory. Kan extensions generalize the notion of extending a function defined on a subset to a function defined on the whole set. The definition, not surprisingly, is at a high level of abstraction. When specialised to posets, it becomes a relatively familiar type of question on constrained optimization. Definition A Kan extension proceeds from the data of three categori ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Cambridge University Press
Cambridge University Press was the university press of the University of Cambridge. Granted a letters patent by King Henry VIII in 1534, it was the oldest university press in the world. Cambridge University Press merged with Cambridge Assessment to form Cambridge University Press and Assessment under Queen Elizabeth II's approval in August 2021. With a global sales presence, publishing hubs, and offices in more than 40 countries, it published over 50,000 titles by authors from over 100 countries. Its publications include more than 420 academic journals, monographs, reference works, school and university textbooks, and English language teaching and learning publications. It also published Bibles, runs a bookshop in Cambridge, sells through Amazon, and has a conference venues business in Cambridge at the Pitt Building and the Sir Geoffrey Cass Sports and Social Centre. It also served as the King's Printer. Cambridge University Press, as part of the University of Cambridge, was a ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Functor
In mathematics, specifically category theory, a functor is a Map (mathematics), mapping between Category (mathematics), categories. Functors were first considered in algebraic topology, where algebraic objects (such as the fundamental group) are associated to topological spaces, and maps between these algebraic objects are associated to continuous function, continuous maps between spaces. Nowadays, functors are used throughout modern mathematics to relate various categories. Thus, functors are important in all areas within mathematics to which category theory is applied. The words ''category'' and ''functor'' were borrowed by mathematicians from the philosophers Aristotle and Rudolf Carnap, respectively. The latter used ''functor'' in a Linguistics, linguistic context; see function word. Definition Let ''C'' and ''D'' be category (mathematics), categories. A functor ''F'' from ''C'' to ''D'' is a mapping that * associates each Mathematical object, object X in ''C'' to ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Eilenberg–MacLane Space
In mathematics, specifically algebraic topology, an Eilenberg–MacLane spaceSaunders Mac Lane originally spelt his name "MacLane" (without a space), and co-published the papers establishing the notion of Eilenberg–MacLane spaces under this name. (See e.g. ) In this context it is therefore conventional to write the name without a space. is a topological space with a single nontrivial homotopy group. Let ''G'' be a group and ''n'' a positive integer. A connected topological space ''X'' is called an Eilenberg–MacLane space of type K(G,n), if it has ''n''-th homotopy group \pi_n(X) isomorphic to ''G'' and all other homotopy groups trivial. Assuming that ''G'' is abelian in the case that n > 1, Eilenberg–MacLane spaces of type K(G,n) always exist, and are all weak homotopy equivalent. Thus, one may consider K(G,n) as referring to a weak homotopy equivalence class of spaces. It is common to refer to any representative as "a K(G,n)" or as "a model of K(G,n)". Moreover, it is comm ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Abelian Group
In mathematics, an abelian group, also called a commutative group, is a group in which the result of applying the group operation to two group elements does not depend on the order in which they are written. That is, the group operation is commutative. With addition as an operation, the integers and the real numbers form abelian groups, and the concept of an abelian group may be viewed as a generalization of these examples. Abelian groups are named after the Norwegian mathematician Niels Henrik Abel. The concept of an abelian group underlies many fundamental algebraic structures, such as fields, rings, vector spaces, and algebras. The theory of abelian groups is generally simpler than that of their non-abelian counterparts, and finite abelian groups are very well understood and fully classified. Definition An abelian group is a set A, together with an operation ･ , that combines any two elements a and b of A to form another element of A, denoted a \cdot b. The sym ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Cubical Set
In topology, a branch of mathematics, a cubical set is a set-valued contravariant functor on the category of (various) ''n''-cubes. Cubical sets have been often considered as an alternative to simplicial sets in combinatorial topology, including in the early work of Daniel Kan and Jean-Pierre Serre Jean-Pierre Serre (; born 15 September 1926) is a French mathematician who has made contributions to algebraic topology, algebraic geometry and algebraic number theory. He was awarded the Fields Medal in 1954, the Wolf Prize in 2000 and the inau .... They have also been developed in computer science, in particular in concurrency theory and in homotopy type theory. See also * Simplicial presheaf References * nLabCubical set * Rick JardineCubical sets Lecture 12 in "Lectures on simplicial presheaves" https://web.archive.org/web/20110104053206/http://www.math.uwo.ca/~jardine/papers/sPre/index.shtml Topology {{topology-stub ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
