Talk:PlanetPhysics/Groupoids

Original TeX Content from PlanetPhysics Archive

%%% This file is part of PlanetPhysics snapshot of 2011-09-01
%%% Primary Title: groupoids topic
%%% Primary Category Code: 00.
%%% Filename: Groupoids.tex
%%% Version: 5
%%% Owner: bci1
%%% Author(s): bci1
%%% PlanetPhysics is released under the GNU Free Documentation License.
%%% You should have received a file called fdl.txt along with this file.        
%%% If not, please write to gnu@gnu.org.
\documentclass[12pt]{article}
\pagestyle{empty}
\setlength{\paperwidth}{8.5in}
\setlength{\paperheight}{11in}

\setlength{\topmargin}{0.00in}
\setlength{\headsep}{0.00in}
\setlength{\headheight}{0.00in}
\setlength{\evensidemargin}{0.00in}
\setlength{\oddsidemargin}{0.00in}
\setlength{\textwidth}{6.5in}
\setlength{\textheight}{9.00in}
\setlength{\voffset}{0.00in}
\setlength{\hoffset}{0.00in}
\setlength{\marginparwidth}{0.00in}
\setlength{\marginparsep}{0.00in}
\setlength{\parindent}{0.00in}
\setlength{\parskip}{0.15in}

\usepackage{html}

% there are many more packages, add them here as you need 

% define commands here
\usepackage{amsmath, amssymb, amsfonts, amsthm, amscd, latexsym}
\usepackage{xypic}
\usepackage[mathscr]{eucal}
\theoremstyle{plain}
\newtheorem{lemma}{Lemma}[section]
\newtheorem{proposition}{Proposition}[section]
\newtheorem{theorem}{Theorem}[section]
\newtheorem{corollary}{Corollary}[section]
\theoremstyle{definition}
\newtheorem{definition}{Definition}[section]
\newtheorem{example}{Example}[section]
%\theoremstyle{remark}
\newtheorem{remark}{Remark}[section]
\newtheorem*{notation}{Notation}
\newtheorem*{claim}{Claim}

\renewcommand{\thefootnote}{\ensuremath{\fnsymbol{footnote%%@
}}}
\numberwithin{equation}{section}

\newcommand{\Ad}{{\rm Ad}}
\newcommand{\Aut}{{\rm Aut}}
\newcommand{\Cl}{{\rm Cl}}
\newcommand{\Co}{{\rm Co}}
\newcommand{\DES}{{\rm DES}}
\newcommand{\Diff}{{\rm Diff}}
\newcommand{\Dom}{{\rm Dom}}
\newcommand{\Hol}{{\rm Hol}}
\newcommand{\Mon}{{\rm Mon}}
\newcommand{\Hom}{{\rm Hom}}
\newcommand{\Ker}{{\rm Ker}}
\newcommand{\Ind}{{\rm Ind}}
\newcommand{\IM}{{\rm Im}}
\newcommand{\Is}{{\rm Is}}
\newcommand{\ID}{{\rm id}}
\newcommand{\GL}{{\rm GL}}
\newcommand{\Iso}{{\rm Iso}}
\newcommand{\Sem}{{\rm Sem}}
\newcommand{\St}{{\rm St}}
\newcommand{\Sym}{{\rm Sym}}
\newcommand{\SU}{{\rm SU}}
\newcommand{\Tor}{{\rm Tor}}
\newcommand{\U}{{\rm U}}

\newcommand{\A}{\mathcal A}
\newcommand{\Ce}{\mathcal C}
\newcommand{\D}{\mathcal D}
\newcommand{\E}{\mathcal E}
\newcommand{\F}{\mathcal F}
\newcommand{\G}{\mathcal G}
\newcommand{\Q}{\mathcal Q}
\newcommand{\R}{\mathcal R}
\newcommand{\cS}{\mathcal S}
\newcommand{\cU}{\mathcal U}
\newcommand{\W}{\mathcal W}

\newcommand{\bA}{\mathbb{A}}
\newcommand{\bB}{\mathbb{B}}
\newcommand{\bC}{\mathbb{C}}
\newcommand{\bD}{\mathbb{D}}
\newcommand{\bE}{\mathbb{E}}
\newcommand{\bF}{\mathbb{F}}
\newcommand{\bG}{\mathbb{G}}
\newcommand{\bK}{\mathbb{K}}
\newcommand{\bM}{\mathbb{M}}
\newcommand{\bN}{\mathbb{N}}
\newcommand{\bO}{\mathbb{O}}
\newcommand{\bP}{\mathbb{P}}
\newcommand{\bR}{\mathbb{R}}
\newcommand{\bV}{\mathbb{V}}
\newcommand{\bZ}{\mathbb{Z}}

\newcommand{\bfE}{\mathbf{E}}
\newcommand{\bfX}{\mathbf{X}}
\newcommand{\bfY}{\mathbf{Y}}
\newcommand{\bfZ}{\mathbf{Z}}

\renewcommand{\O}{\Omega}
\renewcommand{\o}{\omega}
\newcommand{\vp}{\varphi}
\newcommand{\vep}{\varepsilon}

\newcommand{\diag}{{\rm diag}}
\newcommand{\grp}{{\mathbb G}}
\newcommand{\dgrp}{{\mathbb D}}
\newcommand{\desp}{{\mathbb D^{\rm{es}}}}
\newcommand{\Geod}{{\rm Geod}}
\newcommand{\geod}{{\rm geod}}
\newcommand{\hgr}{{\mathbb H}}
\newcommand{\mgr}{{\mathbb M}}
\newcommand{\ob}{{\rm Ob}}
\newcommand{\obg}{{\rm Ob(\mathbb G)}}
\newcommand{\obgp}{{\rm Ob(\mathbb G')}}
\newcommand{\obh}{{\rm Ob(\mathbb H)}}
\newcommand{\Osmooth}{{\Omega^{\infty}(X,*)}}
\newcommand{\ghomotop}{{\rho_2^{\square}}}
\newcommand{\gcalp}{{\mathbb G(\mathcal P)}}

\newcommand{\rf}{{R_{\mathcal F}}}
\newcommand{\glob}{{\rm glob}}
\newcommand{\loc}{{\rm loc}}
\newcommand{\TOP}{{\rm TOP}}

\newcommand{\wti}{\widetilde}
\newcommand{\what}{\widehat}

\renewcommand{\a}{\alpha}
\newcommand{\be}{\beta}
\newcommand{\ga}{\gamma}
\newcommand{\Ga}{\Gamma}
\newcommand{\de}{\delta}
\newcommand{\del}{\partial}
\newcommand{\ka}{\kappa}
\newcommand{\si}{\sigma}
\newcommand{\ta}{\tau}
\newcommand{\lra}{{\longrightarrow}}
\newcommand{\ra}{{\rightarrow}}
\newcommand{\rat}{{\rightarrowtail}}
\newcommand{\oset}[1]{\overset {#1}{\ra}}
\newcommand{\osetl}[1]{\overset {#1}{\lra}}
\newcommand{\hr}{{\hookrightarrow}}

\begin{document}

 This is a contributed topic on \htmladdnormallink{groupoids}{http://planetphysics.us/encyclopedia/GroupoidHomomorphism2.html} and their applications.
Groupoids are a key \htmladdnormallink{concept}{http://planetphysics.us/encyclopedia/PreciseIdea.html} in modern topology, and especially in \htmladdnormallink{algebraic topology}{http://planetphysics.us/encyclopedia/CubicalHigherHomotopyGroupoid.html}; they may be considered as one of the simplest, special \htmladdnormallink{types}{http://planetphysics.us/encyclopedia/Bijective.html} of \htmladdnormallink{categories}{http://planetphysics.us/encyclopedia/Cod.html}.

\subsection{Introduction}

Several classes of groupoids and large groupoids shall be considered in this topic with pertinent examples that illustrate the construction of groupoids through several extensions of the much simpler (and global) \htmladdnormallink{group}{http://planetphysics.us/encyclopedia/TrivialGroupoid.html} symmetry to both higher order symmetries and dimensions, as well as internal (or local, partial) plus external symmetry. Considered as powerful tools for investigating both Abelian and \htmladdnormallink{non-Abelian}{http://planetphysics.us/encyclopedia/AbelianCategory3.html} structures, groupoids are now essential for understanding topology, and are one of the important--\emph{if not the most important}-- concepts in algebraic topology (\cite{BR2006})

\subsection{Groupoids and Topology}
\subsubsection{Brief Description}
\emph{Groupoids} are generalizations or extensions of the concept of group, supergroup, `virtual group', and paragroup, in several ways; one may simply extend the notion of a group viewed as an one-object category to a \emph{many-object category with group-like elements and all invertible \htmladdnormallink{morphisms}{http://planetphysics.us/encyclopedia/TrivialGroupoid.html}}. Another enrichment of the notion of a group--as in the case of \htmladdnormallink{topological}{http://planetphysics.us/encyclopedia/CoIntersections.html} groups-- is the concept of \htmladdnormallink{topological groupoid}{http://planetphysics.us/encyclopedia/GroupoidHomomorphism2.html} $\mathsf{G}$. One can also think of a groupoid as a class of linked groups, and further extend the latter groupoid definition to higher dimensions through `geometric'-algebraic constructions, for example, to \htmladdnormallink{double groupoids}{http://planetphysics.us/encyclopedia/WeakHomotopy.html}, cubic groupoids, ..., \htmladdnormallink{groupoid categories}{http://planetphysics.us/encyclopedia/GroupoidCategory3.html}, groupoid \htmladdnormallink{supercategories}{http://planetphysics.us/encyclopedia/SuperCategory6.html}, and so on. \htmladdnormallink{Crossed modules}{http://planetphysics.us/encyclopedia/CubicalHigherHomotopyGroupoid.html} of groups and \htmladdnormallink{crossed complexes}{http://planetphysics.us/encyclopedia/SingularComplexOfASpace.html} also correspond to such extended groupoids.

For precise definitions of specific classes of groupoids, see also groupoid and topological groupoid definitions,
as well as those entries listed next as examples.

\subsection{Additional examples} of major classes of groupoids defining the several extensions and enrichment possibilities of the notions of group and group symmetry introduced in the above definition are the subject of several other entries:

\begin{enumerate}
\item \htmladdnormallink{2-groupoids}{http://planetphysics.us/encyclopedia/InfinityGroupoid.html} (please see \emph{groupoid categories})
\item Double groupoids; \htmladdnormallink{homotopy double groupoid of a Hausdorff space}{http://planetphysics.us/encyclopedia/ThinEquivalence.html} \item \htmladdnormallink{higher homotopy}{http://planetphysics.us/encyclopedia/ModuleAlgebraic.html} groupoids and the higher dimensional, \htmladdnormallink{generalized Van Kampen theorems}{http://planetphysics.us/encyclopedia/SingularComplexOfASpace.html} \item Groupoid category
\item Crossed complexes
\item \htmladdnormallink{higher dimensional algebra}{http://planetphysics.us/encyclopedia/HigherDimensionalAlgebra2.html} (\htmladdnormallink{HDA}{http://planetphysics.us/encyclopedia/2Groupoid2.html})
\item Groupoid \htmladdnormallink{super-categories}{http://planetphysics.us/encyclopedia/SuperCategory6.html} ($n$-categories, etc.)
\item Groupoid supercategories
\end{enumerate}


\begin{thebibliography}{9}

\bibitem{BR2006}
R. Brown. 2006. {\em Topology and Groupoids}. Booksurge PLC.

\bibitem{BR2k7et8}
R. Brown. 2008. {\em Nonabelian Algebraic Topology}. {\em preprint}, (two volumes).

\end{thebibliography} 

\end{document}