\documentclass[12pt,titlepage]{article}

\usepackage{amsmath}
\usepackage{mathrsfs}
\usepackage{amsfonts}
\usepackage{amssymb}
\usepackage{amsthm}
\usepackage{mathtools}
\usepackage{graphicx}
\usepackage{color}
\usepackage{ucs}
\usepackage[utf8x]{inputenc}
\usepackage{xparse}
\usepackage{hyperref}

%----Macros----------
%
% Unresolved issues:
%
%  \righttoleftarrow
%  \lefttorightarrow
%
%  \color{} with HTML colorspec
%  \bgcolor
%  \array with options (without options, it's equivalent to the matrix environment)

% Of the standard HTML named colors, white, black, red, green, blue and yellow
% are predefined in the color package. Here are the rest.
\definecolor{aqua}{rgb}{0, 1.0, 1.0}
\definecolor{fuschia}{rgb}{1.0, 0, 1.0}
\definecolor{gray}{rgb}{0.502, 0.502, 0.502}
\definecolor{lime}{rgb}{0, 1.0, 0}
\definecolor{maroon}{rgb}{0.502, 0, 0}
\definecolor{navy}{rgb}{0, 0, 0.502}
\definecolor{olive}{rgb}{0.502, 0.502, 0}
\definecolor{purple}{rgb}{0.502, 0, 0.502}
\definecolor{silver}{rgb}{0.753, 0.753, 0.753}
\definecolor{teal}{rgb}{0, 0.502, 0.502}

% Because of conflicts, \space and \mathop are converted to
% \itexspace and \operatorname during preprocessing.

% itex: \space{ht}{dp}{wd}
%
% Height and baseline depth measurements are in units of tenths of an ex while
% the width is measured in tenths of an em.
\makeatletter
\newdimen\itex@wd%
\newdimen\itex@dp%
\newdimen\itex@thd%
\def\itexspace#1#2#3{\itex@wd=#3em%
\itex@wd=0.1\itex@wd%
\itex@dp=#2ex%
\itex@dp=0.1\itex@dp%
\itex@thd=#1ex%
\itex@thd=0.1\itex@thd%
\advance\itex@thd\the\itex@dp%
\makebox[\the\itex@wd]{\rule[-\the\itex@dp]{0cm}{\the\itex@thd}}}
\makeatother

% \tensor and \multiscript
\makeatletter
\newif\if@sup
\newtoks\@sups
\def\append@sup#1{\edef\act{\noexpand\@sups={\the\@sups #1}}\act}%
\def\reset@sup{\@supfalse\@sups={}}%
\def\mk@scripts#1#2{\if #2/ \if@sup ^{\the\@sups}\fi \else%
  \ifx #1_ \if@sup ^{\the\@sups}\reset@sup \fi {}_{#2}%
  \else \append@sup#2 \@suptrue \fi%
  \expandafter\mk@scripts\fi}
\def\tensor#1#2{\reset@sup#1\mk@scripts#2_/}
\def\multiscripts#1#2#3{\reset@sup{}\mk@scripts#1_/#2%
  \reset@sup\mk@scripts#3_/}
\makeatother

% \slash
\makeatletter
\newbox\slashbox \setbox\slashbox=\hbox{$/$}
\def\itex@pslash#1{\setbox\@tempboxa=\hbox{$#1$}
  \@tempdima=0.5\wd\slashbox \advance\@tempdima 0.5\wd\@tempboxa
  \copy\slashbox \kern-\@tempdima \box\@tempboxa}
\def\slash{\protect\itex@pslash}
\makeatother

% math-mode versions of \rlap, etc
% from Alexander Perlis, "A complement to \smash, \llap, and lap"
%   http://math.arizona.edu/~aprl/publications/mathclap/
\def\clap#1{\hbox to 0pt{\hss#1\hss}}
\def\mathllap{\mathpalette\mathllapinternal}
\def\mathrlap{\mathpalette\mathrlapinternal}
\def\mathclap{\mathpalette\mathclapinternal}
\def\mathllapinternal#1#2{\llap{$\mathsurround=0pt#1{#2}$}}
\def\mathrlapinternal#1#2{\rlap{$\mathsurround=0pt#1{#2}$}}
\def\mathclapinternal#1#2{\clap{$\mathsurround=0pt#1{#2}$}}

% Renames \sqrt as \oldsqrt and redefine root to result in \sqrt[#1]{#2}
\let\oldroot\root
\def\root#1#2{\oldroot #1 \of{#2}}
\renewcommand{\sqrt}[2][]{\oldroot #1 \of{#2}}

% Manually declare the txfonts symbolsC font
\DeclareSymbolFont{symbolsC}{U}{txsyc}{m}{n}
\SetSymbolFont{symbolsC}{bold}{U}{txsyc}{bx}{n}
\DeclareFontSubstitution{U}{txsyc}{m}{n}

% Manually declare the stmaryrd font
\DeclareSymbolFont{stmry}{U}{stmry}{m}{n}
\SetSymbolFont{stmry}{bold}{U}{stmry}{b}{n}

% Manually declare the MnSymbolE font
\DeclareFontFamily{OMX}{MnSymbolE}{}
\DeclareSymbolFont{mnomx}{OMX}{MnSymbolE}{m}{n}
\SetSymbolFont{mnomx}{bold}{OMX}{MnSymbolE}{b}{n}
\DeclareFontShape{OMX}{MnSymbolE}{m}{n}{
    <-6>  MnSymbolE5
   <6-7>  MnSymbolE6
   <7-8>  MnSymbolE7
   <8-9>  MnSymbolE8
   <9-10> MnSymbolE9
  <10-12> MnSymbolE10
  <12->   MnSymbolE12}{}

% Declare specific arrows from txfonts without loading the full package
\makeatletter
\def\re@DeclareMathSymbol#1#2#3#4{%
    \let#1=\undefined
    \DeclareMathSymbol{#1}{#2}{#3}{#4}}
\re@DeclareMathSymbol{\neArrow}{\mathrel}{symbolsC}{116}
\re@DeclareMathSymbol{\neArr}{\mathrel}{symbolsC}{116}
\re@DeclareMathSymbol{\seArrow}{\mathrel}{symbolsC}{117}
\re@DeclareMathSymbol{\seArr}{\mathrel}{symbolsC}{117}
\re@DeclareMathSymbol{\nwArrow}{\mathrel}{symbolsC}{118}
\re@DeclareMathSymbol{\nwArr}{\mathrel}{symbolsC}{118}
\re@DeclareMathSymbol{\swArrow}{\mathrel}{symbolsC}{119}
\re@DeclareMathSymbol{\swArr}{\mathrel}{symbolsC}{119}
\re@DeclareMathSymbol{\nequiv}{\mathrel}{symbolsC}{46}
\re@DeclareMathSymbol{\Perp}{\mathrel}{symbolsC}{121}
\re@DeclareMathSymbol{\Vbar}{\mathrel}{symbolsC}{121}
\re@DeclareMathSymbol{\sslash}{\mathrel}{stmry}{12}
\re@DeclareMathSymbol{\bigsqcap}{\mathop}{stmry}{"64}
\re@DeclareMathSymbol{\biginterleave}{\mathop}{stmry}{"6}
\re@DeclareMathSymbol{\invamp}{\mathrel}{symbolsC}{77}
\re@DeclareMathSymbol{\parr}{\mathrel}{symbolsC}{77}
\makeatother

% \llangle, \rrangle, \lmoustache and \rmoustache from MnSymbolE
\makeatletter
\def\Decl@Mn@Delim#1#2#3#4{%
  \if\relax\noexpand#1%
    \let#1\undefined
  \fi
  \DeclareMathDelimiter{#1}{#2}{#3}{#4}{#3}{#4}}
\def\Decl@Mn@Open#1#2#3{\Decl@Mn@Delim{#1}{\mathopen}{#2}{#3}}
\def\Decl@Mn@Close#1#2#3{\Decl@Mn@Delim{#1}{\mathclose}{#2}{#3}}
\Decl@Mn@Open{\llangle}{mnomx}{'164}
\Decl@Mn@Close{\rrangle}{mnomx}{'171}
\Decl@Mn@Open{\lmoustache}{mnomx}{'245}
\Decl@Mn@Close{\rmoustache}{mnomx}{'244}
\makeatother

% Widecheck
\makeatletter
\DeclareRobustCommand\widecheck[1]{{\mathpalette\@widecheck{#1}}}
\def\@widecheck#1#2{%
    \setbox\z@\hbox{\m@th$#1#2$}%
    \setbox\tw@\hbox{\m@th$#1%
       \widehat{%
          \vrule\@width\z@\@height\ht\z@
          \vrule\@height\z@\@width\wd\z@}$}%
    \dp\tw@-\ht\z@
    \@tempdima\ht\z@ \advance\@tempdima2\ht\tw@ \divide\@tempdima\thr@@
    \setbox\tw@\hbox{%
       \raise\@tempdima\hbox{\scalebox{1}[-1]{\lower\@tempdima\box
\tw@}}}%
    {\ooalign{\box\tw@ \cr \box\z@}}}
\makeatother

% \mathraisebox{voffset}[height][depth]{something}
\makeatletter
\NewDocumentCommand\mathraisebox{moom}{%
\IfNoValueTF{#2}{\def\@temp##1##2{\raisebox{#1}{$\m@th##1##2$}}}{%
\IfNoValueTF{#3}{\def\@temp##1##2{\raisebox{#1}[#2]{$\m@th##1##2$}}%
}{\def\@temp##1##2{\raisebox{#1}[#2][#3]{$\m@th##1##2$}}}}%
\mathpalette\@temp{#4}}
\makeatletter

% udots (taken from yhmath)
\makeatletter
\def\udots{\mathinner{\mkern2mu\raise\p@\hbox{.}
\mkern2mu\raise4\p@\hbox{.}\mkern1mu
\raise7\p@\vbox{\kern7\p@\hbox{.}}\mkern1mu}}
\makeatother

%% Fix array
\newcommand{\itexarray}[1]{\begin{matrix}#1\end{matrix}}
%% \itexnum is a noop
\newcommand{\itexnum}[1]{#1}

%% Renaming existing commands
\newcommand{\underoverset}[3]{\underset{#1}{\overset{#2}{#3}}}
\newcommand{\widevec}{\overrightarrow}
\newcommand{\darr}{\downarrow}
\newcommand{\nearr}{\nearrow}
\newcommand{\nwarr}{\nwarrow}
\newcommand{\searr}{\searrow}
\newcommand{\swarr}{\swarrow}
\newcommand{\curvearrowbotright}{\curvearrowright}
\newcommand{\uparr}{\uparrow}
\newcommand{\downuparrow}{\updownarrow}
\newcommand{\duparr}{\updownarrow}
\newcommand{\updarr}{\updownarrow}
\newcommand{\gt}{>}
\newcommand{\lt}{<}
\newcommand{\map}{\mapsto}
\newcommand{\embedsin}{\hookrightarrow}
\newcommand{\Alpha}{A}
\newcommand{\Beta}{B}
\newcommand{\Zeta}{Z}
\newcommand{\Eta}{H}
\newcommand{\Iota}{I}
\newcommand{\Kappa}{K}
\newcommand{\Mu}{M}
\newcommand{\Nu}{N}
\newcommand{\Rho}{P}
\newcommand{\Tau}{T}
\newcommand{\Upsi}{\Upsilon}
\newcommand{\omicron}{o}
\newcommand{\lang}{\langle}
\newcommand{\rang}{\rangle}
\newcommand{\Union}{\bigcup}
\newcommand{\Intersection}{\bigcap}
\newcommand{\Oplus}{\bigoplus}
\newcommand{\Otimes}{\bigotimes}
\newcommand{\Wedge}{\bigwedge}
\newcommand{\Vee}{\bigvee}
\newcommand{\coproduct}{\coprod}
\newcommand{\product}{\prod}
\newcommand{\closure}{\overline}
\newcommand{\integral}{\int}
\newcommand{\doubleintegral}{\iint}
\newcommand{\tripleintegral}{\iiint}
\newcommand{\quadrupleintegral}{\iiiint}
\newcommand{\conint}{\oint}
\newcommand{\contourintegral}{\oint}
\newcommand{\infinity}{\infty}
\newcommand{\bottom}{\bot}
\newcommand{\minusb}{\boxminus}
\newcommand{\plusb}{\boxplus}
\newcommand{\timesb}{\boxtimes}
\newcommand{\intersection}{\cap}
\newcommand{\union}{\cup}
\newcommand{\Del}{\nabla}
\newcommand{\odash}{\circleddash}
\newcommand{\negspace}{\!}
\newcommand{\widebar}{\overline}
\newcommand{\textsize}{\normalsize}
\renewcommand{\scriptsize}{\scriptstyle}
\newcommand{\scriptscriptsize}{\scriptscriptstyle}
\newcommand{\mathfr}{\mathfrak}
\newcommand{\statusline}[2]{#2}
\newcommand{\tooltip}[2]{#2}
\newcommand{\toggle}[2]{#2}

% Theorem Environments
\theoremstyle{plain}
\newtheorem{theorem}{Theorem}
\newtheorem{lemma}{Lemma}
\newtheorem{prop}{Proposition}
\newtheorem{cor}{Corollary}
\newtheorem*{utheorem}{Theorem}
\newtheorem*{ulemma}{Lemma}
\newtheorem*{uprop}{Proposition}
\newtheorem*{ucor}{Corollary}
\theoremstyle{definition}
\newtheorem{defn}{Definition}
\newtheorem{example}{Example}
\newtheorem*{udefn}{Definition}
\newtheorem*{uexample}{Example}
\theoremstyle{remark}
\newtheorem{remark}{Remark}
\newtheorem{note}{Note}
\newtheorem*{uremark}{Remark}
\newtheorem*{unote}{Note}

%-------------------------------------------------------------------

\begin{document}

%-------------------------------------------------------------------


\section*{alternative experimental definition of commutative diagram}

\hypertarget{discussion}{}\subsection*{{Discussion}}\label{discussion}

[[Eric]]: Here is a degenerate loop:

\begin{displaymath}
\itexarray{
X & \stackrel{e}{\to} & X \\
{} & \mathllap{\scriptsize{e}}{\nwarrow} & \darr\scriptsize{e} \\
{} & {} & X
}
\end{displaymath}
To say this loop commutes, is to say $e^3 = 1_X$. Or is it?

\begin{quote}%
[[David Roberts]]: That is correct.


\end{quote}
[[Eric]]: Since this loop is degenerate, we may or may not have (depending on convention?), parallel identity arrows running between each vertex.

If there are hidden identity morphisms, then to say the triangle commutes is to say $e = 1_X$.

\begin{quote}%
[[David Roberts]]: No: the above version $e^3 = id$ is correct.


\end{quote}
[[Eric]]: Here is a degenerate triangle:

\begin{displaymath}
\itexarray{
X & \stackrel{e}{\to} & X \\
{} & \mathllap{\scriptsize{e}}{\searrow} & \darr\scriptsize{e} \\
{} & {} & X
}
\end{displaymath}
To say this triangle commutes is to say $e^2 = e$. Or is it?

\begin{quote}%
[[David Roberts]]: That is correct.


\end{quote}
[[Eric]]: Since this triangle is degenerate, we may or may not have (depending on convention?), parallel identity arrows running between each vertex.

If there are hidden identity morphisms, then to say the triangle commutes is to say $e = 1_X$.

[[David Roberts]]: No: the above version $e^2 = e$ is correct. For both of these wrong statements, you are assuming that arrows somehow cancel. Especially the first one, think of it in terms of dimensional analysis. If you have a quantity in physics with dimensions of something else cubed, it cannot have the dimensions of that original thing (unless both are dimensionless). But this is only a rough analogy, please don't read anything deep into it. In my comment in reply to Harry's $e^2 = e$ being a loop, then I said I would draw this as a commuting triangle. I wouldn't draw a loop (i.e. an endomorphism) (resp. a degenerate loop) as a triangle (resp. commuting triangle) in any circumstances, because we are not given that the loop factors into a composite of other arrows.

[[Eric]]: Thanks David. I think I've managed to boil it down to the basic disagreement. It is about ``shape dependence''. I reject the notion of shape dependence. The morphism $f:X\to X$ is a loop and this loop is the same as $f:X\righttoleftarrow$. I \href{http://www.math.ntnu.no/~stacey/Mathforge/nForum/comments.php?DiscussionID=332&Focus=7368#Comment_7368}{explain this} on the n-Forum. The point is, you can accept shape dependence, in which case I agree with everything you say. Or you reject shape dependence and work with semidiagrams instead.

I don't think that there's any doubt that $e^2 = e$ is the intended interpretation of the second diagram by everybody who uses commutative diagrams. The fact that the same object $X$ shows up twice is irrelevant; the whole point of putting $X$ in there twice is because you \emph{don't} want parallel identity arrows. Of course, you can invent an alternative interpretation if you want, but I don't think that you'll find any usage to match it in the wild. ---Toby

\hypertarget{main_article}{}\subsection*{{Main Article}}\label{main_article}

A stub for now.

The basic goal of this page is to turn Domenico's and Urs' statements about connections into statements about commutative diagrams.

The rough is idea is:

\begin{displaymath}
\text{Higher Connection Flat}\quad\quad\simeq\quad\quad\text{Higher Diagram Commutes}
\end{displaymath}
\href{http://www.math.ntnu.no/~stacey/Mathforge/nForum/comments.php?DiscussionID=723&Focus=5015#Comment_5015}{Domenico}: I guess this is well known, but let me try writing it here and see what happens.

If a connection on a principal G-bundle is locally represented by the 1-form $\omega$ with values in $\mathfrak{g}$, then the connection is flat if and only if the curvature 2-form $F=d\omega+\frac{1}{2}[\omega,\omega]$ vanishes, that is, if $\omega$ is a solution of the Maurer-Cartan equation.

Now, what is interesting is that one can see curvature only on 2-dimensional paths (it is a 2-form): if one restricts $\omega$ to a 1-dimensional submanifold, then there $\omega$ is clearly a solution to the Maurer-Cartan equation. so, if I think of an infinitesimal 1-simplex and look at my connection there, I could say that my connection is 1-flat. then, moving to an infinitesimal 2-simplex I see that the connection is (generally) not 2-flat: holonomy along two sides of the 2-simplex is not the same thing as holonomy along the third side. not the same, but in a very precise way: the curvature $FF$ exactly measures the gap to go from a horn of the 2-simplex to the third edge. this is very 2-categorical, and suggests I could cure the lack of flatness of my original connection by adding a copy of $\mathfrak{g}$ in degree -1 and cooking up a 2-Lie algebra $\mathfrak{l}$. Maurer-Cartan equation for this 2-Lie algebra would coincide with the original one one the 1-simplex (since only degree 1 elements are 1-forms with values in $\mathfrak{l}_0$. but on the 2-simplex we would have, in addition to these elements, also 2-forms with coefficients in $\mathfrak{l}_{-1}$, and the Maurer-Cartan equation on teh simplex would look like $d\omega+\frac{1}{2}[\omega,\omega]+\delta F=0$ where $\delta\colon \mathfrak{l}_{-1}\to \mathfrak{l}_{0}$ is the differential of the $L_\infty-algebra \mathfrak{l}$ (and it should be induced by the identity of $\mathfrak{g}$, thought as a degree 1 map from $\mathfrak{g}[-1]$ to $\mathfrak{g}$). So the original equation telling that $\omega$ had curvature $F$ is now equivalent to say that $\omega+F$ is flat.

in other words, what seemed a non-flat connection was so since I was not seeing the 2-bundle, but only a 1-bundle approximation. and on a 1-bundle I can only clearly see up to 1-simplices, wher my connection was actually flat.

once curvature has come in, we can repeat the argument: now we have a 2-flat connection and test it on the 3-simplex. if it has 3-curvature, that will presumibly be because we are not seeing the 3-bundle, yet. so I find it natural to wonder (to conjecture) whether any connection on a principal bundle (and more generally any $n$-flat connection on an n-bundle) can be seen as a flat connection on an $\infty$-bundle.

\href{http://www.math.ntnu.no/~stacey/Mathforge/nForum/comments.php?DiscussionID=723&Focus=5050#Comment_5050}{Domenico}: I think I could take the task of working a bit on oo-Lie algebroid valued forms in the direction sketched above. yet, I'd like to still discuss it a bit here, sicne I'm now thinking of some more radical change. what I'm thinking is that the one-step definition as it is now is too strict. I mean, we are now defining flat $\mathfrak{a}$-connections as a morphism $\prod^{inf}(X)\to\mathfrak{a}$, and then general connections as something which becomes flat in a single step, i.e., going from $\mathfrak{a}$ to $cone(\mathfrak{a}$). why should we restrict to this? it would be natural to consider thigs that become flat in 2 sterps, 3, steps, and so on. eventually we could have things which ``become flat after infinity steps'' (and by the way this vague notion seems to me to better fit with classical $\mathfrak{g}$-connections).

let us see things the other way round: when we say flat, we mean flat in an $\infty$-categorical sense, so let us stress this by saying that a morphism $\prod^{inf}(X)\to\mathfrak{a}$ is an $\infty$-flat connection with values in $\mathfrak{a}$. then, what we are currently calling non-necessarily-flat $\mathfrak{a}$-connections would be the $(\infty-1)$-flat connections with values in $\mathfrak{a}$. but starting from $\infty$ is not too practical.., let us start from 0 instead.

the one-step definition of non-flat connections is reflected in the one step going from the 0-groupoid $X$ to the $\infty$-groupoid $\prod^{inf}(X)$. but we have a whole tower of higher and higher groupoids in between: the $n$-skeleta of $\prod^{inf}(X)$. so we have

\begin{displaymath}
X=\prod^{inf}(X)_{(0)}\hookrightarrow \prod^{inf}(X)_{(1)}\hookrightarrow \prod^{inf}(X)_{(2)}\hookrightarrow \cdots \hookrightarrow \prod^{inf}(X)
\end{displaymath}
and we can talk of an $n$-flat connection with values in $\mathfrak{a}$ as a morphism $\prod^{inf}(X)_{(n)}\to \mathfrak{a}$. this will not lift to a morphism $\prod^{inf}(X)_{(n+1)}\to \mathfrak{a}$ unless the connection is $(n+1)$-flat, but will lift to a morphism $\prod^{inf}(X)_{(n+1)}\to cone(\mathfrak{a})$. the limit of this procedure will produce a ``true connection'' with values in $cone(cone(\cdots(cone(\mathfrak{a}))\cdots)$.

I have a vague feeling that starting with a 0-falt $\mathfrak{o}(n)$-connection one will this way meet the series $\mathfrak{so}(n), \mathfrak{spin}(n), \mathfrak{string}(n), \mathfrak{fivebrane}(n), \mathfrak{uniray}(n)$,\ldots{}, but I have to think more carefully to this.

\hypertarget{references}{}\subsection*{{References}}\label{references}

\begin{itemize}%
\item n-Forum: \href{http://www.math.ntnu.no/~stacey/Mathforge/nForum/comments.php?DiscussionID=723&page=1}{Is every connection flat?}
\item n-Forum: \href{http://www.math.ntnu.no/~stacey/Mathforge/nForum/comments.php?DiscussionID=332&Focus=7304#Comment_7304}{functor}
\item Eric's web: [[ericforgy:Shape Dependence in Commutative Diagrams]]

\end{itemize}
[[!redirects Shape Dependence in Commutative Diagrams]]



\end{document}