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.
A groupoid object in a category C admitting finite fiber products consists of a pair of objects together with five morphisms
satisfying the following groupoid axioms
A group object is a special case of a groupoid object, where and . One recovers therefore topological groups by taking the category of topological spaces, or Lie groups by taking the category of manifolds, etc.
A groupoid object in the category of sets is precisely a groupoid in the usual sense: a category in which every morphism is an isomorphism. Indeed, given such a category C, take U to be the set of all objects in C, R the set of all morphisms in C, the five morphisms given by , , and . When the term "groupoid" can naturally refer to a groupoid object in some particular category in mind, the term groupoid set is used to refer to a groupoid object in the category of sets.
However, unlike in the previous example with Lie groups, a groupoid object in the category of manifolds is not necessarily a Lie groupoid, since the maps s and t fail to satisfy further requirements (they are not necessarily submersions).
A groupoid S-scheme is a groupoid object in the category of schemes over some fixed base scheme S. If , then a groupoid scheme (where are necessarily the structure map) is the same as a group scheme. A groupoid scheme is also called an algebraic groupoid, [2] to convey the idea it is a generalization of algebraic groups and their actions.
For example, suppose an algebraic group G acts from the right on a scheme U. Then take , s the projection, t the given action. This determines a groupoid scheme.
Given a groupoid object (R, U), the equalizer of , if any, is a group object called the inertia group of the groupoid. The coequalizer of the same diagram, if any, is the quotient of the groupoid.
Each groupoid object in a category C (if any) may be thought of as a contravariant functor from C to the category of groupoids. This way, each groupoid object determines a prestack in groupoids. This prestack is not a stack but it can be stackified to yield a stack.
The main use of the notion is that it provides an atlas for a stack. More specifically, let be the category of -torsors. Then it is a category fibered in groupoids; in fact (in a nice case), a Deligne–Mumford stack. Conversely, any DM stack is of this form.
In mathematics, specifically category theory, a functor is a mapping between categories. Functors were first considered in algebraic topology, where algebraic objects 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.
In mathematics, especially in category theory and homotopy theory, a groupoid generalises the notion of group in several equivalent ways. A groupoid can be seen as a:
In mathematics, a Lie algebroid is a vector bundle together with a Lie bracket on its space of sections and a vector bundle morphism , satisfying a Leibniz rule. A Lie algebroid can thus be thought of as a "many-object generalisation" of a Lie algebra.
In mathematics, a Lie groupoid is a groupoid where the set of objects and the set of morphisms are both manifolds, all the category operations are smooth, and the source and target operations
In mathematics, an algebraic stack is a vast generalization of algebraic spaces, or schemes, which are foundational for studying moduli theory. Many moduli spaces are constructed using techniques specific to algebraic stacks, such as Artin's representability theorem, which is used to construct the moduli space of pointed algebraic curves and the moduli stack of elliptic curves. Originally, they were introduced by Alexander Grothendieck to keep track of automorphisms on moduli spaces, a technique which allows for treating these moduli spaces as if their underlying schemes or algebraic spaces are smooth. After Grothendieck developed the general theory of descent, and Giraud the general theory of stacks, the notion of algebraic stacks was defined by Michael Artin.
In mathematics, a gerbe is a construct in homological algebra and topology. Gerbes were introduced by Jean Giraud following ideas of Alexandre Grothendieck as a tool for non-commutative cohomology in degree 2. They can be seen as an analogue of fibre bundles where the fibre is the classifying stack of a group. Gerbes provide a convenient, if highly abstract, language for dealing with many types of deformation questions especially in modern algebraic geometry. In addition, special cases of gerbes have been used more recently in differential topology and differential geometry to give alternative descriptions to certain cohomology classes and additional structures attached to them.
Fibred categories are abstract entities in mathematics used to provide a general framework for descent theory. They formalise the various situations in geometry and algebra in which inverse images of objects such as vector bundles can be defined. As an example, for each topological space there is the category of vector bundles on the space, and for every continuous map from a topological space X to another topological space Y is associated the pullback functor taking bundles on Y to bundles on X. Fibred categories formalise the system consisting of these categories and inverse image functors. Similar setups appear in various guises in mathematics, in particular in algebraic geometry, which is the context in which fibred categories originally appeared. Fibered categories are used to define stacks, which are fibered categories with "descent". Fibrations also play an important role in categorical semantics of type theory, and in particular that of dependent type theories.
This is a glossary of properties and concepts in category theory in 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.
In mathematics, a topos is a category that behaves like the category of sheaves of sets on a topological space. 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.
In mathematics, in the theory of Hopf algebras, a Hopf algebroid is a generalisation of weak Hopf algebras, certain skew Hopf algebras and commutative Hopf k-algebroids. If k is a field, a commutative k-algebroid is a cogroupoid object in the category of k-algebras; the category of such is hence dual to the category of groupoid k-schemes. This commutative version has been used in 1970-s in algebraic geometry and stable homotopy theory. The generalization of Hopf algebroids and its main part of the structure, associative bialgebroids, to the noncommutative base algebra was introduced by J.-H. Lu in 1996 as a result on work on groupoids in Poisson geometry. They may be loosely thought of as Hopf algebras over a noncommutative base ring, where weak Hopf algebras become Hopf algebras over a separable algebra. It is a theorem that a Hopf algebroid satisfying a finite projectivity condition over a separable algebra is a weak Hopf algebra, and conversely a weak Hopf algebra H is a Hopf algebroid over its separable subalgebra HL. The antipode axioms have been changed by G. Böhm and K. Szlachányi in 2004 for tensor categorical reasons and to accommodate examples associated to depth two Frobenius algebra extensions.
This is a glossary of algebraic geometry.
In algebraic geometry, a prestackF 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 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.
In algebraic geometry, a Deligne–Mumford stack is a stack F such that
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. It is an ∞-category generalization of a groupoid, a category in which every morphism is an isomorphism.
A differentiable stack is the analogue in differential geometry of an algebraic stack in algebraic geometry. It can be described either as a stack over differentiable manifolds which admits an atlas, or as a Lie groupoid up to Morita equivalence.
In algebraic geometry, a torsor or a principal bundle is an analogue of a principal bundle in algebraic topology. Because there are few open sets in Zariski topology, it is more common to consider torsors in étale topology or some other flat topologies. The notion also generalizes a Galois extension in abstract algebra. Though other notions of torsors are known in more general context this article will focus on torsors over schemes, the original setting where torsors have been thought for. The word torsor comes from the French torseur. They are indeed widely discussed, for instance, in Michel Demazure's and Pierre Gabriel's famous book Groupes algébriques, Tome I.
In algebraic geometry, a group-stack is an algebraic stack whose categories of points have group structures or even groupoid structures in a compatible way. It generalizes a group scheme, which is a scheme whose sets of points have group structures in a compatible way.
In algebraic geometry, a quasi-coherent sheaf on an algebraic stack is a generalization of a quasi-coherent sheaf on a scheme. The most concrete description is that it is a data that consists of, for each a scheme S in the base category and in , a quasi-coherent sheaf on S together with maps implementing the compatibility conditions among 's.
In algebraic geometry, an action of a group scheme is a generalization of a group action to a group scheme. Precisely, given a group S-scheme G, a left action of G on an S-scheme X is an S-morphism
