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
groupoid categories (Definition)
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.



"groupoid categories" is owned by bci1.

View style:

See Also: groupoid homomorphism

Also defines:  groupoid category, category of groupoids
Keywords:  groupoid category

Cross-references: fundamental groupoid functors, 2-category, topological groupoids, groupoid homomorphisms, functors, objects, morphisms, category, groupoid
There are 17 references to this object.

This is version 2 of groupoid categories, born on 2009-01-12, modified 2009-01-12.
Object id is 379, canonical name is GroupoidCategories.
Accessed 1101 times total.

Classification:
Physics Classification: 02. (Mathematical methods in physics)
 03. (Quantum mechanics, field theories, and special relativity )
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 "