Talk:PlanetPhysics/Algebraic Categories and Representations of Classes of Algebras

Original TeX Content from PlanetPhysics Archive

%%% This file is part of PlanetPhysics snapshot of 2011-09-01
%%% Primary Title: algebraic categories and representations of classes of algebras
%%% Primary Category Code: 02.
%%% Filename: AlgebraicCategoriesAndRepresentationsOfClassesOfAlgebras.tex
%%% Version: 7
%%% 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}

%Planet physics preamble default
\usepackage{amssymb}
\usepackage{amsmath}
\usepackage{amsfonts}

% 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}

 \subsection{Introduction}
Classes of algebras can be categorized at least in two \htmladdnormallink{types}{http://planetphysics.us/encyclopedia/Bijective.html}: either classes of \emph{specific
algebras}, such as: \htmladdnormallink{group}{http://planetphysics.us/encyclopedia/TrivialGroupoid.html} algebras, K-algebras, \htmladdnormallink{groupoid}{http://planetphysics.us/encyclopedia/GroupoidHomomorphism2.html} algebras, logic algebras, and so on,
or \emph{general} ones, such as general classes of: \htmladdnormallink{categorical algebras}{http://planetphysics.us/encyclopedia/CategoryOfLogicAlgebras.html}, \htmladdnormallink{higher dimensional algebra}{http://planetphysics.us/encyclopedia/HigherDimensionalAlgebra2.html} (\htmladdnormallink{HDA}{http://planetphysics.us/encyclopedia/2Groupoid2.html}), supercategorical algebras, universal algebras, and so on.

\subsection{Basic concepts and definitions}

\begin{itemize}
\item {\bf Class of algebras}
\begin{definition}
A \emph{class of algebras} is defined in a precise sense as an \htmladdnormallink{algebraic}{http://planetphysics.us/encyclopedia/CoIntersections.html} \htmladdnormallink{object}{http://planetphysics.us/encyclopedia/TrivialGroupoid.html} in the
\emph{\htmladdnormallink{groupoid category}{http://planetphysics.us/encyclopedia/GroupoidCategory.html}}.

\end{definition}

\item {\bf Monad on a \htmladdnormallink{category}{http://planetphysics.us/encyclopedia/Cod.html} $\mathcal{C}$, and a T-algebra in $\mathcal{C}$}

\begin{definition}
Let us consider a category $\mathcal{C}$, two \htmladdnormallink{functors}{http://planetphysics.us/encyclopedia/Functor.html}: $T: \mathcal{C} \to \mathcal{C}$ (called the \emph{monad functor}) and $T^2: \mathcal{C} \to \mathcal{C} = T \circ T$, and two \htmladdnormallink{natural transformations}{http://planetphysics.us/encyclopedia/VariableCategory2.html}:
$\eta: 1_ \mathcal{C} \to T$ and $\mu: T^2 \to T$. The triplet $(\mathcal{C},\eta,\mu)$
is called a {\em monad on the category $\mathcal{C}$}. Then, a {\em T-algebra} $(Y,h)$ is defined as an object $Y$ of a category $\mathcal{C}$ together with an arrow $h: TY \to Y $ called the {\em structure map} in $\mathcal{C}$ such that:

\begin{enumerate}
\item $$Th: T^2 \to TY,$$
\item $$h \circ Th = h \circ \mu_Y,$$
where: $\mu_Y: T^2 Y \to TY;$ and
\item $$ h \circ \eta_Y = 1_Y.$$
\end{enumerate}

\end{definition}

\item {\bf Category of Eilenberg-Moore algebras of a monad $T$}

An important definition related to abstract classes of algebras and universal algebras is that of the category of Eilenberg-Moore algebras of a monad $T$:

\begin{definition}
The category $\mathcal{C}^T$ of $T$-algebras and their \htmladdnormallink{morphisms}{http://planetphysics.us/encyclopedia/TrivialGroupoid.html} is called the {\em Eilenberg-Moore category} or {\em category of Eilenberg-Moore algebras} of the monad T.
\end{definition}

\end{itemize}

\subsection{Pertinent remarks:}
\begin{itemize}
\item {\bf a. Algebraic category definition}

\begin{remark}
With the above definition, one can also define a \emph{category of classes of algebras and their
associated \htmladdnormallink{groupoid homomorphisms}{http://planetphysics.us/encyclopedia/GroupoidHomomorphism.html}} which is then an algebraic category.

Another example of algebraic category is that of the \htmladdnormallink{category of C*-algebras}{http://planetphysics.us/encyclopedia/Homomorphisms.html}.

Generally, a category $\mathcal{A}_C$ is called \emph{algebraic} if it is \htmladdnormallink{monadic}{http://planetphysics.us/encyclopedia/CoIntersections.html} over the category of sets and set-theoretical mappings, $Set$; thus, a functor $G: \mathcal{D} to \mathcal{C}$ is called \emph{monadic} if it has a left adjoint
$F: \mathcal{C}\to \mathcal{D}$ forming a {\em monadic adjunction} $(F,G,\eta,\epsilon)$ with $G$ and $\eta, \epsilon$
being, respectively, the unit and counit; such a {\em monadic adjunction} between categories
$\mathcal{C}$ and $\mathcal{D}$ is defined by the condition that category $\mathcal{D}$ is equivalent to the to the Eilenberg-Moore category $\mathcal{C} ^T$ for the monad
$$T = GF.$$

\end{remark}

\item b. Equivalence classes
\begin{remark}
Although all classes can be regarded as equivalence, weak equivalence, etc., classes of
algebras (either specific or general ones), do not define identical, or even isomorphic structures, as the notion of `equivalence' can have more than one meaning even in the algebraic case.

\end{remark}
\end{itemize}

\subsection{Algebraic representations}
\begin{itemize}
\item \htmladdnormallink{group representations}{http://planetphysics.us/encyclopedia/GroupRepresentations.html} \item \htmladdnormallink{groupoid representations}{http://planetphysics.us/encyclopedia/GroupRepresentations.html} \item Convolution C*-algebra groupoid representations
\item Functorial representations and \htmladdnormallink{representable functors}{http://planetphysics.us/encyclopedia/CategoryOfLogicAlgebras.html}
\item Categorical group representations
\item Algebroid representations
\item Quantum Algebroid (QA) representations
\item Double groupoid representations
\item Double Algebroid representations
\item Grassman-Hopf representations
\end{itemize}

\end{document}