Talk:PlanetPhysics/Categorical Algebra

Original TeX Content from PlanetPhysics Archive

%%% This file is part of PlanetPhysics snapshot of 2011-09-01
%%% Primary Title: categorical algebra
%%% Primary Category Code: 00.
%%% Filename: CategoricalAlgebra.tex
%%% Version: 6
%%% 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}

% this is the default PlanetPhysics preamble. 
\usepackage{amssymb}
\usepackage{amsmath}
\usepackage{amsfonts} 

% define commands here
\usepackage{amsmath, amssymb, amsfonts, amsthm, amscd, latexsym, enumerate,color}
\usepackage{xypic, xspace}
\usepackage[mathscr]{eucal}
\usepackage[dvips]{graphicx}
\usepackage[curve]{xy}
\usepackage{amssymb}
\usepackage{amsmath}
\usepackage{amsfonts}
\usepackage{graphicx}
\usepackage{xypic}
\renewcommand{\u}{\mathbf{u}}
\renewcommand{\v}{\mathbf{v}}
\newcommand{\w}{\mathbf{w}}
\newcommand{\0}{\mathbf{0}}
\def\blue{\textcolor{blue}}
\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{\grpL}{{\rm GL}}
\newcommand{\Iso}{{\rm Iso}}
\newcommand{\rO}{{\rm O}}
\newcommand{\Sem}{{\rm Sem}}
\newcommand{\SL}{{\rm Sl}}
\newcommand{\St}{{\rm St}}
\newcommand{\Sym}{{\rm Sym}}
\newcommand{\Symb}{{\rm Symb}}
\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{\grp}{\mathcal G}
\renewcommand{\H}{\mathcal H}
\renewcommand{\cL}{\mathcal L}
\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}{\mathcal G}
\newcommand{\dgrp}{{\mathsf{D}}}
\newcommand{\desp}{{\mathsf{D}^{\rm{es}}}}
\newcommand{\grpeod}{{\rm Geod}}
%\newcommand{\grpeod}{{\rm geod}}
\newcommand{\hgr}{{\mathsf{H}}}
\newcommand{\mgr}{{\mathsf{M}}}
\newcommand{\ob}{{\rm Ob}}
\newcommand{\obg}{{\rm Ob(\mathsf{G)}}}
\newcommand{\obgp}{{\rm Ob(\mathsf{G}')}}
\newcommand{\obh}{{\rm Ob(\mathsf{H})}}
\newcommand{\Osmooth}{{\Omega^{\infty}(X,*)}}
\newcommand{\grphomotop}{{\rho_2^{\square}}}
\newcommand{\grpcalp}{{\mathsf{G}(\mathcal P)}}
\newcommand{\rf}{{R_{\mathcal F}}}
\newcommand{\grplob}{{\rm glob}}
\newcommand{\loc}{{\rm loc}}
\newcommand{\TOP}{{\rm TOP}}
\newcommand{\wti}{\widetilde}
\newcommand{\what}{\widehat}

\renewcommand{\a}{\alpha}
\newcommand{\be}{\beta}
\newcommand{\grpa}{\grpamma}
%\newcommand{\grpa}{\grpamma}
\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{\ovset}[1]{\overset {#1}{\ra}}
\newcommand{\ovsetl}[1]{\overset {#1}{\lra}}
\newcommand{\hr}{{\hookrightarrow}}

\newcommand{\<}{{\langle}}

\def\baselinestretch{1.1}

\hyphenation{prod-ucts}

%\grpeometry{textwidth= 16 cm, textheight=21 cm}

\newcommand{\sqdiagram}[9]{$$ \diagram #1 \rto^{#2} \dto_{#4}&
#3 \dto^{#5} \\ #6 \rto_{#7} & #8 \enddiagram
\eqno{\mbox{#9}}$$ }

\def\C{C^{\ast}}

\newcommand{\labto}[1]{\stackrel{#1}{\longrightarrow}}

%\newenvironment{proof}{\noindent {\bf Proof} }{ \hfill $\Box$
%{\mbox{}}
\newcommand{\midsqn}[1]{\ar@{}[dr]|{#1}}
\newcommand{\quadr}[4]
{\begin{pmatrix} & #1& \\[-1.1ex] #2 & & #3\\[-1.1ex]& #4&
\end{pmatrix}}
\def\D{\mathsf{D}}

\begin{document}

 \subsection{An Outline of Categorical Algebra}
This topic entry provides an outline of an important mathematical \htmladdnormallink{field}{http://planetphysics.us/encyclopedia/CosmologicalConstant.html} called {\em categorical algebra}; although specific definitions are in use for various applications of categorical algebra to specific \htmladdnormallink{algebraic structures}{http://planetphysics.us/encyclopedia/TrivialGroupoid.html}, they do not cover the entire field. In the most general sense, \emph{categorical algebras}-- as introduced by Mac Lane in 1965 -- can be described as the study of \htmladdnormallink{representations}{http://planetphysics.us/encyclopedia/CategoricalGroupRepresentation.html} of algebraic structures, either concrete or abstract, in terms of \htmladdnormallink{categories}{http://planetphysics.us/encyclopedia/Cod.html}, \htmladdnormallink{functors}{http://planetphysics.us/encyclopedia/TrivialGroupoid.html} and \htmladdnormallink{natural transformations}{http://planetphysics.us/encyclopedia/VariableCategory2.html}.

In a narrow sense, a \emph{categorical algebra} is an associative algebra, defined for any locally finite category and a \htmladdnormallink{commutative ring}{http://planetphysics.us/encyclopedia/PAdicMeasure.html} with unity. This notion may be considered as a generalization of both the \htmladdnormallink{concept}{http://planetphysics.us/encyclopedia/PreciseIdea.html} of \htmladdnormallink{group}{http://planetphysics.us/encyclopedia/TrivialGroupoid.html} algebra and that of an incidence algebra, much as the concept of category generalizes the notions of group and partially ordered set.


\subsection{Extensions of Categorical Algebra}

\begin{itemize}
\item Thus, ultimately, since categories are interpretations of the \emph{axiomatic \htmladdnormallink{theories of abstract category}{http://planetphysics.us/encyclopedia/Formula.html} (\htmladdnormallink{ETAC}{http://planetphysics.us/encyclopedia/Formula.html})}, so are categorical algebras.

The general definition of representation introduced above can be still further extended by introducing \emph{supercategorical algebras as interpretations of \htmladdnormallink{ETAS}{http://planetphysics.us/encyclopedia/ETACAxioms.html}}, as explained next.

\item Mac Lane (1976) wrote in his {\em Bull. AMS} review cited here as a verbatim quotation:


\emph{``On some occasions I have been tempted to try to define what algebra is,
can, or should be - most recently in concluding a survey [72] on Recent
advances in algebra. But no such formal definitions hold valid for long, since
algebra and its various subfields steadily change under the influence of ideas
and problems coming not just from logic and geometry, but from analysis,
other parts of mathematics, and extra mathematical sources. The progress of
mathematics does indeed depend on many interlocking, unexpected and
multiform developments.''}
\end{itemize}

\subsection{Basic Definitions}

An \emph{algebraic representation} is generally defined as a \emph{\htmladdnormallink{morphism}{http://planetphysics.us/encyclopedia/TrivialGroupoid.html} $\rho$ from an abstract algebraic structure $\mathcal{A}_S$ to a concrete algebraic structure $A_c$}, a \htmladdnormallink{Hilbert space}{http://planetphysics.us/encyclopedia/NormInducedByInnerProduct.html} $\mathcal{H}$, or a family of \htmladdnormallink{linear operator}{http://planetphysics.us/encyclopedia/Commutator.html} spaces.

The key notion of \htmladdnormallink{representable functor}{http://planetphysics.us/encyclopedia/RepresentableFunctor.html} was first reported by \htmladdnormallink{Alexander Grothendieck}{http://planetphysics.us/encyclopedia/AlexanderGrothendieck.html} in 1960.

\begin{definition}
Thus, when the latter concept is extended to categorical algebra, one has a \emph{representable} functor $S$ from an arbitrary category $\mathcal{C}$ to the category of sets $Set$ if $S$ admits a \emph{functor representation} defined as follows. A \emph{functor representation of $S$} is defined as a pair, $({R}, \phi)$, which consists of an \htmladdnormallink{object}{http://planetphysics.us/encyclopedia/TrivialGroupoid.html} $R$ of $\mathcal{C}$ and a family $\phi$ of equivalences $\phi (C): \Hom_{\mathcal{C}}(R,C) \cong S(C)$, which is natural in C, with C being any object in $\mathcal{C}$. When the functor $S$ has such a representation, it is also said to be \emph{represented by the object $R$} of $\mathcal{C}$. For each object $R$ of $\mathbf{C}$
one writes $h_{R}: \mathcal{C} \lra Set$ for the covariant $\Hom$--functor $h_{R}(C)\cong \Hom_{\mathcal{C}}(R,C)$. A \emph{representation} $(R, \phi)$ of ${S}$ is therefore \emph{a \htmladdnormallink{natural equivalence}{http://planetphysics.us/encyclopedia/IsomorphismClass.html} of functors}:
\begin{equation}
\phi: h_{R} \cong {S}~.
\end{equation}
\end{definition}

\begin{remark}
The equivalence classes of such functor representations (defined as natural equivalences) directly determine an \htmladdnormallink{algebraic}{http://planetphysics.us/encyclopedia/CoIntersections.html} (\emph{\htmladdnormallink{groupoid}{http://planetphysics.us/encyclopedia/QuantumOperatorAlgebra5.html}}) structure.
\end{remark}

\begin{thebibliography}{9}

\bibitem{SML65}
Saunders Mac Lane: Categorical algebra., {\em Bull. AMS}, \textbf{71} (1965), 40-106., Zbl 0161.01601, MR 0171826,

\bibitem{SML76}
Saunders Mac Lane: Topology and Logic as a Source of Algebras., {\em Bull. AMS}, \textbf{82}, Number 1, 1-36,
January 1, 1976.

\end{thebibliography} 

\end{document}