Physics Library
 An open source physics library
Encyclopedia | Forums | Docs | Random | Template Test |  
Login
create new user
Username:
Password:
forget your password?
Main Menu
Sections

Talkback

Downloads

Information
categories of groupoids (Topic)
Definition 0.1   Groupoid categories, or categories of groupoids, can be defined simply by considering a groupoid as a category $\mathsf{\mathcal G}_1$ with all invertible morphisms, and objects defined by the groupoid class or set of groupoid elements; then, the groupoid category, $\mathsf{\mathcal G}_2$, is defined as the $2$-category whose objects are $\mathsf{\mathcal G}_1$ categories (groupoids), and whose morphisms are functors of $\mathsf{\mathcal G}_1$ categories consistent with the definition of groupoid homomorphisms, or in the case of topological groupoids, consistent as well with topological groupoid homeomorphisms. The 2-category of groupoids $\mathsf{\mathcal G}_2$, plays a central role in the generalised, categorical Galois theory involving fundamental groupoid functors.
Definition 0.2   Let ${\mathsf{\mathcal G}}_1$ and ${\mathsf{\mathcal G}}_2$ be two groupoids considered as two distinct categories with all invertible morphisms between their objects (or `elements'), respectively, $x \in Ob({\mathsf{\mathcal G}}_1) = {{{\mathsf{\mathcal G}}_0}}^1$ and $y \in Ob({\mathsf{\mathcal G}}_2) = {{{\mathsf{\mathcal G}}_0}}^2$. A groupoid homomorphism is then defined as a functor $h: {\mathsf{\mathcal G}}_1 \longrightarrow {\mathsf{\mathcal G}}_2$.

A composition of groupoid homomorphisms is naturally a homomorphism, and natural transformations of groupoid homomorphisms (as defined above by groupoid functors) preserve groupoid structure(s), i.e., both the algebraic and the topological structure of groupoids. Thus, in the case of topological groupoids, $\mathsf{G}$, one also has the associated topological space homeomorphisms that naturally preserve topological structure.

Remark: Note that the morphisms in the category of groupoids, $Grpd$, are, of course, groupoid homomorphisms, and that groupoid homomorphisms also form (groupoid) functor categories defined in the standard manner for categories.



"categories of groupoids" is owned by bci1.

View style:

See Also: groupoid homomorphism

Other names:  groupoid category
Also defines:  groupoid category
Keywords:  category of groupoids, groupoid homomorphisms

Cross-references: functor categories, category of groupoids, homeomorphisms, topological, topological structure, algebraic, groupoid functors, natural transformations, homomorphism, composition, fundamental groupoid functors, 2-category, topological groupoids, groupoid homomorphisms, functors, objects, morphisms, category, groupoid
There are 8 references to this object.

This is version 2 of categories of groupoids, born on 2009-03-03, modified 2009-03-03.
Object id is 562, canonical name is CategoriesOfGroupoids.
Accessed 826 times total.

Classification:
Physics Classification: 00. (GENERAL)
 02. (Mathematical methods in physics)
 03. (Quantum mechanics, field theories, and special relativity )
 03.65.Fd (Algebraic methods )
Pending Errata and Addenda
None.
Discussion
Style: Expand: Order:

No messages.

Testing some escape charachters for html category with a generator has an injective cogenerator" now escape ” with "