114
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
1 |
%!TEX root = ../blob1.tex
|
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
2 |
|
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
3 |
\section{Comparing $n$-category definitions}
|
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
4 |
\label{sec:comparing-defs}
|
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
5 |
|
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
6 |
In this appendix we relate the ``topological" category definitions of Section \ref{sec:ncats}
|
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
7 |
to more traditional definitions, for $n=1$ and 2.
|
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
8 |
|
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
9 |
\subsection{Plain 1-categories}
|
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
10 |
|
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
11 |
Given a topological 1-category $\cC$, we construct a traditional 1-category $C$.
|
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
12 |
(This is quite straightforward, but we include the details for the sake of completeness and
|
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
13 |
to shed some light on the $n=2$ case.)
|
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
14 |
|
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
15 |
Let the objects of $C$ be $C^0 \deq \cC(B^0)$ and the morphisms of $C$ be $C^1 \deq \cC(B^1)$,
|
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
16 |
where $B^k$ denotes the standard $k$-ball.
|
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
17 |
The boundary and restriction maps of $\cC$ give domain and range maps from $C^1$ to $C^0$.
|
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
18 |
|
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
19 |
Choose a homeomorphism $B^1\cup_{pt}B^1 \to B^1$.
|
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
20 |
Define composition in $C$ to be the induced map $C^1\times C^1 \to C^1$ (defined only when range and domain agree).
|
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
21 |
By isotopy invariance in $C$, any other choice of homeomorphism gives the same composition rule.
|
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
22 |
|
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
23 |
Given $a\in C^0$, define $\id_a \deq a\times B^1$.
|
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
24 |
By extended isotopy invariance in $\cC$, this has the expected properties of an identity morphism.
|
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
25 |
|
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
26 |
\nn{(slash)id seems to rendering a a boldface 1 --- is this what we want?}
|
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
27 |
|
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
28 |
\medskip
|
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
29 |
|
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
30 |
For 1-categories based on oriented manifolds, there is no additional structure.
|
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
31 |
|
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
32 |
For 1-categories based on unoriented manifolds, there is a map $*:C^1\to C^1$
|
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
33 |
coming from $\cC$ applied to an orientation-reversing homeomorphism (unique up to isotopy)
|
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
34 |
from $B^1$ to itself.
|
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
35 |
Topological properties of this homeomorphism imply that
|
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
36 |
$a^{**} = a$ (* is order 2), * reverses domain and range, and $(ab)^* = b^*a^*$
|
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
37 |
(* is an anti-automorphism).
|
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
38 |
|
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
39 |
For 1-categories based on Spin manifolds,
|
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
40 |
the the nontrivial spin homeomorphism from $B^1$ to itself which covers the identity
|
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
41 |
gives an order 2 automorphism of $C^1$.
|
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
42 |
|
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
43 |
For 1-categories based on $\text{Pin}_-$ manifolds,
|
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
44 |
we have an order 4 antiautomorphism of $C^1$.
|
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
45 |
|
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
46 |
For 1-categories based on $\text{Pin}_+$ manifolds,
|
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
47 |
we have an order 2 antiautomorphism and also an order 2 automorphism of $C^1$,
|
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
48 |
and these two maps commute with each other.
|
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
49 |
|
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
50 |
\nn{need to also consider automorphisms of $B^0$ / objects}
|
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
51 |
|
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
52 |
\medskip
|
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
53 |
|
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
54 |
In the other direction, given a traditional 1-category $C$
|
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
55 |
(with objects $C^0$ and morphisms $C^1$) we will construct a topological
|
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
56 |
1-category $\cC$.
|
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
57 |
|
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
58 |
If $X$ is a 0-ball (point), let $\cC(X) \deq C^0$.
|
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
59 |
If $S$ is a 0-sphere, let $\cC(S) \deq C^0\times C^0$.
|
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
60 |
If $X$ is a 1-ball, let $\cC(X) \deq C^1$.
|
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
61 |
Homeomorphisms isotopic to the identity act trivially.
|
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
62 |
If $C$ has extra structure (e.g.\ it's a *-1-category), we use this structure
|
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
63 |
to define the action of homeomorphisms not isotopic to the identity
|
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
64 |
(and get, e.g., an unoriented topological 1-category).
|
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
65 |
|
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
66 |
The domain and range maps of $C$ determine the boundary and restriction maps of $\cC$.
|
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
67 |
|
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
68 |
Gluing maps for $\cC$ are determined my composition of morphisms in $C$.
|
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
69 |
|
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
70 |
For $X$ a 0-ball, $D$ a 1-ball and $a\in \cC(X)$, define the product morphism
|
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
71 |
$a\times D \deq \id_a$.
|
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
72 |
It is not hard to verify that this has the desired properties.
|
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
73 |
|
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
74 |
\medskip
|
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
75 |
|
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
76 |
The compositions of the above two ``arrows" ($\cC\to C\to \cC$ and $C\to \cC\to C$) give back
|
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
77 |
more or less exactly the same thing we started with.
|
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
78 |
\nn{need better notation here}
|
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
79 |
As we will see below, for $n>1$ the compositions yield a weaker sort of equivalence.
|
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
80 |
|
115
|
81 |
\medskip
|
|
82 |
|
|
83 |
Similar arguments show that modules for topological 1-categories are essentially
|
|
84 |
the same thing as traditional modules for traditional 1-categories.
|
114
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
85 |
|
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
86 |
\subsection{Plain 2-categories}
|
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
87 |
|
115
|
88 |
Let $\cC$ be a topological 2-category.
|
|
89 |
We will construct a traditional pivotal 2-category.
|
|
90 |
(The ``pivotal" corresponds to our assumption of strong duality for $\cC$.)
|
|
91 |
|
|
92 |
We will try to describe the construction in such a way the the generalization to $n>2$ is clear,
|
|
93 |
though this will make the $n=2$ case a little more complicated that necessary.
|
|
94 |
|
|
95 |
Define the $k$-morphisms $C^k$ of $C$ to be $\cC(B^k)_E$, where $B^k$ denotes the standard
|
|
96 |
$k$-ball, which we also think of as the standard bihedron.
|
|
97 |
Since we are thinking of $B^k$ as a bihedron, we have a standard decomposition of the $\bd B^k$
|
|
98 |
into two copies of $B^{k-1}$ which intersect along the ``equator" $E \cong S^{k-2}$.
|
|
99 |
Recall that the subscript in $\cC(B^k)_E$ means that we consider the subset of $\cC(B^k)$
|
|
100 |
whose boundary is splittable along $E$.
|
|
101 |
This allows us to define the domain and range of morphisms of $C$ using
|
|
102 |
boundary and restriction maps of $\cC$.
|
|
103 |
|
114
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
104 |
\nn{...}
|
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
105 |
|
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
106 |
\medskip
|
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
107 |
\hrule
|
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
108 |
\medskip
|
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
109 |
|
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
110 |
\nn{to be continued...}
|
kevin@6e1638ff-ae45-0410-89bd-df963105f760
parents:
diff
changeset
|
111 |
\medskip
|