|
Double Groupoid
In mathematics, especially in higher-dimensional algebra and homotopy theory, a double groupoid generalises the notion of groupoid and of category to a higher dimension. Definition A double groupoid D is a higher-dimensional groupoid involving a relationship for both `horizontal' and `vertical' groupoid structures. (A double groupoid can also be considered as a generalization of certain higher-dimensional groups.) The geometry of squares and their compositions leads to a common representation of a ''double groupoid'' in the following diagram: where M is a set of 'points', H and V are, respectively, 'horizontal' and 'vertical' groupoids, and S is a set of 'squares' with two compositions. The composition laws for a double groupoid D make it also describable as a groupoid internal to the category of groupoids. Given two groupoids H and V over a set M, there is a double groupoid \Box(H,V) with H,V as horizontal and vertical edge groupoids, and squares given by quadruples :: ... [...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] |
Homomorphisms
In algebra, a homomorphism is a structure-preserving map between two algebraic structures of the same type (such as two groups, two rings, or two vector spaces). The word ''homomorphism'' comes from the Ancient Greek language: () meaning "same" and () meaning "form" or "shape". However, the word was apparently introduced to mathematics due to a (mis)translation of German meaning "similar" to meaning "same". The term "homomorphism" appeared as early as 1892, when it was attributed to the German mathematician Felix Klein (1849–1925). Homomorphisms of vector spaces are also called linear maps, and their study is the subject of linear algebra. The concept of homomorphism has been generalized, under the name of morphism, to many other structures that either do not have an underlying set, or are not algebraic. This generalization is the starting point of category theory. A homomorphism may also be an isomorphism, an endomorphism, an automorphism, etc. (see below). Each of those ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Orbit Space
In celestial mechanics, an orbit is the curved trajectory of an object such as the trajectory of a planet around a star, or of a natural satellite around a planet, or of an artificial satellite around an object or position in space such as a planet, moon, asteroid, or Lagrange point. Normally, orbit refers to a regularly repeating trajectory, although it may also refer to a non-repeating trajectory. To a close approximation, planets and satellites follow elliptic orbits, with the center of mass being orbited at a focal point of the ellipse, as described by Kepler's laws of planetary motion. For most situations, orbital motion is adequately approximated by Newtonian mechanics, which explains gravity as a force obeying an inverse-square law. However, Albert Einstein's general theory of relativity, which accounts for gravity as due to curvature of spacetime, with orbits following geodesics, provides a more accurate calculation and understanding of the exact mechanics of orbital ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Graph Of Groups
In geometric group theory, a graph of groups is an object consisting of a collection of groups indexed by the vertices and edges of a graph, together with a family of monomorphisms of the edge groups into the vertex groups. There is a unique group, called the fundamental group, canonically associated to each finite connected graph of groups. It admits an orientation-preserving action on a tree: the original graph of groups can be recovered from the quotient graph and the stabilizer subgroups. This theory, commonly referred to as Bass–Serre theory, is due to the work of Hyman Bass and Jean-Pierre Serre. Definition A graph of groups over a graph is an assignment to each vertex of of a group and to each edge of of a group as well as monomorphisms and mapping into the groups assigned to the vertices at its ends. Fundamental group Let be a spanning tree for and define the fundamental group to be the group generated by the vertex groups and elements for each edge of with ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Ian Stewart (mathematician)
Ian Nicholas Stewart (born 24 September 1945) is a British mathematician and a popular-science and science-fiction writer. He is Emeritus Professor of Mathematics at the University of Warwick, England. Education and early life Stewart was born in 1945 in Folkestone, England. While in the sixth form at Harvey Grammar School in Folkestone he came to the attention of the mathematics teacher. The teacher had Stewart sit mock A-level examinations without any preparation along with the upper-sixth students; Stewart was placed first in the examination. He was awarded a scholarship to study at the University of Cambridge as an undergraduate student of Churchill College, Cambridge, where he studied the Mathematical Tripos and obtained a first-class Bachelor of Arts degree in mathematics in 1966. Stewart then went to the University of Warwick where his PhD on Lie algebras was supervised by Brian Hartley and completed in 1969. Career and research After his PhD, Stewart was offered an a ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Marty Golubitsky
Martin Aaron Golubitsky is an American Distinguished professor of mathematics at Ohio State University and the former director of the Mathematical Biosciences Institute. Biography Education Marty Golubitsky was born on April 5, 1945 in Philadelphia, Pennsylvania. He graduated with bachelor's degree in 1966 from the University of Pennsylvania and the same year got his master's there as well. He obtained his Ph.D. from Massachusetts Institute of Technology in 1970 where his advisor was Victor Guillemin. Career Full-time From September 1974 to December 1976 he was an assistant professor at the Queens College and from January of next year to August 1979 served as an associate professor there. Starting from the same month of 1979 he relocated himself to the Arizona State University where he became a professor and served there till August 1983. In September of the same year he held the same position at the University of Houston where he remained till November 2008. From then until 201 ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Alan Weinstein
Alan David Weinstein (17 June, 1943, New York City) is a professor of mathematics at the University of California, Berkeley, working in the field of differential geometry, and especially in Poisson geometry. Education and career Weinstein obtained a bachelor's degree at the Massachusetts Institute of Technology in 1964. He received a PhD at University of California, Berkeley in 1967 under the direction of Shiing-Shen Chern. His dissertation was entitled "''The cut locus and conjugate locus of a Riemannian manifold''". He worked then at MIT on 1967 (as Moore instructor) and at Bonn University in 1968/69. In 1969 he became assistant professor at Berkeley, and from 1976 he is full professor. During 1978/79 he was visiting professor at Rice University. Weinstein was awarded in 1971 a Sloan Research Fellowship and in 1985 a Guggenheim Fellowship. In 1978 he was invited speaker at the International Congress of Mathematicians in Helsinki. In 1992 he was elected Fellow of the Ame ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Ana Cannas Da Silva
Ana M. L. G. Cannas da Silva (born 1968) is a Portuguese mathematician specializing in symplectic geometry and geometric topology. She works in Switzerland as an adjunct professor in mathematics at ETH Zurich. Early life and education Cannas was born in Lisbon. After studying at St. John de Britto College, she earned a licenciatura in mathematics in 1990 from the Instituto Superior Técnico in the University of Lisbon. She then went to the Massachusetts Institute of Technology for graduate studies, earning a master's degree in 1994 and completing her Ph.D. in 1996. Her dissertation, ''Multiplicity Formulas for Orbifolds'', was supervised by Victor Guillemin. Career After a temporary position as Morrey Assistant Professor at the University of California, Berkeley, Cannas returned to the Instituto Superior Técnico as a faculty member in 1997. She took a second position as a senior lecturer and research scholar in mathematics at Princeton University in 2006, keeping at the same time ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Galois Theory
In mathematics, Galois theory, originally introduced by Évariste Galois, provides a connection between field theory and group theory. This connection, the fundamental theorem of Galois theory, allows reducing certain problems in field theory to group theory, which makes them simpler and easier to understand. Galois introduced the subject for studying roots of polynomials. This allowed him to characterize the polynomial equations that are solvable by radicals in terms of properties of the permutation group of their roots—an equation is ''solvable by radicals'' if its roots may be expressed by a formula involving only integers, th roots, and the four basic arithmetic operations. This widely generalizes the Abel–Ruffini theorem, which asserts that a general polynomial of degree at least five cannot be solved by radicals. Galois theory has been used to solve classic problems including showing that two problems of antiquity cannot be solved as they were stated (doubling the cub ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Ronald Brown (mathematician)
Ronald Brown 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. Education and career Born on 4 January 1935 in London, Brown attended Oxford University, obtaining a B.A. in 1956 and a D.Phil. in 1962. Brown began his teaching career during his doctorate work, serving as an assistant lecturer at the University of Liverpool before assuming the position of Lecturer. In 1964, he took a position at the University of Hull, serving first as a Senior Lecturer and then as a Reader before becoming a Professor of pure mathematics at Bangor University, then a part of the University of Wales, in 1970. Brown served as Professor of Pure Mathematics for 30 years; he also served during the 1983–84 term as a Professor for one month at Louis Pasteur University in Strasbourg. In 1999, Brown took a half-time research professorship until he became Professor Emeritus in 2001. He was ele ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
∞-groupoid
In category theory, a branch of mathematics, an ∞-groupoid is an abstract homotopical model for topological spaces. One model uses Kan complexes which are fibrant objects in the category of simplicial sets (with the standard model structure). It is an ∞-category generalization of a groupoid, a category in which every morphism is an isomorphism. The homotopy hypothesis states that ∞-groupoids are spaces. Globular Groupoids Alexander Grothendieck suggested in ''Pursuing Stacks'' that there should be an extraordinarily simple model of ∞-groupoids using globular sets, originally called hemispherical complexes. These sets are constructed as presheaves on the globular category \mathbb. This is defined as the category whose objects are finite ordinals /math> and morphisms are given by \begin \sigma_n: \to +1\ \tau_n: \to +1\end such that the globular relations hold \begin \sigma_\circ\sigma_n &= \tau_\circ\sigma_n \\ \sigma_\circ\tau_n &= \tau_\circ\tau_n \end These encod ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
