The groupoid structure of groupoid morphisms (Q2331506): Difference between revisions
From MaRDI portal
Created a new Item |
Added link to MaRDI item. |
||
links / mardi / name | links / mardi / name | ||
Revision as of 16:23, 2 February 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | The groupoid structure of groupoid morphisms |
scientific article |
Statements
The groupoid structure of groupoid morphisms (English)
0 references
29 October 2019
0 references
Let \(G\) and \(H\) be groupoids. By a \textit{morphism} from \(G\) to \(H\), denoted by \((\psi, K, u)\colon G\rightharpoonup H\), the authors mean two strict morphisms in the diagram \(G\xleftarrow{\psi}K\xrightarrow{u} H\) with \(\psi\) being an equivalence. The set of morphisms from \(G\) to \(H\) is denoted by Mor\(^0(G,H)\). For two morphisms \((\psi_1, K_1, u_1), (\psi_2, K_2, u_2)\colon G\rightharpoonup H\), an arrow \((\psi_1, K_1, u_1) \xrightarrow{\alpha}(\psi_2, K_2, u_2) \) as a certain natural transformation is defined. Mor\(^1(G,H)\) denotes the set of all arrows between morphisms from \(G\) to \(H\). For arrows \((\psi_1, K_1, u_1) \xrightarrow{\alpha_1}(\psi_2, K_2, u_2) \) and \((\psi_2, K_2, u_2) \xrightarrow{\alpha_2}(\psi_3, K_3, u_3) \) in Mor\(^1(G,H)\), their composition \((\psi_1, K_1, u_1) \xrightarrow{\alpha_1\bullet\alpha_2}(\psi_3, K_3, u_3) \) is defined. It is proved that Mor(\(G,H\)) = (Mor\(^1(G,H)\rightrightarrows \) Mor\(^0(G,H)\)) is a groupoid for each pair (\(G,H\)) of groupoids, where (\(G^1\rightrightarrows G^0\)) denotes a groupoid \(G\) that has the set of objects \(G^0\) and the set of morphisms \(G^1\). A morphism \((\psi, K, u)\colon G\rightharpoonup H\) is called \textit{full-morphism} if \(\psi\) is a full-equivalence. FMor\(^0\)(\(G,H\)) denotes the set of full-morphisms from \(G\) to \(H\). Similarly, FMor\(^1\)(\(G,H\)) and FMor(\(G,H\)) are defined. It turnes out that FMor(\(G,H\)) = (FMor\(^1(G,H)\ \rightrightarrows \) FMor\(^0(G,H)\)) is also a groupoid and that it is equivalent to Mor(\(G,H\)). Natural composition functors Mor(\(G,H)\ \times\) Mor(\(H,N)\to\) Mor(\(G,N\)) and FMor(\(G,H)\ \times\) FMor(\(H,N)\to\) FMor(\(G,N\)) are also constructed. After defining the center groupoid \(ZG\) of \(G\), a section of \(\pi \colon ZG\to G\) and a \textit{coarse space} \(\vert G\vert\) of \(G\) as the quotient space \(G^0/G^1\), it is proved that the authomorphism group Aut(\(G\)) of \(G\) is a \({\mathcal{K}(G)}\)-gerbe over its coarse space \(\vert \mathrm{Aut}(G)\vert\) (\({\mathcal{K}(G)}\) is the set of sections of \(\pi \colon ZG\to G\)) and that \(\vert \mathrm{Aut}(G)\vert\) is a group. Topological morphism groupoids are discussed in the appendix.
0 references
groupoid
0 references
morphism groupoid
0 references
automorphism groupoid
0 references