1:
2: \defnsheading{B} \label{p:b}
3:
4:
5:
6: \concept{Globular Operads and their Algebras}
7:
8: \paragraph{Globular Sets}
9:
10: Let \scat{G} be the category whose objects are the natural numbers
11: $0,1,\ldots$, and whose arrows are generated by
12: $
13: \sigma_m, \tau_m: m \go m-1
14: $
15: for each $m\geq 1$, subject to equations
16: \[
17: \sigma_{m-1} \of \sigma_m = \sigma_{m-1} \of \tau_m,
18: \diagspace
19: \tau_{m-1} \of \sigma_m = \tau_{m-1} \of \tau_m
20: \]
21: ($m\geq 2$). A functor $A: \scat{G} \go \Set$ is called a \demph{globular
22: set}; I will write $s$ for $A(\sigma_m)$, and $t$ for $A(\tau_m)$.
23:
24: \paragraph{The Free Strict $\omega$-Category Monad}
25:
26: Any (small) strict $\omega$-category has an underlying globular set $A$, in
27: which $A(m)$ is the set of $m$-cells and $s$ and $t$ are the source and
28: target maps. We thus obtain a forgetful functor $U$ from the category of
29: strict $\omega$-categories and strict $\omega$-functors to the category
30: \ftrcat{\scat{G}}{\Set} of globular sets. $U$ has a left adjoint, so there
31: is an induced monad $(T, \id \goby{\eta} T, T^2 \goby{\mu} T)$ on
32: \ftrcat{\scat{G}}{\Set}.
33:
34: \paragraph{Collections}
35:
36: We define a monoidal category \fcat{Coll} of collections. Let $1$ be the
37: terminal globular set. A \demph{(globular) collection} is a map $C \goby{d}
38: T1$ into $T1$ in \ftrcat{\scat{G}}{\Set}; a \demph{map of collections} is a
39: commutative triangle. The \demph{tensor product} of collections $C \goby{d}
40: T1$, $C' \goby{d'} T1$ is the composite along the top row of
41: %
42: \begin{diagram}[size=2em]
43: \SEpbk C \otimes C'&\rTo&TC' &\rTo^{Td'} &T^2 1 &\rTo^{\mu_1}&T1\\
44: \dTo & &\dTo>{T!}& & & & \\
45: C &\rTo^d &T1, & & & & \\
46: \end{diagram}
47: %
48: where the right-angle symbol means that the square containing it is a
49: pullback, and $!$ denotes the unique map to $1$. The \demph{unit} for the
50: tensor is $1 \goby{\eta_1} T1$.
51:
52: \paragraph{Globular Operads}
53:
54: A \demph{(globular) operad} is a monoid in the monoidal category \fcat{Coll};
55: a \demph{map of operads} is a map of monoids.
56:
57: \paragraph{Algebras}
58:
59: Any operad $C$ induces a monad $C\cdot\dashbk$ on \ftrcat{\scat{G}}{\Set}.
60: For an object $A$ of \ftrcat{\scat{G}}{\Set}, this is defined by pullback:
61: %
62: \begin{diagram}[size=2em]
63: \SEpbk C\cdot A &\rTo &TA \\
64: \dTo & &\dTo>{T!} \\
65: C &\rTo^d &T1. \\
66: \end{diagram}
67: %
68: The multiplication and unit of the monad come from the multiplication and
69: unit of the operad. A $C$-\emph{algebra} is an algebra for the monad
70: $C\cdot\dashbk$. Note that every $C$-algebra has an underlying globular
71: set.
72:
73:
74: \concept{Contractions and Systems of Composition}
75:
76: \paragraph{Contractions}
77:
78: Let $C \goby{d} T1$
79: be a collection. For $m\geq 0$ and $\nu \in (T1)(m)$, write
80: $C(\nu) = \{ \theta \in C(m) \such d(\theta) = \nu \}$. For $m\geq 1$ and
81: $\nu \in (T1)(m)$, define
82: \[
83: Q_C (\nu) = \{ (\theta_0, \theta_1) \in C(\nu) \times C(\nu) \such
84: s(\theta_0) = s(\theta_1) \mbox{ and } t(\theta_0) = t(\theta_1)\},
85: \]
86: and for $\nu \in (T1)(0)$, define $Q_C(\nu) = C(\nu) \times C(\nu)$. Part of
87: the strict $\omega$-category structure on $T1$ is that each element $\nu \in
88: (T1)(m)$ gives rise to an element $1_\nu \in (T1)(m+1)$. A
89: \demph{contraction} on $C$ is a family of functions
90: \[
91: (\gamma_\nu: Q_C (\nu) \go C(1_\nu))_{m\geq 0, \nu\in (T1)(m)}
92: \]
93: satisfying
94: \[
95: s(\gamma_\nu \pr{\theta_0}{\theta_1} ) = \theta_0,
96: \diagspace
97: t(\gamma_\nu \pr{\theta_0}{\theta_1} ) = \theta_1
98: \]
99: for every $m\geq 0$, $\nu\in (T1)(m)$ and $\pr{\theta_0}{\theta_1} \in
100: Q_C (\nu)$.
101:
102: \paragraph{Systems of Compositions}
103:
104: The map $\eta_1: 1 \go T1$ picks out an element $\eta_{1,m}$ of $(T1)(m)$
105: for each $m\geq 0$. The strict $\omega$-category structure on $T1$ then
106: gives an element
107: \[
108: \beta_p^m = \eta_{1,m} \ofdim{p} \eta_{1,m} \in (T1)(m)
109: \]
110: for each $m > p \geq 0$; also put $\beta_m^m = \eta_{1,m}$. Defining
111: $B(m) = \{ \beta_p^m \such m \geq p \geq 0 \} \sub (T1)(m)$, we obtain a
112: collection $B \rIncl T1$.
113:
114: Also, the elements $\beta_m^m = \eta_{1,m} \in (T1)(m)$ determine a map $1
115: \go B$.
116:
117: A \demph{system of compositions} in an operad $C$ is a map $B \go C$ of
118: collections such that the composite $1 \go B \go C$ is the unit of the
119: operad $C$.
120:
121: \paragraph{Initial Object}
122:
123: Let \fcat{OCS} be the category in which an object is an operad equipped with
124: both a contraction and a system of compositions, and in which a map is a map
125: of operads preserving both the specified contraction and the specified system
126: of compositions. Then \fcat{OCS} can be shown to have an initial object,
127: whose underlying operad will be written $K$.
128:
129:
130: \concept{The Definitions}
131:
132: \paragraph{Definition \ds{B1}}
133:
134: A \demph{weak $\omega$-category} is a $K$-algebra.
135:
136: \paragraph{Definition \ds{B2}}
137:
138: A \demph{weak $\omega$-category} is a pair $(C,A)$, where $C$ is an operad
139: satisfying $C(0) \iso 1$ and on which there exist a contraction and a system
140: of compositions, and $A$ is a $C$-algebra.
141:
142: \paragraph{Weak $n$-Categories}
143:
144: Let $n\geq 0$. A globular set $A$ is \emph{$n$-dimensional} if for all
145: $m\geq n$,
146: \[
147: s=t: A(m+1) \go A(m)
148: \]
149: and this map is an isomorphism. A \demph{weak $n$-category} is a weak
150: $\omega$-category whose underlying globular set is $n$-dimensional. This can
151: be interpreted according to either \ds{B1} or \ds{B2}.
152:
153: \clearpage
154:
155:
156:
157: \lowsdimsheading{B}
158:
159: \concept{Definition \ds{B1}}
160:
161: An alternative way of handling weak $n$-categories is to work with only $n$-
162: (not infinite-) dimensional structures throughout. So we replace $\scat{G}$
163: by its full subcategory $\scat{G}_n$ with objects $0, \ldots, n$, and $T$ by
164: the free strict $n$-category monad $T_n$, to obtain definitions of
165: \demph{$n$-collection}, \demph{$n$-operads}, and their \demph{algebras}.
166: \demph{Contractions} are defined as before, except that we only speak of
167: contractions on $C$ if
168: %
169: \begin{equation} \label{eq:n-contr-b}
170: \forall \nu \in (T_n 1)(n), (\theta_0, \theta_1) \in Q_C(\nu)
171: \implies
172: \theta_0 = \theta_1.
173: \end{equation}
174: %
175: There is an initial $n$-operad $K_n$ equipped with a contraction and a system
176: of compositions, and the category of weak $n$-categories turns out to be
177: equivalent to the category of $K_n$-algebras. The latter is easier to
178: analyse.
179:
180: \paragraph{$n=0$}
181:
182: We have $\ftrcat{\scat{G}_0}{\Set} \iso \Set$, $T_0 = \id$, and
183: $0\hyph\fcat{Coll} \iso \Set$; a 0-operad $C$ is a monoid, and a $C$-algebra
184: is a set with a $C$-action. By~\bref{eq:n-contr-b}, the only 0-operad with a
185: contraction is the one-element monoid, so a weak $0$-category is just a set.
186:
187: \paragraph{$n=1$}
188:
189: $\ftrcat{\scat{G}_1}{\Set}$ is the category of directed graphs and $T_1$ is
190: the free category monad. $K_1$ is the terminal 1-operad, by arguments
191: similar to those under `$n=2$' below. It follows that the induced monad $K_1
192: \cdot \dashbk$ is just $T_1$, and so a weak $1$-category is just a
193: $T_1$-algebra, that is, a category.
194:
195: \paragraph{$n=2$}
196:
197: A functor $A: \scat{G}_2 \go \Set$ consists of a set of $0$-cells (drawn
198: $\gzeros{a}$), a set of $1$-cells ($\gfsts{a}\gones{f}\glsts{b}$), and a set
199: of $2$-cells ($\gfsts{a}\gtwos{f}{g}{\alpha}\glsts{b}$). A 2-collection $C$
200: consists of a set $C(0)$, a set $C(\nu_k)$ for each $k\geq 0$ (where $\nu_k$
201: indicates the `1-pasting diagram' $\gfstsu\gonesu\ \ldots\ \gonesu\glstsu$
202: with $k$ arrows), and a set $C(\pi)$ for each `2-pasting diagram' $\pi$ such
203: as the $\pi_i$ in Fig.~\ref{fig:op-comp-l}, together with source and target
204: functions.
205:
206: A 2-operad is a 2-collection $C$ together with `composition' functions such as
207: \[
208: \begin{array}{ccc}
209: C(\nu_3) \times [C(\nu_2) \times_{C(0)} C(\nu_1) \times_{C(0)} C(\nu_2)]
210: &\go &
211: C(\nu_5), \\
212: C(\pi_1) \times [C(\pi_2) \times_{C(\nu_2)} C(\pi_3)] &\go & C(\pi_4).
213: \end{array}
214: \]
215: In the first, the point is that there are $3$ terms $2,1,2$ and their sum is
216: $5$. This makes sense if an element of $C(\nu_k)$ is regarded as an
217: operation which takes a string of $k$ 1-cells and turns it into a single
218: $1$-cell. (The $\times_{C(0)}$'s denote pullbacks.) Similarly for the
219: second; see Fig.~\ref{fig:op-comp-b}. There are also identities for the
220: compositions.
221: %
222: \begin{figure}
223: \piccy{compoppic.ps}
224: \caption{Composition of operations in a globular operad}
225: \label{fig:op-comp-b}
226: \end{figure}
227: %
228: A $C$-algebra is a functor $A: \scat{G}_2 \go \Set$ together with functions
229: \[
230: \begin{array}{l}
231: \ovln{\psi}: A(0) \go A(0)
232: \textrm{ for each } \psi \in C(0),
233: \\
234: \ovln{\phi}: \{ \textrm{diagrams } \gfsts{a_0}\gones{f_1}\ \cdots \
235: \gones{f_k} \glsts{a_k} \textrm{ in } A \} \go A(1)
236: \textrm{ for each } \phi \in C(\nu_k),
237: \\
238: \ovln{\theta}: \{ \textrm{diagrams }
239: \gfsts{a}%
240: \gthrees{f}{g}{h}{\alpha}{\beta}%
241: \gfbws{\ b}\gtwos{l}{m}{\!\gamma}\glsts{c}
242: \textrm{ in } A \} \go A(2)
243: \textrm{ for each } \theta \in C(\gfstsu\gthreesu\gzersu\gtwosu\glstsu)
244: \end{array}
245: \]
246: (etc), all compatible with the source, target, composition and identities in
247: $C$.
248:
249: $K_2$ is generated from the empty collection by adding in the minimal amount
250: to obtain a 2-operad with contraction and system of compositions. We have
251: the identity $1\in K_2(0)$. Then, contraction gives an element (`1-cell
252: identities') of $K_2(\nu_0)$, the system of compositions gives an element
253: (`1-cell composition') of $K_2(\nu_2)$, and composition in $K_2$ gives one
254: element of $K_2(\nu_k)$ for each $k$-leafed tree in which every vertex has 0
255: or 2 edges coming up out of it. Contraction at the next level gives
256: associativity and unit isomorphisms and identity 2-cells; the system of
257: compositions gives vertical and horizontal 2-cell composition.
258: Condition~\bref{eq:n-contr-b} gives coherence axioms. Thus a weak 2-category
259: is exactly a bicategory.
260:
261:
262:
263: \concept{Definition \ds{B2}}
264:
265: Definition \ds{B2} of weak $n$-category refers to
266: infinite-dimensional globular operads. So in order to do a concrete analysis
267: of $n\leq 2$, we redefine a \demph{weak $n$-category} as a pair $(C,A)$ where
268: $C$ is a $n$-operad admitting a contraction and a system of compositions and
269: with $C(0) \iso 1$, and $A$ is a $C$-algebra. (Temporarily, call such a $C$
270: \demph{good}.) I do not know to what extent this is equivalent to \ds{B2},
271: but the spirit, at least, is the same.
272:
273:
274: \paragraph{$n=0$}
275:
276: From `$n=0$' above we see that a weak $0$-category is just a set.
277:
278:
279: \paragraph{$n=1$}
280:
281: The only good $1$-operad is the terminal $1$-operad, so by `$n=1$' above, a
282: weak $1$-category is just a category.
283:
284:
285: \paragraph{$n=2$}
286:
287: A \demph{(non-symmetric) classical operad} $D$ is a sequence $(D(k))_{k\geq
288: 0}$ of sets together with an element (the \demph{identity}) of $D(1)$ and for
289: each $k, r_1, \ldots, r_k \geq 0$ a map $ D(k) \times D(r_1) \times \cdots
290: \times D(r_k) \go D(r_1 + \cdots + r_k) $ (\demph{composition}), obeying unit
291: and associativity laws. It turns out that good $2$-operads $C$ correspond
292: one-to-one with classical operads $D$ such that $D(k) \neq \emptyset$ for
293: each $k$, via $D(k) = C(\nu_k)$. A $C$-algebra is then something like a
294: 2-category or bicategory, with one way of composing a string of $k$ $1$-cells
295: for each element of $D(k)$, and all the appropriate coherence $2$-cells.
296: E.g.\ if $D=1$ then a $C$-algebra is a 2-category; if $D(k)$ is the set of
297: $k$-leafed trees in which each vertex has either $0$ or $2$ edges coming up
298: out of it then a $C$-algebra is a bicategory. $C$ can, therefore, be
299: regarded as a theory of (more or less weak) 2-categories, and $A$ as a model
300: for such a theory.
301:
302: