|
Nonabelian Algebraic Topology
In mathematics, nonabelian algebraic topology studies an aspect of algebraic topology that involves (inevitably noncommutative) higher-dimensional algebras. Many of the higher-dimensional algebraic structures are noncommutative and, therefore, their study is a very significant part of nonabelian category theory, and also of Nonabelian Algebraic Topology (NAAT), which generalises to higher dimensions ideas coming from the fundamental group. Such algebraic structures in dimensions greater than 1 develop the nonabelian character of the fundamental group, and they are in a precise sense ''‘more nonabelian than the groups. These noncommutative, or more specifically, nonabelian structures reflect more accurately the geometrical complications of higher dimensions than the known homology and homotopy groups commonly encountered in classical algebraic topology. An important part of nonabelian algebraic topology is concerned with the properties and applications of homotopy groupoids and f ... [...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] |
Topos
In mathematics, a topos (, ; plural topoi or , or toposes) is a category that behaves like the category of sheaves of sets on a topological space (or more generally: on a site). Topoi behave much like the category of sets and possess a notion of localization; they are a direct generalization of point-set topology. The Grothendieck topoi find applications in algebraic geometry; the more general elementary topoi are used in logic. The mathematical field that studies topoi is called topos theory. Grothendieck topos (topos in geometry) Since the introduction of sheaves into mathematics in the 1940s, a major theme has been to study a space by studying sheaves on a space. This idea was expounded by Alexander Grothendieck by introducing the notion of a "topos". The main utility of this notion is in the abundance of situations in mathematics where topological heuristics are very effective, but an honest topological space is lacking; it is sometimes possible to find a topos formaliz ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
2-category
In category theory, a strict 2-category is a category with "morphisms between morphisms", that is, where each hom-set itself carries the structure of a category. It can be formally defined as a category enriched over Cat (the category of categories and functors, with the monoidal structure given by product of categories). The concept of 2-category was first introduced by Charles Ehresmann in his work on enriched categories in 1965. The more general concept of bicategory (or ''weak'' 2-''category''), where composition of morphisms is associative only up to a 2-isomorphism, was introduced in 1968 by Jean Bénabou.Jean Bénabou, Introduction to bicategories, in Reports of the Midwest Category Seminar, Springer, Berlin, 1967, pp. 1--77. Definition A 2-category C consists of: * A class of 0-''cells'' (or ''objects'') , , .... * For all objects and , a category \mathbf(A,B). The objects f,g: A \to B of this category are called 1-''cells'' and its morphisms \alpha: f \Ri ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Covering Morphism
{{disambiguation ...
Covering may refer to: * Window covering, material used to cover a window * Cover (topology), a collection of subsets of X whose union is all of X * Covering (martial arts), an act of protecting against an opponent's strikes * ''The Covering'', a studio album by American Christian heavy metal/hard rock band Stryper * '' Covering: The Hidden Assault on Our Civil Rights'', a 2006 book by Kenji Yoshini See also * * * Covering a base, in baseball * Covering sickness, a disease of horses and other members of the family Equidae * Coverage (other) * Cover (other) * Covering theorem (other) In mathematics, covering theorem can refer to *Besicovitch covering theorem *Jensen's covering theorem *Vitali covering lemma {{mathdab ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Homotopy Colimit
In mathematics, especially in algebraic topology, the homotopy limit and colimitpg 52 are variants of the notions of limit and colimit extended to the homotopy category \text(\textbf). The main idea is this: if we have a diagramF: I \to \textbfconsidered as an object in the homotopy category of diagrams F \in \text(\textbf^I), (where the homotopy equivalence of diagrams is considered pointwise), then the homotopy limit and colimits then correspond to the cone and cocone\begin \underset(F)&: * \to \textbf\\ \underset(F)&: * \to \textbf \endwhich are objects in the homotopy category \text(\textbf^*), where * is the category with one object and one morphism. Note this category is equivalent to the standard homotopy category \text(\textbf) since the latter homotopy functor category has functors which picks out an object in \text and a natural transformation corresponds to a continuous function of topological spaces. Note this construction can be generalized to model categories, which g ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Colimit
In category theory, a branch of mathematics, the abstract notion of a limit captures the essential properties of universal constructions such as products, pullbacks and inverse limits. The dual notion of a colimit generalizes constructions such as disjoint unions, direct sums, coproducts, pushouts and direct limits. Limits and colimits, like the strongly related notions of universal properties and adjoint functors, exist at a high level of abstraction. In order to understand them, it is helpful to first study the specific examples these concepts are meant to generalize. Definition Limits and colimits in a category C are defined by means of diagrams in C. Formally, a diagram of shape J in C is a functor from J to C: :F:J\to C. The category J is thought of as an index category, and the diagram F is thought of as indexing a collection of objects and morphisms in C patterned on J. One is most often interested in the case where the category J is a small or even finite category. ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Van Kampen Theorem
A van is a type of road vehicle used for transporting goods or people. Depending on the type of van, it can be bigger or smaller than a pickup truck and SUV, and bigger than a common car. There is some varying in the scope of the word across the different English-speaking countries. The smallest vans, microvans, are used for transporting either goods or people in tiny quantities. Mini MPVs, compact MPVs, and MPVs are all small vans usually used for transporting people in small quantities. Larger vans with passenger seats are used for institutional purposes, such as transporting students. Larger vans with only front seats are often used for business purposes, to carry goods and equipment. Specially-equipped vans are used by television stations as mobile studios. Postal services and courier companies use large step vans to deliver packages. Word origin and usage Van meaning a type of vehicle arose as a contraction of the word caravan. The earliest records of a van as a vehicle i ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Topological Quantum Field Theories
In gauge theory and mathematical physics, a topological quantum field theory (or topological field theory or TQFT) is a quantum field theory which computes topological invariants. Although TQFTs were invented by physicists, they are also of mathematical interest, being related to, among other things, knot theory and the theory of four-manifolds in algebraic topology, and to the theory of moduli spaces in algebraic geometry. Donaldson, Jones, Witten, and Kontsevich have all won Fields Medals for mathematical work related to topological field theory. In condensed matter physics, topological quantum field theories are the low-energy effective theories of topologically ordered states, such as fractional quantum Hall states, string-net condensed states, and other strongly correlated quantum liquid states. Overview In a topological field theory, correlation functions do not depend on the metric of spacetime. This means that the theory is not sensitive to changes in the shape of sp ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Noncommutative Spacetime
In mathematics, a binary operation is commutative if changing the order of the operands does not change the result. It is a fundamental property of many binary operations, and many mathematical proofs depend on it. Most familiar as the name of the property that says something like or , the property can also be used in more advanced settings. The name is needed because there are operations, such as division and subtraction, that do not have it (for example, ); such operations are ''not'' commutative, and so are referred to as ''noncommutative operations''. The idea that simple operations, such as the multiplication and addition of numbers, are commutative was for many years implicitly assumed. Thus, this property was not named until the 19th century, when mathematics started to become formalized. A similar property exists for binary relations; a binary relation is said to be symmetric if the relation applies regardless of the order of its operands; for example, equality is symme ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Spacetime
In physics, spacetime is a mathematical model that combines the three dimensions of space and one dimension of time into a single four-dimensional manifold. Spacetime diagrams can be used to visualize relativistic effects, such as why different observers perceive differently where and when events occur. Until the 20th century, it was assumed that the three-dimensional geometry of the universe (its spatial expression in terms of coordinates, distances, and directions) was independent of one-dimensional time. The physicist Albert Einstein helped develop the idea of spacetime as part of his theory of relativity. Prior to his pioneering work, scientists had two separate theories to explain physical phenomena: Isaac Newton's laws of physics described the motion of massive objects, while James Clerk Maxwell's electromagnetic models explained the properties of light. However, in 1905, Einstein based a work on special relativity on two postulates: * The laws of physics are invariant ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Noncommutative Standard Model
In theoretical particle physics, the non-commutative Standard Model (best known as Spectral Standard Model ), is a model based on noncommutative geometry that unifies a modified form of general relativity with the Standard Model (extended with right-handed neutrinos). The model postulates that space-time is the product of a 4-dimensional compact spin manifold \mathcal by a finite space \mathcal. The full Lagrangian (in Euclidean signature) of the Standard model minimally coupled to gravity is obtained as pure gravity over that product space. It is therefore close in spirit to Kaluza–Klein theory but without the problem of massive tower of states. The parameters of the model live at unification scale and physical predictions are obtained by running the parameters down through renormalization. It is worth stressing that it is more than a simple reformation of the Standard Model. For example, the scalar sector and the fermions representations are more constrained than in effec ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
.svg "Click for more on -> Colimit")
.svg "Click for more on -> Topological Quantum Field Theories")
