|
Homotopic Algebra
In mathematics, homotopical algebra is a collection of concepts comprising the ''nonabelian'' aspects of homological algebra as well as possibly the abelian category, abelian aspects as special cases. The ''homotopical'' nomenclature stems from the fact that a common approach to such generalizations is via abstract homotopy theory, as in Higher-dimensional algebra#Nonabelian algebraic topology, nonabelian algebraic topology, and in particular the theory of closed model category, closed model categories. This subject has received much attention in recent years due to new foundational work of Vladimir Voevodsky, Eric Friedlander, Andrei Suslin, and others resulting in the A1 homotopy theory, A1 homotopy theory for quasiprojective variety, quasiprojective varieties over a field (mathematics), field. Voevodsky has used this new algebraic homotopy theory to prove the Milnor conjecture (for which he was awarded the Fields Medal) and later, in collaboration with Markus Rost, the full Bl ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Mathematics
Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics with the major subdisciplines of number theory, algebra, geometry, and analysis, respectively. There is no general consensus among mathematicians about a common definition for their academic discipline. Most mathematical activity involves the discovery of properties of abstract objects and the use of pure reason to prove them. These objects consist of either abstractions from nature orin modern mathematicsentities that are stipulated to have certain properties, called axioms. A ''proof'' consists of a succession of applications of deductive rules to already established results. These results include previously proved theorems, axioms, andin case of abstraction from naturesome basic properties that are considered true starting points of ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
