\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*{Trimble n-category} \hypertarget{context}{}\subsubsection*{{Context}}\label{context} \hypertarget{higher_category_theory}{}\paragraph*{{Higher category theory}}\label{higher_category_theory} [[!include higher category theory - contents]] \hypertarget{content}{}\section*{{Content}}\label{content} \noindent\hyperlink{basic_idea}{Basic idea}\dotfill \pageref*{basic_idea} \linebreak \noindent\hyperlink{history}{History}\dotfill \pageref*{history} \linebreak \noindent\hyperlink{the_original_idea}{The original idea}\dotfill \pageref*{the_original_idea} \linebreak \noindent\hyperlink{iterative_operadic_enrichment}{Iterative operadic enrichment}\dotfill \pageref*{iterative_operadic_enrichment} \linebreak \noindent\hyperlink{InftyCats}{Extension to $\infty$-categories}\dotfill \pageref*{InftyCats} \linebreak \noindent\hyperlink{as_an_inverse_limit}{As an inverse limit}\dotfill \pageref*{as_an_inverse_limit} \linebreak \noindent\hyperlink{as_a_terminal_coalgebra}{As a terminal coalgebra}\dotfill \pageref*{as_a_terminal_coalgebra} \linebreak \noindent\hyperlink{Coinductive}{As a coinductive definition}\dotfill \pageref*{Coinductive} \linebreak \noindent\hyperlink{CatTheory}{Category theory for Trimble $n$-categories}\dotfill \pageref*{CatTheory} \linebreak \noindent\hyperlink{references}{References}\dotfill \pageref*{references} \linebreak \noindent\hyperlink{discussion}{Discussion}\dotfill \pageref*{discussion} \linebreak [[Todd Trimble]]`s definition of weak $n$-[[n-category|category]] is an example of a notion of [[weak omega-category]] which is based on using an [[operad]] induced by all the possible compositions of an [[interval object]] with itself for describing weak composition of 1-morphisms. The higher cells and their composition are then obtained iteratively. Trimble originally called these \emph{flabby} $n$-categories, which was intended to distinguish them from ``weak'' $n$-categories (since at the time he wasn't convinced that they were truly weak enough, owing to the fact that we use strict maps of algebras along the way), and also to recall the word ``flab'' as used by [[Frank Adams]] in his Infinite Loop Spaces book (since there is rather a lot of topological flab in the definition). \hypertarget{basic_idea}{}\subsection*{{Basic idea}}\label{basic_idea} An [[morphism|arrow]] looks like an [[interval object|interval]]. So, the [[category theory|theory of categories]] and even [[higher category theory|n-categories]] should have a lot to do with the [[interval object|interval]] --- especially when it comes to applications to [[topology]]! In a [[category]] we can glue [[morphism|arrows]] together, `composing' them. But an [[interval object|interval]] can be chopped apart or `decomposed' into a bunch of intervals. So, there should be a [[cocategory]] or something like that lurking around here. In fact the closed unit interval gives an [[A-infinity category|A-infinity]]-[[cocategory]]: a [[cocategory]] where the laws hold up to [[homotopy]], where the homotopies satisfy nice laws up to homotopy, [[homotopy coherent category theory|ad infinitum]]. The space of maps out of an $A_\infty$-cocategory into something should form an [[A-infinity category]]. So, the space of maps out of an interval into a space forms an $A_\infty$-category. And this is an important first step in how [[Todd Trimble]] constructs the [[fundamental infinity-groupoid|fundamental n-groupoid ]] of a space! But the really cool part is how this construction goes hand in hand with his definition of $n$-categories, in an inductive kind of way. \hypertarget{history}{}\subsection*{{History}}\label{history} In 1999, [[Todd Trimble]] introduced a definition of weak $n$-category in a lecture at Cambridge University. This definition was introduced in order to give an algebraic notion of fundamental $n$-groupoid, and has since been taken up in a number of directions by [[Tom Leinster]] and [[Eugenia Cheng]], who compare it with globular approaches (e.g., [[Michael Batanin|Batanin]]`s) and give a weak $\omega$-category extension. Trimble never published this material himself (in effect leaving it to others present at the Cambridge lecture to develop their own accounts, which has been a good thing), but it may be of at least historical interest to have Trimble's original account available. We will then pick out the highlights and streamline the approach, following subsequent work by Leinster and Cheng. \hypertarget{the_original_idea}{}\subsection*{{The original idea}}\label{the_original_idea} The original idea was to use an $A_\infty$-[[A-infinity-cocategory|cocategory]] structure on the topological [[interval object|interval]] $I$, in the form of an [[Top|topological]] [[operad]] $T$ which is used to control all ways of weakly composing arrows. Then one proceeds to define [[n-category|weak n-categories]] by induction, defining at each stage a [[fundamental groupoid|fundamental]] [[n-groupoid]] [[functor]] \begin{displaymath} \Pi_n: Top \to n Cat \end{displaymath} and then defining an $(n+1)$-category as a category ``weakly [[enriched category|enriched]]'' in $nCat$, meaning roughly speaking a structure of $\Pi_n(T)$-[[algebra over an operad|algebra]] in the category of $n Cat$-[[graph]]s. It will be helpful to review the [[fundamental groupoid|fundamental (1-)groupoid]] of a space first, doing it in such a way that we will see how to inductively define the fundamental $n$-groupoid. Let $X$ be a [[topological space]], and let $X_0$ denote its underlying set, viewed as a [[discrete category]]. If $V$ is a category, then a \emph{$V$-graph} over $X_0$ is just a functor \begin{displaymath} X_0 \times X_0 \to V \end{displaymath} (which here amounts to a function $X_0 \times X_0 \to Ob(V)$).There is an obvious category of $V$-graphs over $X_0$. \begin{itemize}% \item We can also consider a more general category \textbf{$V$-Graph}, where a morphism $(C_0, C(-, -)) \to (D_0, D(-, -))$ consists of a function $f_0: C_0 \to D_0$ together with a collection $C(c, c') \to D(f_0 c, f_0 c')$ of morphisms in $D$. \end{itemize} A basic example of $V$-graph for our purposes is the ``graph of paths'' for a space $X$: define \begin{equation} X^\sim : X_0 \times X_0 \to Top \label{Trimble1}\end{equation} by letting $X^\sim(x, y)$ be the [[topological space|space]] of paths from $x$ to $y$. Two paths from $x$ to $y$ are homotopic if they lie in the same connected component of $X^\sim(x, y)$, so by applying the connected components functor, \begin{displaymath} X_0 \times X_0 \stackrel{X^\sim}{\to} Top \stackrel{\Pi_0}{\to} Set \end{displaymath} we get the graph of [[homotopy (as a transformation)|homotopy classes]] of paths. What we want is to put a category structure on this $Set$-graph, so as to obtain the [[fundamental groupoid]] $\Pi_1(X)$. The $Top$-graph \eqref{Trimble1} can also be thought of as a topological [[span]] from the discrete space $X_0$ to itself, and this is obviously closely related to the span \begin{equation} X^1 \stackrel{X^{i_0}}{\leftarrow} X^I \stackrel{X^{i_1}}{\to} X^1 \label{Trimble2}\end{equation} where $i_0, i_1: 1 \to I$ are the endpoint inclusions. Indeed, we get \eqref{Trimble1} from \eqref{Trimble2} by first precomposing with a span from $X_0$ to $X$, \begin{displaymath} X_0 \leftarrow X_0 \to X, \end{displaymath} (both arrows being identity functions), followed by postcomposing with the opposite span. This pre- and post-composition gives a functor \begin{equation} TopSpan(X, X) \to TopSpan(X_0, X_0) = TopGraph_{X_0} \label{Trimble3}\end{equation} to which we return later, but for the time being we work with the span \eqref{Trimble2}. As a functor in $X$, the span \eqref{Trimble2} is obtained by homming out of the \emph{interval cospan} \begin{displaymath} 1 \stackrel{i_0}{\to} I \stackrel{i_1}{\leftarrow} 1 \end{displaymath} and the fundamental groupoid structure on the span \eqref{Trimble1} ultimately comes about by homming out of an H-cogroupoid structure on the interval cospan, just as the [[fundamental group]] of a based space is obtained by homming out of the pointed circle, seen as an H-[[cogroup]]. Let us describe the H-[[cocategory]] structure on the interval [[cospan]]. A cospan from a point to itself is a bi[[pointed object|pointed]] space, and the composite of two such cospans $X$, $Y$ is obtained by identifying the second point of $X$ with the first point of $Y$, resulting in a new bipointed space we denote by $X \vee Y$. In particular, \begin{displaymath} I \vee I = [0, 1] \vee [0, 1] \cong [0, 2] \end{displaymath} and the co-composition for the H-cocategory structure on $I$, which is a cospan map $I \to I \vee I$, is essentially just multiplication by 2: \begin{displaymath} [0, 1] \to [0, 2] \end{displaymath} This co-operation $I \to I \vee I$ is not strictly coassociative, but is coassociative up to [[homotopy (as a transformation)|homotopy]]. As a matter of fact, it follows straight away from the \emph{[[convex space|convexity]]} of the $n$-fold cospan composite $I^{\vee n} \cong [0, n]$ that the space of cospan maps $\hom(I, I^{\vee n})$ is \emph{contractible}: the convexity actually gives a way of defining coherent homotopies (the pentagon, etc.) all the way up the ``$A_{\infty}$-ladder''. In other words, the cospan $I$ carries an $A_{\infty}$-cocategory structure. But we don't actually need the $A_{\infty}$-jargon: all we will need are two basic facts: \begin{itemize}% \item There is a `tautological' topological operad $T$ where the component $T_n$ is the space $\hom(I, I^{\vee n})$ of cospan maps; \item Each component $T_n$ is contractible. \end{itemize} The operad structure on $T$ is derived from pure abstract nonsense: if $A$ is an object in a monoidal category, then the objects $\hom(A, A^{\otimes n})$ are the components of an operad, just as are the objects $\hom(A^{\otimes n}, A)$ the components of the familiar tautological endomorphism operad. This applies in particular to the cospan $I$, seen as an object in the monoidal category of cospans from a point to itself; in analogy, we call $T$ `tautological' as well. Now we just hom out of the cospan co-operations encapsulated in the operad $T$ to get span operations on the topological span above. That is, we use the facts that \begin{itemize}% \item $\hom(-, X)$ takes the $n$-fold cospan composite $I^{\vee n}$ to the $n$-fold span composite of $X \leftarrow X^I \to X$, so \item Each cospan co-operation $\theta \in T_n = \hom(I, I^{\vee n})$ induces a span operation \begin{displaymath} \hom(\theta, X): \hom(I^{\vee n}, X) \to \hom(I, X) \end{displaymath} from the $n$-fold span composite to the span itself. \end{itemize} Again, we could express this by saying we derive an $A_\infty$-[[A-infinity-category|category]] structure on the topological span \eqref{Trimble2}, but in less fancy terms, the composition map \begin{displaymath} \hom(I, I^{\vee n}) \times \hom(I^{\vee n}, X) \to \hom(I, X) \end{displaymath} gives a $T$-algebra structure on the topological span: \begin{equation} T_n \times (X \leftarrow X^I \to X)^{\otimes n} \to (X \leftarrow X^I \to X) \label{Trimble4}\end{equation} where $\otimes$ indicates span composite. \begin{itemize}% \item \textbf{Remark}: $T$ is an operad in $Top$, not in the monoidal category $TopSpan(X, X)$. But we can make it an operad there by applying an evident change-of-base $Top \to TopSpan(X, X)$, sending a space $Y$ in $Top$ to the span\begin{displaymath} X \stackrel{\pi}{\leftarrow} X \times Y \stackrel{\pi}{\to} X \end{displaymath} This change of base is (strong) monoidal. As a matter of fact, this change of base factors through the center of the monoidal category $TopSpan$, which we actually need because one needs symmetries in order to express the notion of even a nonpermutative operad internal to a monoidal category. \end{itemize} We get a similar $T$-algebra structure on the $Top$-graph $X^\sim: X_0 \times X_0 \to Top$ we started with. Indeed, the functor \begin{equation} TopSpan(X, X) \to TopSpan(X_0, X_0) \cong TopGraph_{X_0} \label{Trimble3}\end{equation} is a lax monoidal functor, and hence takes $T$-algebras in $TopSpan(X, X)$ (as in \eqref{Trimble4}) to $T$-algebras in $TopGraph_{X_0}$. This gives a $T$-algebra structure \begin{equation} T_n \times (X^\sim)^{\otimes n} \to X^\sim \label{Trimble5}\end{equation} in the monoidal category of $Top$-graphs. Considered geometrically, this is almost pure tautology, but \textbf{\eqref{Trimble5} is the crucial topological input in Trimble's machine}. Let us make this more explicit. In general, if $V$ is a monoidal category with coproducts, such that the tensor $u \otimes v$ preserves coproducts in each of its separate arguments $u$ and $v$, then the category of $V$-graphs also carries a monoidal structure, where for two $V$-graphs $G, H$ we define \begin{displaymath} (G \otimes H)(x, z) = \sum_y G(x, y) \otimes H(y, z) \end{displaymath} Hence, in the case $V = Top$, \eqref{Trimble5} takes the more explicit form \begin{equation} T_n \times \sum_{y_1, \ldots, y_{n-1}} X^\sim(x, y_1) \times X^\sim(y_1, y_2) \times \ldots \times X^\sim(y_{n-1}, z) \to X^{\sim}(x, z) \label{Trimble6}\end{equation} Now apply the functor $\Pi_0: Top \to Set$ (which preserves products and incidentally sums as well) to \eqref{Trimble6}. This makes the $Set$-graph $\Pi_0 X^\sim$ an algebra over the operad $\Pi_0 T$. But a $Set$-graph equipped with a $\Pi_0 T$-algebra structure is just a category, since $\Pi_0 T_n$ consists of just a point, i.e., is the [[associative operad]] whose algebras are monoids, and a category is a monoid in a category of graphs. This category is precisely the fundamental groupoid $\Pi_1(X)$. It is pretty clear from this description that $\Pi_1(X)$ is functorial in $X$. Indeed, if $f: X \to Y$ is a continuous map, we can pull back the $Top$-graph $Y^\sim$ over $Y_0$ to a $Top$-graph over $X_0$, \begin{displaymath} X_0 \times X_0 \stackrel{f_0 \times f_0}{\to} Y_0 \times Y_0 \stackrel{Y^\sim}{\to} Top, \end{displaymath} which we call $f_0^{-1} Y^\sim$. The continuous map $f: X \to Y$ induces a comparison map of $T$-algebras in $TopGraph_{X_0}$, \begin{displaymath} f^*: X^\sim \to f_0^{-1} Y^\sim: X_0 \times X_0 \to Top \end{displaymath} and again by composing with $\Pi_0: Top \to Set$, we get a map $\Pi_0 f^*: \Pi_1(X) \to \Pi_1(Y)$, i.e., a functor between the fundamental groupoids. Thus, after a series of small tautological steps, we have bootstrapped our way up from $\Pi_0$ to $\Pi_1$. This same procedure suggests a way to bootstrap from $\Pi_1$ to a definition of $\Pi_2$, and so on up an $n$-categorical ladder. Here are the general inductive definitions: \begin{itemize}% \item A (Trimble) 0-category is a set. The fundamental 0-groupoid $Top \to 0 Cat$ is the connected components functor $\Pi_0: Top \to Set$. \item For $n \geq 0$, a \textbf{Trimble $(n+1)$-category} consists of a set $X_0$ and a $n Cat$-graph \begin{displaymath} X: X_0 \times X_0 \to n Cat \end{displaymath} equipped with a structure of algebra over the operad $\Pi_n T$ (a priori an operad in the cartesian monoidal category $n Cat$, but made into an operad in $n Cat Graph_{X_0}$ by an obvious change of base; cf. the remark above). \item A \textbf{morphism} of Trimble $(n+1)$-categories $(X_0, X) \to (Y_0, Y)$ consists of of a function $f_0: X_0 \to Y_0$ together with a \emph{strict} $\Pi_n T$-algebra map $f: X \to f_0^{-1} Y$. The category $(n+1)Cat$ admits finite products and arbitrary sums over which products distribute. \item The \textbf{fundamental $(n+1)$-groupoid functor} \begin{displaymath} \Pi_{n+1}: Top \to (n+1)Cat \end{displaymath} sends a space $X$ to the pair $(X_0, \Pi_n X^\sim)$, seen as a $\Pi_n T$-algebra by applying the product-preserving functor $\Pi_n$ to the tautological $T$-algebra $X^\sim$. \item \textbf{Theorem}: $\Pi_{n+1}$ preserves finite products and arbitrary coproducts. (This theorem is needed to push the induction through.) \end{itemize} And that's it. Notice this approach is in essence globular, that is we have an underlying functor \begin{displaymath} U_n: n Cat \to (n)GlobularSet \end{displaymath} to $n$-globular sets. This is defined by induction: the underlying $(n+1)$-globular set of an $(n+1)$-category $(X_0, X)$ is given by \begin{displaymath} X_0 \times X_0 \to (n)Cat \stackrel{U_n}{\to} (n)GlobularSet \end{displaymath} using the fact that an $(n+1)$-globular set is naturally an $n$-globular graph over its set of 0-cells. In fact, Cheng has shown that Trimble $n$-categories (and related structures; see the next section) are the algebras of a Batanin operad, that is a globular operad satisfying a contractibility condition. As Cheng put it, Trimble's inductive definition is disarmingly straightforward, and yet it codes up all the essential structure one expects to see in weak $n$-categories. For example, an associator for 2-categories is coded up as a 1-cell in $\Pi_1 T_3$, i.e., as a homotopy class of paths between two points in $\hom(I, I \vee I \vee I)$: \begin{displaymath} (\delta \vee 1)\delta, (1 \vee \delta)\delta: [0, 1] \to [0, 3] \end{displaymath} where $\delta: [0, 1] \to [0, 2]$ is a co-composition. The pentagonator is similarly coded up as a 2-cell in $\Pi_2 T_4$. And so on. To be continued\ldots{} \hypertarget{iterative_operadic_enrichment}{}\subsection*{{Iterative operadic enrichment}}\label{iterative_operadic_enrichment} The account above was given in a traditional language of operads, but subsequent analysis by Leinster and Cheng led to the following notion, involving a hybrid between algebras over an [[operad]] and [[enriched category theory|enriched categories]]. Fix a symmetric monoidal category $V$, and let $P$ be an operad valued in $V$. A \textbf{$(V, P)$-category} consists of \begin{itemize}% \item A set of objects $X_0$, \item A $V$-graph $X(-, -): X_0 \times X_0 \to V$; \item Maps $P_n \otimes X(x_0, x_1) \otimes \ldots X(x_{n-1}, x_n) \to X(x_0, x_n)$ parametrized over all choices $x_0, x_1, \ldots, x_n$ \end{itemize} subject to axioms similar to the usual axioms for algebras over an operad. \begin{itemize}% \item Example: For $V = (Top, \times)$ and $P$ the operad $T = \{\hom_{cospan}(I, I^{\vee n})\}$ discussed above, we constructed a $(V, P)$-category $(X_0, X^\sim)$ out of any space $X$. \end{itemize} Trimble's definition above amounts to an inductive definition of weak $n$-Cat (call it $V_n$) where \begin{itemize}% \item 0-Cat = Set; \item $V_{n+1} = (V_n, P_n)$-Cat \end{itemize} for some series of operads $P_n$ valued in $V_n$. The operads $P_n$ in his definition came from one master operad $T$, by applying a product-preserving functor \begin{displaymath} \Pi_n: Top \to V_n \end{displaymath} to $T$. But other operads are possible. For the purposes of $n$-category theory, we should choose operads that are contractible in some sense (which the $\Pi_n(T)$ should be), but even in the realm of contractible operads there are many possible choices which may be convenient for different purposes. \hypertarget{InftyCats}{}\subsection*{{Extension to $\infty$-categories}}\label{InftyCats} Using some theory of terminal coalgebras, Leinster and Cheng described a viable notion of Trimble $\infty$-category. \begin{itemize}% \item \href{http://www-lmpa.univ-littoral.fr/CT08/slides/Cheng.pdf}{Terminal coalgebras} \end{itemize} There are several equivalent ways to describe this construction. \hypertarget{as_an_inverse_limit}{}\subsubsection*{{As an inverse limit}}\label{as_an_inverse_limit} This approach starts from the observation that the category $Str \infty Cat$ of strict $\infty$-categories is the inverse limit in $CAT$ of the sequence \begin{displaymath} \dots \to Str3Cat \to Str2Cat \to Cat \to Set \end{displaymath} where each functor is ``truncation,'' i.e. discard all top-dimensional cells. We would like to imitate this, but the problem is that if we discard the $(n+1)$-cells in a (Trimble) weak $(n+1)$-category, we don't get a weak $n$-category; for that we would have to also \emph{identify} $n$-cells that are connected by some $(n+1)$-cell. We can see this going on at the operad level as well. Consider the basic shape of the fundamental $n$-groupoid $\Pi_n(X)$ as a globular set: in dimensions $j \lt n$, the $j$-cells are just continuous maps $D^j \to X$, but the dimension $j = n$ is exceptional: the putative $\infty$-groupoid $\Pi_\omega(X)$ is ``truncated'' to a fundamental $n$-groupoid $\Pi_n(X)$ by forcing all $j$-cells in dimensions $j \gt n$ to be identity cells, that is by taking the quotient of the set of $n$-cells $D^n \to X$ with respect to homotopy-equivalence rel boundary $\partial D^n$. Thinking of homotopy-equivalence classes in terms of applying a path-components functor $\Pi_0$ to a suitable function space, one sees after some reflection that this globular ``truncation'', which is a sort of enforcement of coherence at the level of top-dimensional cells, is really the result of beginning the iterative enrichment with the path-components functor \begin{displaymath} \Pi_0: Top \to Set \end{displaymath} in the first place. In slightly different words: this form of ``truncation'' from a higher-dimensional category to a lower one is iterated ``decategorification'', going from isomorphisms between $n$-cells to isomorphism classes of $n$-cells: again the effect of applying a connected components functor $\Pi_0$. To take weak $\omega$-categories seriously is to eliminate all vestiges of such decategorification: there are no coherence \emph{equations} to impose at the top level; there are only higher and higher coherence data all the way up the dimensional chain, which one could elect to chop off past a certain point (instead of modding out by). So in order to perform the inverse limit construction successfully, we should \emph{not} perform any identifications at all, merely truncation. Precisely, if instead of starting out the iterative enrichment with $\Pi_0$, one could start by replacing it with the \emph{underlying set functor} \begin{displaymath} U: Top \to Set \end{displaymath} and again set the machine in motion. In this way we obtain an ``incoherent Trimble 1-category'' as a graph equipped with a structure of algebra over the operad $D_0 = U T$, an ``incoherent Trimble 2-category'' as a graph enriched in incoherent 1-categories and with a structure of algebra over the operad $D_1 = D_0 T$, and so on. Again, one proves that $D_n$ preserves coproducts and finite products by induction, starting with the base observation that the underlying set functor $U$ preserves coproducts and finite products. Thus by induction we have a category of incoherent $n$-categories, $n iCat$. As a result, we have actual truncation functors \begin{displaymath} \ldots (n+1)iCat \to n iCat \to \ldots ... \to Set \end{displaymath} where one just saws off the $(n+1)$-cells at each step, and one may define the category of Trimble $\omega$-categories as the inverse limit of this sequence. \hypertarget{as_a_terminal_coalgebra}{}\subsubsection*{{As a terminal coalgebra}}\label{as_a_terminal_coalgebra} This approach begins with the observation of Simpson that $Str$-$\omega$-$Cat$ is a fixed point of the ordinary enrichment process \begin{displaymath} E: V \mapsto V-Cat \end{displaymath} taking a (complete, cocomplete) closed symmetric monoidal $V$ to the (complete, cocomplete) closed symmetric monoidal category of small $V$-categories. In fact, it is more than a fixed point; it is a [[terminal coalgebra]] for the functor $E$. This is the same as the previous observation that $Str \omega Cat$ is the inverse limit of the sequence \begin{displaymath} \ldots \to Strict(n+1)Cat \overset{E^n !}{\to} Strict(n)Cat \to \ldots Set \overset{!}{\to} 1 \end{displaymath} because of Adamek's theorem that the limit \begin{displaymath} \dots \to E^n 1 \to \dots \to E^2 1 \to E 1 \to 1 \end{displaymath} always produces a terminal $E$-coalgebra whenever the functor $E$ preserves limits of sequences of this form. In our case, $E^n !$ works out to be the usual globular truncation from $(n+1)$-categories to $n$-categories. We now observe that the same principle applies to the weak enrichment process, as long as we carry along the information of the fundamental $n$-groupoid functor, i.e. we consider the functor \begin{displaymath} E: \langle V, \Pi \rangle \mapsto \langle (V, \Pi)-Cat, \Pi^+ \rangle \end{displaymath} where $\Pi: Top \to V$ preserves finite products (and coproducts), where $(V, \Pi)$-$Cat$ is the category of $(V,\Pi(T))$-categories, and where $\Pi^+$ takes a space $X$ to $\Pi(X^\sim)$ as a $(V,\Pi(T))$-category. This time $E^n !$ works out to be precisely the globular truncation \begin{displaymath} Dec(n+1)Cat \to Dec(n)Cat \end{displaymath} and so the terminal $E$-coalgebra is the category $Trimble(\omega)Cat$ as described above, equipped with the fundamental $\omega$-groupoid functor \begin{displaymath} \Pi_\omega: Top \to Trimble(\omega)Cat \end{displaymath} \hypertarget{Coinductive}{}\subsubsection*{{As a coinductive definition}}\label{Coinductive} It is often convenient to reason about terminal coalgebras using [[coinduction]] and [[corecursion]]. In this spirit, it is possible to reformulate the definition of Trimble $\omega$-categories coinductively. Namely, we define a category $\omega Cat = Trimble \omega Cat$ and a functor $\Pi\colon Top \to \omega Cat$, which preserves coproducts and finite products, by mutual coinduction, as follows. \begin{itemize}% \item An object of $\omega Cat$ (that is, a Trimble $\omega$-category) is an $(\omega Cat,\Pi(T))$-category, i.e. an $\omega Cat$-enriched graph $X$ with composition operations $\Pi(T)_n \times X(x_0, x_1) \times \ldots X(x_{n-1}, x_n) \to X(x_0, x_n)$ satisfying the evident axioms. \item Similarly, a morphism in $\omega Cat$ is a (strict) $(\omega Cat,\Pi(T))$-functor, i.e. a map of $\omega Cat$-enriched graphs which respects the $\Pi(T)$-structure. \item The functor $\Pi$ takes a space $X$ to the $\omega$-category $\Pi(X^\sim)$, whose objects are the points of $X$, whose hom-$\omega$-category from $x$ to $y$ is $\Pi(X^\sim(x,y))$, and whose $\Pi(T)$-structure is given by composing paths. \end{itemize} This sort of coinductive definition is that used in the [[calculus of coinductive constructions]], which when rephrased in terms of a terminal coalgebra reduces to the definitions given above. \hypertarget{CatTheory}{}\subsection*{{Category theory for Trimble $n$-categories}}\label{CatTheory} [[Urs Schreiber|Urs]]: suppose I wanted to serious apply the Trimble $n$-category tool to some class of problems. It would be helpful to have an idea about some of the following points. The main reason why [[quasi-category|quasi-categories]] and other models for [[(infinity,1)-category|(infinity,1)-categories]] are popular is that Joyal and Lurie showed that beyond just having a definition, one can \emph{do category theory} with them. I would like to understand to which extent we know how to ``do category theory'' with Trimble $n$-categories. I understand that much of this will remain to be worked out, but probably in particular [[Todd Trimble|Todd]] has many ideas about how one should go about approaching this. I'd be interested in whatever idea or tentative suggestion there is. So: What can be said about \begin{itemize}% \item [[universal construction]]s \begin{itemize}% \item definition of [[weak limit]]/weak colimit, of [[adjunction]]s and [[Kan extension]] \end{itemize} \end{itemize} 43 in Trimble $n$-catgeories? For instance for what I am doing I'd need in particular weak pullbacks and the resulting [[fibration sequence]]s in a Trimble $n$-category. What are the chances to get hold of these notions in this context? What is known about the reflection of Trimble $n$-categories on themselves \begin{itemize}% \item Is there a definition of Trimble $(n+1)$-categorry of all Trimble $n$-categories? \item A Trimble $\infty$-category of all Trimble $\infty$-categories? \end{itemize} What is the relation to \begin{itemize}% \item [[simplicial model for weak omega-categories|simplicial models for weak omega categories]], \begin{itemize}% \item do we have a notion of [[nerve]] of a Trimble $n$-category? \item can we characterize the nerves of Trimble $n$-categories? \end{itemize} \end{itemize} Probably we want to define the cosimplicial Trimble $\infty$-category that sends $[n]$ to the fundamental Trimble $\infty$-path category of the topological $n$-simplex and induce a notion of nerve of that. But the naive version of that will give just $\infty$-groupoidal nerve. What is generally needed is probably a notion of [[directed space|directed]] Trimble path $n$-category. What can be said about [[(n,r)-category]]-cases of Trimble $n$-categories. How do we say ``Trimble $n$-groupoid''? What about monoidal structures? Is there a good guess for what it would mean to have a \begin{itemize}% \item monoidal Trimble $n$-category \item symmetric (i.e. stably) monoidal Trimble $n$-category? \end{itemize} \hypertarget{references}{}\subsection*{{References}}\label{references} The first appearance in print of the definition was in \begin{itemize}% \item [[Tom Leinster]], \emph{A Survey of Definitions of $n$-Category} (\href{http://arxiv.org/abs/math.CT/0107188}{arXiv}), \href{http://arxiv.org/PS_cache/math/pdf/0107/0107188v1.pdf#page=54}{p. 54} \end{itemize} Later the definition was applied tentatively for the construction of weak $n$-cateories of cobordisms in \begin{itemize}% \item [[Eugenia Cheng]] and [[Nick Gurski]], \emph{Towards an $n$-category of cobordisms}, Theory and Applications of Categories, Vol. 18, 2007, No. 10, pp 274-302. (\href{http://www.tac.mta.ca/tac/volumes/18/10/18-10abs.html}{tac}) \end{itemize} This article first reviews the original definition \begin{itemize}% \item section 2, \emph{Trimble's definition} recalls the original definition, \end{itemize} and then generalizes it \begin{itemize}% \item section 4 \emph{Generalised Trimble definition} proposes a generalization \end{itemize} A comparison of Trimble's definition with that of a [[Batanin omega-category]] is in \begin{itemize}% \item [[Eugenia Cheng]], \emph{Comparing operadic theories of $n$-category} (\href{http://arxiv.org/abs/0809.2070}{arXiv}) \end{itemize} Weak ω-category construction via terminal coalgebras \begin{itemize}% \item [[Eugenia Cheng]] and [[Tom Leinster]], \emph{Weak ω-categories via terminal coalgebras} (\href{https://arxiv.org/abs/1212.5853}{arXiv}), published as \emph{Weak $\infty$-categories via terminal coalgebras}, Theory and Applications of Categories, Vol. 34, 2019, No. 34, pp 1073-1133. (\href{http://www.tac.mta.ca/tac/volumes/34/34/34-34abs.html}{tac}) \end{itemize} \hypertarget{discussion}{}\subsection*{{Discussion}}\label{discussion} Previous versions of this entry led to the following discussions: [[John Baez|John]] has just substituted ``topological'' for my ([[Todd Trimble|Todd]]`s) original ``tautological'', which I don't mind at all -- ``topological'' is correct and arguably more informative -- but maybe this is a good place to explain that ``tautological'' was not a typo, but rather an expansion of a technical usage: One of the first examples of an operad that people are taught is the one where the n-th component consists of \emph{all} n-ary operations $X^n \to X$. (Here $X^n$ denotes an n-fold tensor power in a monoidal category.) Because it's the simplest or most obvious example of an operad, and because it's canonically there no matter what $X$ is, it's often in the literature called a ``tautological operad''. What is less often noted is that by the same logic, $hom(X, X^n)$ is an equally tautological operad, except that it consists of all ``co-operations'' instead of operations. Then, I am applying this observation to the example of the monoidal category of topological cospans from a point to itself, where $X$ is the interval. \emph{Toby}: Considering that the original was `tautological topological', which is more informative, I've changed it back. But perhaps this explanation has a place in the main text? \emph{Todd}: Sounds like a good idea. If you can figure out a smooth way to do that, I'd be grateful. \emph{Toby}: Actually, I just realised that most of it is already in the next paragraph below. I'll just add a sentence noting that this explains the name. [[Urs Schreiber|Urs]]: Thanks, Todd, this is great. If I may, let me try, also to check if I am following, to see how much of this we can do while abstracting away from Top and the concrete interval object in there. It seems that we need: \begin{itemize}% \item a closed monoidal homotopical category $V$ (not your $V$ above, but I'll call it $V$ nevertheless); \item an object $I \in V$ fitting in an internal co-graph $pt \stackrel{\sigma, \tau}{\to} I$ such that \begin{itemize}% \item all the end-to-end pushouts $I^{\vee n}$ exist in $V$; \item all the $V$-internal hom-objects $[I, I^{\vee n}]$ are weakly equivalent to the point (the terminal object) $[I, I^{\vee n}] \stackrel{\sim}{\to} pt$; \item equipped with the structure of a co-operad internal to $V$ on $\{[I,I^{\vee n}]\}$, $n \in \mathbb{N}$. \end{itemize} \end{itemize} Then \begin{itemize}% \item for $C$ any $V$-enriched homotopical category (I want to use now that $C$ is powered over $V$) we get -- now let me see\ldots{} -- a functor\begin{displaymath} \Pi_{\omega}: C \to Trimble-\omega-Cat. \end{displaymath} \end{itemize} Hm, let me just let it stand this way for you to either erase all of this or maybe comment on it for the moment\ldots{} [[Todd Trimble|Todd]]: Yes, that's more or less right. But there is a god-given nonpermutative operad (not co-operad) structure on the graded $V$-object $\{[I, I^{\vee n}]\}$, and that's what I'm using here. If you know how the ``endomorphism operad'' works (as in the entry [[operad]]), then the operad here works the same way, mutatis mutandis. As for the last part: in the original definition, I didn't know how to pass to the full-fledged $\omega$-categorical definition; I just had $n$-categories, one for each $n$. But Tom and Eugenia figured out how to make ``Trimble-like'' $\omega$-categories work by using coalgebraic methods. I haven't thought about whether that allows a $\Pi_\omega$\ldots{} But aside from these technicalities: yes, you seem to understand what this is all about. There were some comments to this effect after I gave that lecture; someone asked what you really need to do this definition very generally. Martin Hyland cried, ``Not much!'' \emph{[[Urs Schreiber]]:} Okay, thanks. I tried now to formalize this at [[interval object]]. [[!redirects Trimble's notion of weak n-category]] [[!redirects Trimble's notion of weak n-category]] [[!redirects flabby n-category]] [[!redirects flabby n-categories]] [[!redirects Trimble omega-category]] [[!redirects Trimble ∞-category]] [[!redirects Trimble omega-catgeories]] [[!redirects Trimble ∞-categories]] \end{document}