PlanetPhysics/Groupoid Action
Jump to navigation
Jump to search
\newcommand{\sqdiagram}[9]{Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "http://localhost:6011/en.wikiversity.org/v1/":): {\displaystyle \diagram #1 \rto^{#2} \dto_{#4}& \eqno{\mbox{#9}}} }
Let Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "http://localhost:6011/en.wikiversity.org/v1/":): {\displaystyle \grp} be a groupoid and a topological space. A groupoid action , or Failed to parse (unknown function "\grp"): {\displaystyle \grp} -action, on is given by two maps: the anchor map and a map with the latter being defined on pairs such that , written as . The two maps are subject to the following conditions:
- and
- whenever the operations are defined.
{\mathbf Note:} The groupoid action generalizes the concept of group action in a non-trivial way