Groupoid Object
In category theory, a branch of mathematics, a groupoid object is both a generalization of a groupoid which is built on richer structures than sets, and a generalization of a group objects when the multiplication is only partially defined. Definition A groupoid object in a category ''C'' admitting finite fiber products consists of a pair of objects R, U together with five morphisms :s, t: R \to U, \ e: U \to R, \ m: R \times_ R \to R, \ i: R \to R satisfying the following groupoid axioms # s \circ e = t \circ e = 1_U, \, s \circ m = s \circ p_1, t \circ m = t \circ p_2 where the p_i: R \times_ R \to R are the two projections, # (associativity) m \circ (1_R \times m) = m \circ (m \times 1_R), # (unit) m \circ (e \circ s, 1_R) = m \circ (1_R, e \circ t) = 1_R, # (inverse) i \circ i = 1_R, s \circ i = t, \, t \circ i = s, m \circ (1_R, i) = e \circ s, \, m \circ (i, 1_R) = e \circ t. Examples Group objects A group object is a special case of a groupoid object, where R = U and ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Category Theory
Category theory is a general theory of mathematical structures and their relations that was introduced by Samuel Eilenberg and Saunders Mac Lane in the middle of the 20th century in their foundational work on algebraic topology. Nowadays, category theory is used in almost all areas of mathematics, and in some areas of computer science. In particular, many constructions of new mathematical objects from previous ones, that appear similarly in several contexts are conveniently expressed and unified in terms of categories. Examples include quotient spaces, direct products, completion, and duality. A category is formed by two sorts of objects: the objects of the category, and the morphisms, which relate two objects called the ''source'' and the ''target'' of the morphism. One often says that a morphism is an ''arrow'' that ''maps'' its source to its target. Morphisms can be ''composed'' if the target of the first morphism equals the source of the second one, and morphism compos ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Algebraic Group
In mathematics, an algebraic group is an algebraic variety endowed with a group structure which is compatible with its structure as an algebraic variety. Thus the study of algebraic groups belongs both to algebraic geometry and group theory. Many groups of geometric transformations are algebraic groups; for example, orthogonal groups, general linear groups, projective groups, Euclidean groups, etc. Many matrix groups are also algebraic. Other algebraic groups occur naturally in algebraic geometry, such as elliptic curves and Jacobian varieties. An important class of algebraic groups is given by the affine algebraic groups, those whose underlying algebraic variety is an affine variety; they are exactly the algebraic subgroups of the general linear group, and are therefore also called ''linear algebraic groups''. Another class is formed by the abelian varieties, which are the algebraic groups whose underlying variety is a projective variety. Chevalley's structure theorem states ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Algebraic Geometry
Algebraic geometry is a branch of mathematics, classically studying zeros of multivariate polynomials. Modern algebraic geometry is based on the use of abstract algebraic techniques, mainly from commutative algebra, for solving geometrical problems about these sets of zeros. The fundamental objects of study in algebraic geometry are algebraic varieties, which are geometric manifestations of solutions of systems of polynomial equations. Examples of the most studied classes of algebraic varieties are: plane algebraic curves, which include lines, circles, parabolas, ellipses, hyperbolas, cubic curves like elliptic curves, and quartic curves like lemniscates and Cassini ovals. A point of the plane belongs to an algebraic curve if its coordinates satisfy a given polynomial equation. Basic questions involve the study of the points of special interest like the singular points, the inflection points and the points at infinity. More advanced questions involve the topology of the ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Simplicial Scheme
In mathematics, more specifically in homotopy theory, a simplicial presheaf is a presheaf on a site (e.g., the category of topological spaces) taking values in simplicial sets (i.e., a contravariant functor from the site to the category of simplicial sets). Equivalently, a simplicial presheaf is a simplicial object in the category of presheaves on a site. The notion was introduced by A. Joyal in the 1970s. Similarly, a simplicial sheaf on a site is a simplicial object in the category of sheaves on the site. Example: Consider the étale site of a scheme ''S''. Each ''U'' in the site represents the presheaf \operatorname(-, U). Thus, a simplicial scheme, a simplicial object in the site, represents a simplicial presheaf (in fact, often a simplicial sheaf). Example: Let ''G'' be a presheaf of groupoids. Then taking nerves section-wise, one obtains a simplicial presheaf BG. For example, one might set B\operatorname = \varinjlim B\operatorname. These types of examples appear in K-theory ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Deligne–Mumford Stack
In algebraic geometry, a Deligne–Mumford stack is a stack ''F'' such that Pierre Deligne and David Mumford introduced this notion in 1969 when they proved that moduli spaces of stable curves of fixed arithmetic genus are proper smooth Deligne–Mumford stacks. If the "étale" is weakened to "smooth", then such a stack is called an algebraic stack (also called an Artin stack, after Michael Artin). An algebraic space is Deligne–Mumford. A key fact about a Deligne–Mumford stack ''F'' is that any ''X'' in F(B), where ''B'' is quasi-compact, has only finitely many automorphisms. A Deligne–Mumford stack admits a presentation by a groupoid; see groupoid scheme. Examples Affine Stacks Deligne–Mumford stacks are typically constructed by taking the stack quotient of some variety where the stabilizers are finite groups. For example, consider the action of the cyclic group C_n = \langle a \mid a^n =1 \rangle on \mathbb^2 given by a\cdot\colon(x,y) \mapsto (\zeta_n x, \zeta_ ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Category Fibered In Groupoids
Stack may refer to: Places * Stack Island, an island game reserve in Bass Strait, south-eastern Australia, in Tasmania’s Hunter Island Group * Blue Stack Mountains, in Co. Donegal, Ireland People * Stack (surname) (including a list of people with the name) * Parnell "Stacks" Edwards, a key associate in the Lufthansa heist * Robert Stack Pierce (1933–2016), an American actor and baseball player * Brian "Stack" Stevens (1941–2017), a Cornish rugby player Arts, entertainment, and media * ''Stack magazine'', a bimonthly publication about high school sports * ''Stacks'' (album), a 2005 album by Bernie Marsden * Stacks, trailer parks that were made vertical, in the film ''Ready Player One'' Computing * Stack (abstract data type), abstract data type and data structure based on the principle of last in first out * Stack (Haskell), a tool to build Haskell projects and manage their dependencies * Stack in Macintosh, one of a collection of documents created with HyperCard (as in ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Torsor Under A Groupoid
In mathematics, a principal homogeneous space, or torsor, for a group ''G'' is a homogeneous space ''X'' for ''G'' in which the stabilizer subgroup of every point is trivial. Equivalently, a principal homogeneous space for a group ''G'' is a non-empty set ''X'' on which ''G'' acts freely and transitively (meaning that, for any ''x'', ''y'' in ''X'', there exists a unique ''g'' in ''G'' such that , where · denotes the (right) action of ''G'' on ''X''). An analogous definition holds in other categories, where, for example, *''G'' is a topological group, ''X'' is a topological space and the action is continuous, *''G'' is a Lie group, ''X'' is a smooth manifold and the action is smooth, *''G'' is an algebraic group, ''X'' is an algebraic variety and the action is regular. Definition If ''G'' is nonabelian then one must distinguish between left and right torsors according to whether the action is on the left or right. In this article, we will use right actions. To state the d ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Atlas (stack)
An atlas is a collection of maps; it is typically a bundle of maps of Earth or of a region of Earth. Atlases have traditionally been bound into book form, but today many atlases are in multimedia formats. In addition to presenting geographic features and political boundaries, many atlases often feature geopolitical, social, religious and economic statistics. They also have information about the map and places in it. Etymology The use of the word "atlas" in a geographical context dates from 1595 when the German-Flemish geographer Gerardus Mercator published ("Atlas or cosmographical meditations upon the creation of the universe and the universe as created"). This title provides Mercator's definition of the word as a description of the creation and form of the whole universe, not simply as a collection of maps. The volume that was published posthumously one year after his death is a wide-ranging text but, as the editions evolved, it became simply a collection of maps and it is ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Stackification
In algebraic geometry, a prestack ''F'' over a category ''C'' equipped with some Grothendieck topology is a category together with a functor ''p'': ''F'' → ''C'' satisfying a certain lifting condition and such that (when the fibers are groupoids) locally isomorphic objects are isomorphic. A stack is a prestack with effective descents, meaning local objects may be patched together to become a global object. Prestacks that appear in nature are typically stacks but some naively constructed prestacks (e.g., groupoid scheme or the prestack of projectivized vector bundles) may not be stacks. Prestacks may be studied on their own or passed to stacks. Since a stack is a prestack, all the results on prestacks are valid for stacks as well. Throughout the article, we work with a fixed base category ''C''; for example, ''C'' can be the category of all schemes over some fixed scheme equipped with some Grothendieck topology. Informal definition Let ''F'' be a category and suppose it is ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Stack (mathematics)
In mathematics a stack or 2-sheaf is, roughly speaking, a sheaf that takes values in categories rather than sets. Stacks are used to formalise some of the main constructions of descent theory, and to construct fine moduli stacks when fine moduli spaces do not exist. Descent theory is concerned with generalisations of situations where isomorphic, compatible geometrical objects (such as vector bundles on topological spaces) can be "glued together" within a restriction of the topological basis. In a more general set-up the restrictions are replaced with pullbacks; fibred categories then make a good framework to discuss the possibility of such gluing. The intuitive meaning of a stack is that it is a fibred category such that "all possible gluings work". The specification of gluings requires a definition of coverings with regard to which the gluings can be considered. It turns out that the general language for describing these coverings is that of a Grothendieck topology. Thus a stack ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Prestack
In algebraic geometry, a prestack ''F'' over a category ''C'' equipped with some Grothendieck topology is a category together with a functor ''p'': ''F'' → ''C'' satisfying a certain lifting condition and such that (when the fibers are groupoids) locally isomorphic objects are isomorphic. A stack is a prestack with effective descents, meaning local objects may be patched together to become a global object. Prestacks that appear in nature are typically stacks but some naively constructed prestacks (e.g., groupoid scheme or the prestack of projectivized vector bundles) may not be stacks. Prestacks may be studied on their own or passed to stacks. Since a stack is a prestack, all the results on prestacks are valid for stacks as well. Throughout the article, we work with a fixed base category ''C''; for example, ''C'' can be the category of all schemes over some fixed scheme equipped with some Grothendieck topology. Informal definition Let ''F'' be a category and suppose it is ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Contravariant Functor
In mathematics, specifically category theory, a functor is a mapping between 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 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 linguistic context; see function word. Definition Let ''C'' and ''D'' be categories. A functor ''F'' from ''C'' to ''D'' is a mapping that * associates each object X in ''C'' to an object F(X) in ''D'', * associates each morphism f \colon X \to Y in ''C'' to a morphism F(f) \colon F(X) \to F(Y) in ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |