1:
2: \defnheading{P} \label{p:p}
3:
4:
5: \concept{Some Globular Structures}
6:
7: \paragraph{Reflexive Globular Sets}
8:
9: Let \scat{R} be the category whose objects are the natural numbers
10: $0,1,\ldots$, and whose arrows are generated by
11: \vspace{-4ex}
12: \[
13: \cdots \diagspace
14: m+1 \,
15: \splitcoeqlhs{\sigma_{m+1}}{\tau_{m+1}}{\iota_{m+1}}
16: \, m \,
17: \splitcoeqlhs{\sigma_m}{\tau_m}{\iota_m}
18: \diagspace \cdots \diagspace
19: \splitcoeqlhs{\sigma_1}{\tau_1}{\iota_1}
20: 0
21: \]
22: subject to the equations
23: \[
24: \sigma_m \of \sigma_{m+1} = \sigma_m \of \tau_{m+1},
25: \diagspace
26: \tau_m \of \sigma_{m+1} = \tau_m \of \tau_{m+1},
27: \diagspace
28: \sigma_m \of \iota_m = 1 = \tau_m \of \iota_m
29: \]
30: ($m\geq 1$). A functor $A: \scat{R} \go \Set$ is called a \demph{reflexive
31: globular set}. I will write $s$ for $A(\sigma_m)$, and $t$ for $A(\tau_m)$,
32: and $1_a$ for $(A(\iota_m))(a)$ when $a \in A(m-1)$.
33:
34: \paragraph{Strict $\omega$-Categories, and $\omega$-Magmas}
35:
36: A \demph{strict $\omega$-category} is a reflexive globular set $S$ together
37: with a function (\demph{composition}) $\ofdim{p}: S(m) \times_{S(p)} S(m) \go
38: S(m)$ for
39: each $m > p \geq 0$, satisfying
40: %
41: \begin{itemize}
42: \item axioms determining the source and target of a composite
43: (part~\bref{part:strict-n:source-comp} in the Preliminary section `Strict
44: $n$-Categories')
45: \item
46: strict associativity, unit and interchange axioms (parts
47: ~\bref{part:strict-n:ass-and-id} and~\bref{part:strict-n:int}).
48: \end{itemize}
49:
50: An \demph{$\omega$-magma} is like a strict $\omega$-category, but only
51: satisfying the first group of axioms~(\bref{part:strict-n:source-comp}) and
52: not necessarily the second
53: (\bref{part:strict-n:ass-and-id},~\bref{part:strict-n:int}).
54: A \demph{map of $\omega$-magmas} is a map of reflexive globular sets which
55: commutes with all the composition operations. (A strict $\omega$-functor
56: between strict $\omega$-categories is, therefore, just a map of the
57: underlying $\omega$-magmas.)
58:
59:
60:
61: \concept{Contractions}
62:
63: Let $\phi: A \go B$ be a map of reflexive globular sets. For $m\geq 1$,
64: define
65: \[
66: V_\phi(m) =
67: \{ (f_0,f_1) \in A(m) \times A(m) \such
68: s(f_0) = s(f_1), t(f_0) = t(f_1), \phi(f_0) = \phi(f_1) \},
69: \]
70: and define
71: \[
72: V_\phi(0) =
73: \{ (f_0, f_1) \in A(0) \times A(0) \such \phi(f_0) = \phi(f_1) \}.
74: \]
75: A \demph{contraction} $\gamma$ on $\phi$ is a family of functions
76: \[
77: (\gamma_m : V_\phi(m) \go A(m+1))_{m\geq 0}
78: \]
79: such that for all $m\geq 0$ and $(f_0,f_1) \in V_\phi (m)$,
80: \[
81: s(\gamma_m(f_0,f_1)) = f_0,
82: \ \ \
83: t(\gamma_m(f_0,f_1)) = f_1,
84: \ \ \
85: \phi(\gamma_m(f_0,f_1)) = 1_{\phi(f_0)} (= 1_{\phi(f_1)}),
86: \]
87: and for all $m\geq 0$ and $f \in A(m)$,
88: \[
89: \gamma_m(f,f) = 1_f.
90: \]
91:
92:
93: \concept{The Mysterious Category \cat{Q}}
94:
95: \paragraph{Objects}
96:
97: An object of \cat{Q} (see Fig.~\ref{fig:object}) is a quadruple
98: $(M,S,\pi,\gamma)$ in which
99: %
100: \begin{figure}
101: \[
102: %
103: \begin{diagram}[width=3em,height=2.7em,tight]
104: M &\lLabelling &\parbox{5em}{\raggedright
105: $\omega$-magma} \\
106: \dTo>{\pi} &\lLabelling &\parbox{5em}{\raggedright
107: map of $\omega$-magmas} \\
108: S &\lLabelling &\parbox{5em}{\raggedright
109: strict $\omega$-\\category} \\
110: \end{diagram}
111: %
112: \mbox{\hspace{5em}}
113: %
114: \begin{array}{ccc}
115: \begin{diagram}[width=2.5em]
116: a&\pile{\rTo^{f_0}\\ \rTo_{f_1}}&b
117: \end{diagram}
118: &
119: \mbox{\hspace{1.6em}} \raisebox{-3ex}{\goesto} \mbox{\hspace{1.3em}}
120: &
121: a \ctwocentre{f_0}{f_1}{\,\scriptstyle \gamma_1(f_0,f_1)} b \\
122: \pi(f_0) = \pi(f_1)
123: &
124: &
125: \pi(\gamma_1(f_0,f_1)) = 1_{\pi(f_0)}
126: \end{array}
127: \]
128: \caption{An object of $\cat{Q}$, with $\gamma$ shown for $m=1$}
129: \label{fig:object}
130: \end{figure}
131: %
132: \begin{itemize}
133: \item $M$ is an $\omega$-magma
134: \item $S$ is a strict $\omega$-category
135: \item $\pi$ is a map of $\omega$-magmas from $M$ to (the underlying
136: $\omega$-magma of) $S$
137: \item $\gamma$ is a contraction on $\pi$.
138: \end{itemize}
139:
140:
141: \paragraph{Maps}
142:
143: A map $(M,S,\pi,\gamma) \go (M',S',\pi',\gamma')$ in \cat{Q} is a pair $(M
144: \goby{\chi} M',$ $S \goby{\zeta} S')$ commuting with everything in sight.
145: That is, $\chi$ is a map of $\omega$-magmas, $\zeta$ is a strict
146: $\omega$-functor, $\pi' \of \chi = \zeta \of \pi$, and $\gamma'_m(\chi(f_0),
147: \chi(f_1)) = \chi (\gamma_m(f_0, f_1))$ for all $(f_0, f_1) \in V_M(m)$.
148:
149: \paragraph{Composition and Identities}
150:
151: These are defined in the obvious way.
152:
153:
154: \concept{The Definition}
155:
156: \paragraph{An Adjunction}
157:
158: Let $U: \cat{Q} \go \ftrcat{\scat{R}}{\Set}$ be the functor sending
159: $(M,S,\pi,\gamma)$ to the underlying reflexive globular set of the
160: $\omega$-magma $M$. It can be shown that $U$ has a left adjoint: so
161: there is an induced monad $T$ on \ftrcat{\scat{R}}{\Set}.
162:
163: \paragraph{Weak $\omega$-Categories}
164:
165: A \demph{weak $\omega$-category} is a $T$-algebra.
166:
167: \paragraph{Weak $n$-Categories}
168:
169: Let $n\geq 0$. A reflexive globular set $A$ is \demph{$n$-dimensional} if
170: for all $m \geq n$, the map $A(\iota_{m+1}): A(m) \go A(m+1)$ is an
171: isomorphism (and so $s = t = (A(\iota_{m+1}))^{-1}$). A
172: \demph{weak $n$-category} is a weak $\omega$-category whose underlying
173: reflexive globular set is $n$-dimensional.
174:
175:
176:
177:
178: \clearpage
179:
180:
181: \lowdimsheading{P}
182:
183:
184:
185: \concept{Direct Interpretation}
186:
187: \paragraph{The Left Adjoint in Low Dimensions}
188:
189: Here is a description of what the left adjoint $F$ to $U$ does in dimensions
190: $\leq 2$. It is perhaps not obvious that $F$ as described does form the left
191: adjoint; we come to that later.
192:
193: For a reflexive globular set $A$, write
194: \[
195: F(A) =
196: \left(
197: \begin{diagram}[height=1.5em]
198: A^\# \\
199: \dTo>{\pi_A} \\
200: A^* \\
201: \end{diagram},\
202: \gamma_A
203: \right).
204: \]
205: $A^*$ is, in fact, relatively easy to describe: it is the free strict
206: $\omega$-category on $A$, in which an $m$-cell is a formal pasting-together
207: of cells of $A$ of dimension $\leq m$.
208:
209:
210: \begin{description}
211: \item[Dimension $0$] We have $A^\#(0) = A^*(0) = A(0)$ and $(\pi_A)_0
212: = \id$.
213: %
214: \item[Dimension $1$] Next, $A^*(1)$ is the set of formal paths of 1-cells in
215: $A$, where we identify each identity cell $1_a$ with the identity path on
216: $a$. The set $A^\#(1)$ and the functions $s,t: A^\#(1) \go A(0)$ are generated
217: by the following recursive clauses:
218: \begin{itemize}
219: \item if $a_0 \goby{f} a_1$ is a 1-cell in $A$ then $A^\#(1)$ contains an
220: element celled $f$, with $s(f)=a_0$ and $t(f)=a_1$
221: \item if $w,w' \in A^\#(1)$ with $t(w)=s(w')$ then $A^\#(1)$ contains an
222: element called $(w' \bofdim{0} w)$, with $s(w' \bofdim{0} w)=s(w)$ and $t(w'
223: \bofdim{0} w)=t(w')$.
224: \end{itemize}
225: The identity map $A(0) \go A^\#(1)$ sends $a$ to $1_a \in A(1) \sub A^\#(1)$,
226: the map $\pi_A$ removes parentheses and sends $\bofdim{0}$ to $\ofdim{0}$,
227: and the contraction $\gamma_A$ is given by $\gamma_A(a,a) = 1_a$ (for $a\in
228: A(0)$).
229: %
230: \item[Dimension $2$] $A^*(1)$ is the set of formal pastings of
231: 2-cells in $A$, again respecting the identities. $A^\#(2)$ and $s, t:
232: A^\#(2) \go A^\#(1)$ are generated by:
233: \begin{itemize}
234: \item if $\alpha$ is a 2-cell in $A$ then $A^\#(2)$ has an element
235: called $\alpha$, with the evident source and target
236: \item if $a \parpair{w_0}{w_1} b$ in $A^\#(1)$ with $\pi_A(w_0)=\pi_A(w_1)$
237: then $A^\#(2)$ has an element called $\gamma_A(w_0,w_1)$, with source $w_0$ and
238: target $w_1$
239: \item if $x,x' \in A^\#(2)$ with $t(x)=s(x')$ then $A^\#(2)$ has an
240: element called $(x' \bofdim{1} x)$, with source $s(x)$ and target $t(x')$
241: \item if $x,x' \in A^\#(2)$ with $tt(x)=ss(x')$ then $A^\#(2)$ has an element
242: called $(x' \bofdim{0} x)$, with source $s(x')\bofdim{0} s(x)$ and target
243: $t(x')\bofdim{0} t(x)$;
244: \end{itemize}
245: furthermore, if $f \in A(1)$ then $1_f$ (from the first clause) is to be
246: identified with $\gamma_A(f,f)$ (from the second). The identity map $A^\#(1)
247: \go A^\#(2)$ sends $w$ to $\gamma_A(w,w)$. The map $\pi_A$ sends cells of
248: the form $\gamma_A(w_0,w_1)$ to identity cells, and otherwise acts as in
249: dimension 1. The contraction $\gamma_A$ is defined in the way suggested by
250: the notation.
251:
252: \end{description}
253:
254:
255: \paragraph{Adjointness}
256:
257: We now have to see that this $F$ is indeed left adjoint to $U$. First
258: observe that there is a natural embedding of $A(m)$ into $A^\#(m)$ (for
259: $m\leq 2$); this gives the unit of the adjunction. Adjointness then says:
260: given $(M,S,\pi,\gamma) \in \cat{Q}$ and a map $A \goby{\phi} M$
261: of reflexive globular sets, there's a unique map
262: \[
263: (\chi,\zeta): \vslob{A^\#}{\pi_A}{A^*} \go \vslob{M}{\pi}{S}
264: \]
265: in \cat{Q} such that $\chi$ extends $\phi$. This can be seen from the
266: description above.
267:
268: \paragraph{Weak $2$-Categories}
269:
270: A weak $2$-category consists of a $2$-dimensional reflexive globular set $A$
271: together with:
272: %
273: \begin{itemize}
274: \item (a map $A^\#(0) \go A(0)$ obeying axioms---which force it to be the
275: identity)
276: \item a map $A^\#(1) \go A(1)$ obeying axioms, which amounts to a binary
277: composition on the 1-cells of $A$ (\emph{not} obeying any axioms)
278: \item similarly, vertical and horizontal binary compositions of 2-cells, not
279: obeying any axioms `yet'
280: \item for each string $\cdot \goby{f_1} \cdots \goby{f_k} \cdot$ of 1-cells,
281: and each pair $\tau,\tau'$ of $k$-leafed binary trees, a 2-cell
282: $
283: \omega_{\tau,\tau'}:
284: \of_{\tau}(f_1, \ldots, f_k) \go \of_{\tau'}(f_1, \ldots, f_k),
285: $
286: where $\of_{\tau}$ indicates the iterated composition dictated by the shape
287: of $\tau$
288: \item amongst other things in dimension $3$: whenever we have some $2$-cells
289: $(\alpha_i)$, and two different ways of composing all the $\alpha_i$'s and
290: some $\omega_{\tau,\tau'}$'s to obtain new 2-cells $\beta$ and $\beta'$
291: respectively, and these satisfy $s(\beta)=s(\beta')$ and
292: $t(\beta)=t(\beta')$, then there is assigned a 3-cell $\beta\go\beta'$.
293: \end{itemize}
294: %
295: Since `the only $3$-cells of $A$ are equalities', we get $\beta=\beta'$ in
296: the last item. Analysing this precisely, we find that the category of weak
297: 2-categories is equivalent to the category of bicategories and strict
298: functors. And more easily, a weak 1-category is just a category and a weak
299: 0-category is just a set.
300:
301:
302:
303: \concept{Indirect Interpretation}
304:
305: An alternative way of handling weak $n$-categories is to work only with
306: $n$-dimensional (not infinite-dimensional) structures throughout: e.g.\
307: reflexive globular sets $A$ in which $A(m)$ is only defined for $m\leq n$.
308: We then only speak of contractions on a map $\phi$ if $(f_0,f_1) \in
309: V_\phi(n) \implies f_0=f_1$ (and in particular, the map $\pi$ must satisfy
310: this condition in order for $(M,S,\pi,\gamma)$ to qualify as an object of
311: \cat{Q}). Our new category of weak $n$-categories appears to be equivalent
312: to the old one, taking algebra maps as the morphisms in both cases.
313:
314: The analysis of $n=2$ is easier now: we can write down the left adjoint $F$
315: explicitly, and so get an explicit description of the monad $T$ on the
316: category of `reflexive 2-globular sets'. This monad is presumably the free
317: bicategory monad.
318:
319: \clearpage
320:
321:
322:
323: