|
|
|
Revision difference : groupoid homomorphism |
| Version 26 |
Version 25 |
| \begin{definition} |
\begin{definition} |
| Let ${\mathsf{\G}}_1$ and ${\mathsf{\G}}_2$ be two groupoids considered as two distinct categories with all invertible morphisms between their objects (or `elements'), respectively, $ x \in Ob({\mathsf{\G}}_1) = {{{\mathsf{\G}}_0}}^1$ and $ y \in Ob({\mathsf{\G}}_2) = {{{\mathsf{\G}}_0}}^2$. A \emph{groupoid homomorphism} is then defined as a functor $h: {\mathsf{\G}}_1 \longrightarrow {\mathsf{\G}}_2$. |
Let ${\mathsf{\G}}_1$ and ${\mathsf{\G}}_2$ be two groupoids considered as two distinct categories with all invertible morphisms between their objects (or `elements'), respectively, $ x \in Ob({\mathsf{\G}}_1) = {{{\mathsf{\G}}_0}}^1$ and $ y \in Ob({\mathsf{\G}}_2) = {{{\mathsf{\G}}_0}}^2$. A \emph{groupoid homomorphism} is then defined as a functor $h: {\mathsf{\G}}_1 \longrightarrow {\mathsf{\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 \emph{homeomorphisms} that naturally preserve topological structure. |
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 \emph{homeomorphisms} that naturally preserve topological structure. |
|
|
| \end{definition} |
\end{definition} |
|
|
|
|
| \textbf{Remark:} |
\textbf{Remark:} |
|
Note that the morphisms in the category of groupoids, $Grpd$, are, of course, groupoid homomorphisms, and also
|
Note that the morphisms in the category of groupoids, $Grpd$, are ,of course, groupoid homomorphisms, and also
|
| that groupoid homomorphisms form (groupoid) functor categories defined in the standard manner for |
that groupoid homomorphisms form (groupoid) functor categories defined in the standard manner for |
| categories. |
categories. |
|
|
|
|
|
|
