ScalingStacks

0N9Y

Definition 2.3. The category ℝ3​𝐋𝐢𝐧𝐤∘{\mathbb{R}}^{3}\boldsymbol{\mathrm{Link}}^{\circ} has objects given by embedded, framed oriented links in L⊂ℝ3L\subset{\mathbb{R}}^{3}, such that the projection along the zz-axis maps LL to a blackboard-framed link diagram in ℝ2×{0}⊂ℝ3{\mathbb{R}}^{2}\times\{0\}\subset{\mathbb{R}}^{3}, together with an ordering of the finitely many crossings in the diagram. The morphisms are oriented link cobordisms in ℝ3×[0,1]{\mathbb{R}}^{3}\times{[0,1]} up to isotopy rel boundary, together with formal crossing reordering isomorphisms.

Original mathematics by the credited authors. Source collection and HTML conversion remain in progress.

Scott Morrison, Kevin Walker, Paul Wedrich

Original source: arXiv:1907.12194v5