text/appendixes/comparing_defs.tex
changeset 791 c5a33223af00
parent 790 ec8587c33c0b
child 792 966a571daa10
equal deleted inserted replaced
790:ec8587c33c0b 791:c5a33223af00
    65 
    65 
    66 For 1-categories based on oriented balls, there are no non-trivial homeomorphisms of 0- or 1-balls, and thus no 
    66 For 1-categories based on oriented balls, there are no non-trivial homeomorphisms of 0- or 1-balls, and thus no 
    67 additional structure on $c(\cX)$.
    67 additional structure on $c(\cX)$.
    68 
    68 
    69 For 1-categories based on Spin balls,
    69 For 1-categories based on Spin balls,
    70 the the nontrivial spin homeomorphism from $B^1$ to itself which covers the identity
    70 the nontrivial spin homeomorphism from $B^1$ to itself which covers the identity
    71 gives an order 2 automorphism of $c(\cX)^1$.
    71 gives an order 2 automorphism of $c(\cX)^1$.
       
    72 There is a similar involution on the objects $c(\cX)^0$.
    72 
    73 
    73 For 1-categories based on $\text{Pin}_-$ balls,
    74 For 1-categories based on $\text{Pin}_-$ balls,
    74 we have an order 4 antiautomorphism of $c(\cX)^1$.
    75 we have an order 4 antiautomorphism of $c(\cX)^1$.
    75 For 1-categories based on $\text{Pin}_+$ balls,
    76 For 1-categories based on $\text{Pin}_+$ balls,
    76 we have an order 2 antiautomorphism and also an order 2 automorphism of $c(\cX)^1$,
    77 we have an order 2 antiautomorphism and also an order 2 automorphism of $c(\cX)^1$,
    77 and these two maps commute with each other.
    78 and these two maps commute with each other.
    78 
    79 In both cases there is a similar map on objects.
    79 
    80 
    80 
    81 
    81 \noop{
    82 \noop{
    82 \medskip
    83 \medskip
    83 
    84