The groupoid structure of groupoid morphisms (Q2331506)

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.