PlanetPhysics/Category of Representations

From Wikiversity
Jump to navigation Jump to search

\newcommand{\sqdiagram}[9]{Failed to parse (unknown function "\diagram"): {\displaystyle \diagram #1 \rto^{#2} \dto_{#4}& \eqno{\mbox{#9}}} }

The \htmladdnormallink{category {http://planetphysics.us/encyclopedia/Cod.html} Failed to parse (unknown function "\grp"): {\displaystyle Rep(\grp)}
 of representations} has objects the representations of a groupoid Failed to parse (unknown function "\grp"): {\displaystyle \grp}
, and as morphisms the intertwiners   that are (vector) bundle morphisms  over the manifold  so that . Because representations are functors Failed to parse (unknown function "\grp"): {\displaystyle \rho: \grp \longrightarrow {\mathbf Vect}}
, an itertwiner  is in fact a natural transformation between two such functors that are groupoid representations of Failed to parse (unknown function "\grp"): {\displaystyle \grp}
, in this case implemented {\it via} the vector bundle morphisms .