pith. sign in

arxiv: 2606.07432 · v1 · pith:6IW3L46Bnew · submitted 2026-06-05 · 🧮 math.QA · math-ph· math.MP

Defects in skein theory and TQFT

Patrick Kinnear , Ingo Runkel This is my paper

Pith reviewed 2026-06-27 20:08 UTC · model grok-4.3

classification 🧮 math.QA math-phmath.MP
keywords skein moduleline defectspoint defectsTQFTReshetikhin-Turaevmodule categories3-manifoldsgraphical calculus
0
0 comments X

The pith

The skein module for a 3-manifold with line and point defects equals the boundary state space in the defect TQFT when all labels are semisimple.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper defines the skein module of a 3-manifold equipped with a network of line and point defects along its boundary. This definition extends the familiar skein modules that only allow point defects. When the defects carry semisimple labels, the resulting skein module is shown to be isomorphic to the state space of the boundary in the defect version of the Reshetikhin-Turaev TQFT. The construction proceeds by globalizing the graphical calculus associated to module categories and their functors. The same framework also permits defect data that go beyond the semisimple case.

Core claim

Given a 3-manifold M with a network of line and point defects in its boundary, the skein module of this configuration is defined by globalizing the graphical calculus of module categories and functors thereof. When all defects are labelled by semisimple data, this skein module is isomorphic to the state space of ∂M in the defect version of the Reshetikhin-Turaev TQFT.

What carries the argument

Skein module obtained by globalizing the graphical calculus of module categories and functors thereof.

If this is right

  • The skein module supplies a combinatorial model for the state space of the boundary in the presence of defects.
  • The definition extends previous skein modules by allowing networks that include line defects as well as point defects.
  • The isomorphism holds precisely when the defect labels are semisimple.
  • The same globalizing procedure applies to defect data that are not restricted to the semisimple case.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • Skein relations could be used to compute explicit values of defect TQFT invariants on concrete manifolds.
  • The same globalization technique might be adapted to produce skein modules for other TQFT constructions that include defects.
  • If a non-semisimple defect TQFT can be defined by other means, a parallel skein-module description may exist.

Load-bearing premise

The defect TQFT is already defined and satisfies the required gluing and functoriality properties for manifolds with line and point defects.

What would settle it

Direct computation of both the skein module and the TQFT state space for the 3-ball with a single line defect connecting two semisimple point defects on the boundary sphere, checking whether the resulting vector spaces are isomorphic.

Figures

Figures reproduced from arXiv: 2606.07432 by Ingo Runkel, Patrick Kinnear.

Figure 1
Figure 1. Figure 1: The definition of Φ. Left: a section of a ribbon graph Γ near a point defect. The interior edges and vertices are coloured orange, the boundary edges and vertices are coloured blue, green and pink, and the boundary region is shaded. Right: the resulting bordism after attaching a cylinder over the line and point defects. This is (part of) a defect bordism Cyl(M, Γ) : ∅ → ∂M. Theorem 1.1. (5.8) Let M be a 3-… view at source ↗
Figure 2
Figure 2. Figure 2: A schematic in the style of [BJS], showing how our defect data fits into a higher algebraic setting such as BrTens. The C-labelled bulk represents an object, corresponding to the 4d CY theory. Its regular boundary (shown as an interface with the trivial theory, labelled 1), also labelled C, represents a 1- morphism 1 → C, and corresponds to the RT theory. Our defects lie within the regular boundary. They a… view at source ↗
Figure 3
Figure 3. Figure 3: The possible neighbourhoods of points for a regular stratified surface. Note that the rightmost example is one of an infinite family of such neighbour￾hoods, where arbitrarily many line defects may meet a point defect in a star-like configuration, all having arbitrary orientation. z ϵ = 1 Incoming Outgoing ϵ = −1 y z y z y z y [PITH_FULL_IMAGE:figures/full_fig_p009_3.png] view at source ↗
Figure 4
Figure 4. Figure 4: At a framed point P (shown as an enlarged dot with its framing (y, z)), a segment s (green) is incident. Whether s is incoming or outgoing depends on whether the tangent vector ∂s makes a negative or positively oriented basis for the tangent space when combined with z. Inother words, z bisects the tangent space into an incoming and an outgoing direction, with y pointing to the outgoing direction. The sign … view at source ↗
Figure 5
Figure 5. Figure 5: The solid tori of Example 2.29. Left: K−. Right: K+. The longer framing vector at the point defect is the y-vector, and the shorter vector is the z-vector. oriented basis of TP S and is outgoing from P if (∂s, zv) is a positively oriented basis. See [PITH_FULL_IMAGE:figures/full_fig_p010_5.png] view at source ↗
Figure 6
Figure 6. Figure 6: (6a) shows an interior vertex of a ribbon graph, in the sense of Def￾inition 3.3. The edges 1 and 2 are outgoing, and are numbered in the standard ordering. There are only 2 edges attached as incoming, but 3 incoming segments, numbered 3, 4, 5 in the standard ordering, with segments 3 and 4 coming from the same edge. The framing of each edge is indicated. (6b) shows the same vertex in the ribbons-and-coupo… view at source ↗
Figure 7
Figure 7. Figure 7: A vertex at a point defect. Boundary edges (green) necessarily ap￾proach in the plane which is tangent at the boundary, shaded green, while interior edges (orange) approach in the orthogonal xy plane, shaded orange. The edges 1, 2, 3 are incoming while edges 4, 5, 6 are outgoing. The standard ordering on incoming interior edges is 2 then 3; the standard ordering on outgoing boundary edges is 5 then 4. Defi… view at source ↗
Figure 8
Figure 8. Figure 8: An example of a section of a coloured ribbon graph. Edges and vertices are coloured according to the category (or functor) marking the stratum in which they lie. Definition 3.10. Write TM(A) for the set of length M tuples of elements of a set A. Then the source map for DC is the map s : DC 1 → a M∈Z≥0 TM(DC 2 ) ((Mi) M i=1,(Nj ) N j=1,(F, ρ)) 7→ (Mi) M i=1. The target map is the map t : DC 1 → a N∈Z≥0 TN (… view at source ↗
Figure 9
Figure 9. Figure 9: Left: a marked arc (pink) meeting a ribbon from the interior (orange). Right: the arc is replaced by a point defect, given a framing, and the ribbon framing modified to match, as in Remark 3.14. (3) For each coupon v in Γ ∩ intM, a choice of morphism in HomC( O i V −ϵi i , O j W ϵj j ) where: Vi are the objects colouring incoming segments and Wj colour the outgoing seg￾ments; the tensor products are ordere… view at source ↗
Figure 10
Figure 10. Figure 10: (a) The back row shows valid cubes around a point defect, a point in a line defect, and a point not lying in either kind of defect, respectively. The yz-face of the cube is shaded. (b) The front row shows examples of invalid cubes. In each case, the failure is due to the cube not being local enough. We have the following cases: • If P is a point defect, its link contains incoming and outgoing line defects… view at source ↗
Figure 11
Figure 11. Figure 11: An example of a valid cube, and a section of ribbon graph having good intersection. Note that the cube is parameterized so that the framing at the point defect also specifies the coordinates of the cube. We omit the DC -colours of the interior graph and the point defect. For the purposes of the following definitions, if C is a valid cube that does not meet ∂M, we formally view the x = 0 face of C as a bou… view at source ↗
Figure 12
Figure 12. Figure 12: The ribbon graph Γ of [PITH_FULL_IMAGE:figures/full_fig_p017_12.png] view at source ↗
Figure 13
Figure 13. Figure 13: To isotope h past fi , we first put the graph into the position shown. We will then consider gi = h ′◦g ′′ i−1 in evaluating the graph. We moreover note that h ′ = idVi ⊗h ′′ for h ′′ : V ∨ i ⊗ U ′ → Ui the morphism indicated in the dashed box. Here and in the sequel, the planar projection is rotated so that the x-coordinate runs top to bottom and the y-coordinate runs left to right; orientations of edges… view at source ↗
Figure 14
Figure 14. Figure 14: Some specific examples of skein relations, shown in the projection π. (A) C-skein relations. (B) M-skein relations. (C) zipping relation of the first kind. (D) zipping relation of the second kind, for a vertex after a point defect (similarly: the case of a vertex before a point defect, and the case of the identity point defect). (E) subduction relation. (F) relation to replace labels with unitors, when a … view at source ↗
Figure 15
Figure 15. Figure 15: The steps in the proof of Lemma 3.27. We will consider the defect skein module of this example. Recall that given a functor G : Mop × M × Cop × C → Vect we can form the coend R m∈M G(m, m, −, −) : C op×C → Vect and take another coend R c∈C R m∈M G(m, m, c, c). We could also form the coend R m∈M R c∈C G(m, m, c, c) and the coend R (m,c)∈M×C G(m, m, c, c) by identifying Mop × M × Cop × C ≃ (M × C) op × M × … view at source ↗
Figure 16
Figure 16. Figure 16: The handle-slide relations for a 2-handle attached along β (the dashed blue curve). Left: a skein in the generic position described by Lemma 3.27. Mid￾dle: the edge homotopic to β has been slid through the handle, and is now in a neighbourhood of the coupon. Right: an interior skein relation replaces this with a new vertex, now with no edge homotopic to β. uF (x⊠Cx) . We can bring all coupons in the inter… view at source ↗
Figure 17
Figure 17. Figure 17: Left: the morphism fd ∈ Fˆ(m, m, c, c) corresponding to f ∈ Fˆ(m, m, c ⊗ d, c ⊗ d). Right: the morphsim f ρ d ∈ Fˆ(m ◁ d, m ◁ d, c, c). The x and y framing vectors at the f-vertex in the plane of the picture are indicated. Proof. By Lemma 3.29, we only need to understand the handle-slide relations for the 2-handle which is added in the construction of K+ from T. Taking a representative graph in the form g… view at source ↗
Figure 18
Figure 18. Figure 18: The handle slide relations for a 2-handle attached along α (the dashed blue curve). The resulting configuration in the bulk is then the morphism f ρ d . where the source is an extension of the category of ribbon bordisms. The objects of Bordrib 3 (C) are closed oriented surfaces S with a collection of C-marked point defects D, with the points moreover carrying a sign. The morphisms are ribbon bordisms: 3-… view at source ↗
Figure 19
Figure 19. Figure 19: The map η takes a morphism f to the skein [Γf ], where Γf is the graph depicted above. Here L is the canonical coend for C (see Notation 2.14) and G = L i∈Irr(C) Xi is the canonical generator, and u = P i∈Irr(C) π ∨ Xi ⊗ ιXi , where ιXi , πXi present the simple object Xi as a retract of G. define bordisms (Hg, Γ) : ∅ → (Sg, D), we have a linear map ϕδ : Sk(Hg, D) → Z RT(Sg, D) [Γ] 7→ Z RT(Hg, Γ)(1) This i… view at source ↗
Figure 20
Figure 20. Figure 20: Below: a skein in the solid torus ending at marked points X, A, and with a vertex coloured by f : X ⊗ U → A ⊗ U. Above: a ribbon bordism which is topologically a cylinder over the torus. This may be glued to the lower part and then induces a linear map on skein modules, hence on Reshetikhin–Turaev state spaces. The vertices in the cylinder are coloured by the comultiplication ∆ of A and the left and right… view at source ↗
Figure 21
Figure 21. Figure 21: Left: A line defect which ends at point defects, when crossed with an interval, becomes a square. Here we show the point defects crossed with an interval as red lines, and denote the endpoint τ for the 2-segment triangulation of the line defect. In the interior is an example of a skeleton for the surface defect which is the line defect crossed with an interval. The case where the line defect ends at a sin… view at source ↗
Figure 22
Figure 22. Figure 22: The bordism of Lemma 4.19, read bottom to top. Here, pX : X → X∨∨ denotes the pivotal structure. τ i 2 τ i 1 η ∆ (a) τ i 2 τ i 1 µ ϵ (b) ≃ ≃ (c) [PITH_FULL_IMAGE:figures/full_fig_p034_22.png] view at source ↗
Figure 23
Figure 23. Figure 23: (A) The bordism of Lemma 4.20. (B) The inverse bordism. (C) An illustration that the composition of these bordism in one order is the identity, using the Frobenius property of A. The composition in the other order is similar. defines an A-action on X∨ which makes pX an A-module morphism. The bordism of [PITH_FULL_IMAGE:figures/full_fig_p034_23.png] view at source ↗
Figure 24
Figure 24. Figure 24: Graphical proof of lemma 4.21. (A) This morphism in C is the projection M∨⊗N → M∨⊗A N. (B) Left: morphisms from M∨⊗A N correspond to such morphisms, for f any morphism in C (note that if f is already balanced with respect to the A-action, then the projector shown here can be removed). Right: morphisms N → M ⊗ V of A-modules correspond to such morphisms in C (again, if f is already an A-module map, the A-p… view at source ↗
Figure 25
Figure 25. Figure 25: Left: In the proof of Proposition 5.2, a valid cube at a point defect (red) is enlarged to intersect a surface defect in S × I. The original valid cube is indicated, with the x = 0 face shaded. Right: this cube is homeomorphic to the defect ball shown, whose boundary is the sphere S − N,X;U of Example 4.22. since Γ and Γ′ describe identical morphisms in this Hom-space. The bordisms Cyl(M, Γi) and Cyl(M, Γ… view at source ↗
Figure 26
Figure 26. Figure 26: The morphisms exhibiting any A-module as a retract of a free module. The empty circle denotes the unit of A. 5.2. Proof of the isomorphism. We divide the main theorem into several lemmas, beginning with the following simple observation. Lemma 5.4. For A a separable Frobenius algebra, then any module N is a retract of a free module. Proof. Let rN : A ⊗ N → N be the action map. Let iN : N → A ⊗ N be given b… view at source ↗
Figure 28
Figure 28. Figure 28: The manipulations used at 1-strata ending in point defects to bring any graph into the form of one in the image of Ψ. Proof. We observe that the diagram below is commutative: Z RT (S, D) SkC(M) Z def(S, D) Ψ π Φ [PITH_FULL_IMAGE:figures/full_fig_p039_28.png] view at source ↗
Figure 29
Figure 29. Figure 29: The manipulations used to show ΨP = Ψ. Rewriting XAop⊗A(M ⊗ M) ∼= M∨ ⊗A X ⊗A M, an application of Lemma 4.21 gives HomC(M∨ ⊗A X ⊗A M, 1) ∼= HomA(X ⊗A M, M). Then by Lemma 3.30, we have that Sk(K+) ∼= Z M∈A -ModC F˜(M, M) ∼= M M∈Irr(A -ModC) HomA(X ⊗A M, M) where we use semisimplicity of A -ModC. Now consider the manifold K− of Example 3.28. By a similar argument to the above, we have Fˆ(M, M, U, U) ∼= Hom… view at source ↗
read the original abstract

Given a 3-manifold $M$ with a network of line and point defects in its boundary, we define the skein module of this configuration, generalizing the well-studied case of 3-manifolds which only admit point defects in the boundary. We prove that when all defects are labelled by semisimple data, our skein module is isomorphic to the state space of $\partial M$ in the defect version of the Reshetikhin-Turaev TQFT constructed by Carqueville-Runkel-Schaumann. Our defect skein modules follow naturally by globalizing the graphical calculus of module categories and functors thereof, and generalize the possible defect data considered in the defect TQFT beyond the semisimple case.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

1 major / 1 minor

Summary. The paper defines a skein module for a 3-manifold M with a network of line and point defects on its boundary by globalizing the graphical calculus of module categories and their functors. It proves that, when all defects are labelled by semisimple data, this skein module is isomorphic to the state space of ∂M in the defect Reshetikhin-Turaev TQFT of Carqueville-Runkel-Schaumann.

Significance. If the isomorphism holds, the result supplies a combinatorial model for the state spaces of the CRS defect TQFT via skein relations, extending the point-defect case. The globalization construction also permits non-semisimple labels on the skein side even though the isomorphism statement is restricted to semisimple data.

major comments (1)
  1. [Main theorem statement (abstract and §1)] The central isomorphism is obtained by identifying the independently defined skein module with the state space of the CRS defect TQFT; the argument therefore presupposes that the CRS construction already supplies well-defined gluing maps and functoriality for arbitrary networks of line and point defects on the boundary. No independent check or reduction verifying these properties for the defect configurations considered here is supplied.
minor comments (1)
  1. [Introduction] Clarify in the introduction whether the skein-module definition itself extends verbatim to non-semisimple labels or whether additional restrictions appear in the globalization step.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their careful reading of the manuscript and for highlighting this structural aspect of the proof. We respond to the major comment below.

read point-by-point responses

  1. Referee: The central isomorphism is obtained by identifying the independently defined skein module with the state space of the CRS defect TQFT; the argument therefore presupposes that the CRS construction already supplies well-defined gluing maps and functoriality for arbitrary networks of line and point defects on the boundary. No independent check or reduction verifying these properties for the defect configurations considered here is supplied.

    Authors: The referee is correct that the main theorem identifies our skein module with the state space of the CRS defect TQFT and therefore relies on the gluing maps and functoriality already established in the Carqueville-Runkel-Schaumann construction for arbitrary networks of line and point defects. Our contribution is the independent definition of the skein module via globalization of the graphical calculus and the proof that it coincides with the CRS state space when all labels are semisimple; we do not reprove the TQFT axioms. To clarify this reliance, we will revise the introduction and the statement of the main theorem (in §1) to explicitly reference the relevant theorems in CRS that guarantee the required gluing and functoriality. revision: yes

Circularity Check

0 steps flagged

Minor self-citation to overlapping-author CRS defect TQFT; isomorphism proven from independent skein definition

full rationale

The paper defines its defect skein module independently by globalizing the graphical calculus of module categories. It then proves (rather than assumes) an isomorphism to the state space of the prior CRS defect RT TQFT when labels are semisimple. The citation to Carqueville-Runkel-Schaumann overlaps in authorship but is to a separate prior construction whose gluing/functoriality properties are invoked as given; the current work supplies the matching proof for the skein side. No equation reduces the skein module to a fitted quantity or renames an input as output. This is a standard minor self-citation that does not make the central claim circular by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claim rests on the prior existence and properties of the Carqueville-Runkel-Schaumann defect TQFT and on standard properties of semisimple module categories and their graphical calculus; no new free parameters or invented entities are introduced in the abstract.

axioms (2)
  • domain assumption The defect TQFT of Carqueville-Runkel-Schaumann is well-defined on manifolds with line and point defects and satisfies the required functoriality and gluing axioms.
    Invoked to identify the skein module with the TQFT state space.
  • standard math Graphical calculus for module categories and functors extends globally to the skein module construction.
    Stated as the natural way the defect skein modules arise.

pith-pipeline@v0.9.1-grok · 5647 in / 1322 out tokens · 22056 ms · 2026-06-27T20:08:54.908782+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

41 extracted references · 34 canonical work pages · 14 internal anchors

  1. [1]

    Factorization homology of stratified spaces

    Factorization Homology of Stratified Spaces , author =. Selecta Mathematica , volume =. doi:10.1007/s00029-016-0242-1 , url =. arXiv , langid =:1409.0848 , pages =

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1007/s00029-016-0242-1

  2. [2]

    Integrating quantum groups over surfaces

    Integrating Quantum Groups over Surfaces , author =. Journal of Topology , volume =. doi:10.1112/topo.12072 , url =. arXiv , langid =:1501.04652 , pages =

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1112/topo.12072

  3. [3]

    Selecta Mathematica , volume =

    Skein Categories in Non-Semisimple Settings , author =. Selecta Mathematica , volume =. doi:10.1007/s00029-026-01143-z , url =. arXiv , langid =:2406.08956 , publisher =

    work page doi:10.1007/s00029-026-01143-z

  4. [4]

    Topology , volume =

    Topological Quantum Field Theories Derived from the Kauffman Bracket , author =. Topology , volume =. doi:10.1016/0040-9383(94)00051-4 , url =

    work page doi:10.1016/0040-9383(94)00051-4

  5. [5]

    doi:10.48550/arXiv.2505.14836 , url =

    Parabolic Skein Modules , author =. doi:10.48550/arXiv.2505.14836 , url =. arXiv , langid =:2505.14836 , primaryclass =

    work page doi:10.48550/arxiv.2505.14836

  6. [6]

    Compositio Mathematica , volume =

    On Dualizability of Braided Tensor Categories , author =. Compositio Mathematica , volume =. doi:10.1112/S0010437X20007630 , url =. arXiv , langid =:1804.07538 , pages =

    work page doi:10.1112/s0010437x20007630

  7. [7]

    Symmetry, Integrability and Geometry: Methods and Applications , eprint =

    Skein (3+1)-TQFTs from Non-Semisimple Ribbon Categories , author =. Symmetry, Integrability and Geometry: Methods and Applications , eprint =. doi:10.3842/SIGMA.2026.034 , url =

    work page doi:10.3842/sigma.2026.034 2026

  8. [8]

    arXiv , langid =:2302.04493 , publisher =

    Admissible Skein Modules , author =. arXiv , langid =:2302.04493 , publisher =

    arXiv

  9. [9]

    Communications in Mathematical Physics , volume =

    Orbifold Completion of 3-Categories , author =. Communications in Mathematical Physics , volume =. doi:10.1007/s00220-025-05434-y , url =. arXiv , langid =:2307.06485 , pages =

    work page doi:10.1007/s00220-025-05434-y

  10. [10]

    doi:10.48550/arXiv.2101.02482 , url =

    Orbifold Graph TQFTs , author =. doi:10.48550/arXiv.2101.02482 , url =. arXiv , keywords =:2101.02482 , primaryclass =

    work page doi:10.48550/arxiv.2101.02482

  11. [11]

    Advances in Mathematics , volume =

    3-Dimensional Defect TQFTs and Their Tricategories , author =. Advances in Mathematics , volume =. doi:10.1016/j.aim.2020.107024 , url =. arXiv , keywords =:1603.01171 , primaryclass =

    work page doi:10.1016/j.aim.2020.107024 2020

  12. [12]

    A systematic review into expert knowledge elicitation methods for emerging food and feed risk identification

    Excision of Skein Categories and Factorisation Homology , author =. Advances in Mathematics , volume =. doi:10.1016/j.aim.2022.108848 , url =. arXiv , langid =:1910.02630 , pages =

    work page doi:10.1016/j.aim.2022.108848 2022

  13. [13]

    Quantum Topology , volume =

    Line and Surface Defects in Reshetikhin-Turaev TQFT , author =. Quantum Topology , volume =. doi:10.4171/QT/121 , url =. arXiv , keywords =:1710.10214 , primaryclass =

    work page doi:10.4171/qt/121

  14. [14]

    Orbifolds of n-dimensional defect TQFTs

    Orbifolds of N-Dimensional Defect TQFTs , author =. Geometry & Topology , volume =. doi:10.2140/gt.2019.23.781 , url =. arXiv , keywords =:1705.06085 , primaryclass =

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.2140/gt.2019.23.781 2019

  15. [15]

    Theory and Applications of Categories , volume =

    Orbifolds of Reshetikhin-Turaev TQFTs , author =. Theory and Applications of Categories , volume =. doi:10.48550/arXiv.1809.01483 , url =. arXiv , keywords =:1809.01483 , primaryclass =

    work page doi:10.48550/arxiv.1809.01483

  16. [16]

    A categorical construction of 4D TQFTs

    Crane, Louis and Yetter, David , editor =. A Categorical Construction of 4d Topological Quantum Field Theories , booktitle =. doi:10.1142/9789812796387_0005 , url =. arXiv , isbn =:hep-th/9301062 , pages =

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1142/9789812796387_0005

  17. [17]

    , editor =

    Deligne, P. , editor =. Cat\'egories Tannakiennes , booktitle =. doi:10.1007/978-0-8176-4575-5_3 , url =

    work page doi:10.1007/978-0-8176-4575-5_3

  18. [18]

    Selecta Mathematica , volume =

    3-Dimensional TQFTs from Non-Semisimple Modular Categories , author =. Selecta Mathematica , volume =. arXiv , langid =:1912.02063 , doi =

    arXiv 1912

  19. [19]

    Tensor Categories , author =

  20. [20]

    Fusion categories and homotopy theory

    Fusion Categories and Homotopy Theory , author =. Quantum Topology , volume =. doi:10.4171/qt/6 , url =. arXiv , file =:0909.3140 , pages =

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.4171/qt/6

  21. [21]

    Kramers-Wannier duality from conformal defects

    Kramers-Wannier Duality from Conformal Defects , author =. Physical Review Letters , volume =. doi:10.1103/PhysRevLett.93.070601 , url =. arXiv , langid =:cond-mat/0404051 , pages =

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1103/physrevlett.93.070601

  22. [22]

    Topological symmetry in quantum field theory

    Topological Symmetry in Quantum Field Theory , author =. Quantum Topology , volume =. doi:10.4171/QT/223 , url =. arXiv , langid =:2209.07471 , pages =

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.4171/qt/223

  23. [23]

    Bicategories for boundary conditions and for surface defects in 3-d TFT

    Bicategories for Boundary Conditions and for Surface Defects in 3-d TFT , author =. Communications in Mathematical Physics , volume =. doi:10.1007/s00220-013-1723-0 , url =. arXiv , copyright =:1203.4568 , pages =

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1007/s00220-013-1723-0

  24. [24]

    Theory and Applications of Categories , volume =

    String-Net Models for Pivotal Bicategories , author =. Theory and Applications of Categories , volume =. arXiv , langid =:2302.01468 , pages =

    arXiv

  25. [25]

    doi:10.48550/arXiv.2601.03196 , url =

    HOMFLY Parabolic Restriction, Defect Skein Theory and the Turaev Coproduct , author =. doi:10.48550/arXiv.2601.03196 , url =. arXiv , keywords =:2601.03196 , primaryclass =

    work page doi:10.48550/arxiv.2601.03196

  26. [26]

    Generalized Global Symmetries

    Generalized Global Symmetries , author =. Journal of High Energy Physics , volume =. doi:10.1007/JHEP02(2015)172 , url =. arXiv , langid =:1412.5148 , primaryclass =

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1007/jhep02(2015)172 2015

  27. [27]

    Basic Concepts of Enriched Category Theory , author =

  28. [28]

    Bulletin of the Australian Mathematical Society , volume =

    Elementary Observations on 2-Categorical Limits , author =. Bulletin of the Australian Mathematical Society , volume =. doi:10.1017/S0004972700002781 , url =

    work page doi:10.1017/s0004972700002781

  29. [29]

    Communications in Mathematical Physics , volume =

    Domain Walls Between 3d Phases of Reshetikhin--Turaev TQFTs , author =. Communications in Mathematical Physics , volume =. doi:10.1007/s00220-022-04489-5 , url =. arXiv , langid =:2105.04613 , pages =

    work page doi:10.1007/s00220-022-04489-5

  30. [30]

    Tensor products of finitely cocomplete and abelian categories

    Tensor Products of Finitely Cocomplete and Abelian Categories , author =. Journal of Algebra , volume =. doi:10.1016/j.jalgebra.2013.08.015 , url =. arXiv , copyright =:1212.1545 , pages =

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1016/j.jalgebra.2013.08.015 2013

  31. [31]

    doi:10.1017/9781108778657 , url =

    (Co)End Calculus , author =. doi:10.1017/9781108778657 , url =. arXiv , isbn =:1501.02503 , publisher =

    work page doi:10.1017/9781108778657

  32. [32]

    Advances in Mathematics , volume =

    State Sum Models with Defects Based on Spherical Fusion Categories , author =. Advances in Mathematics , volume =. doi:10.1016/j.aim.2023.109177 , url =. arXiv , langid =:2205.06874 , pages =

    work page doi:10.1016/j.aim.2023.109177 2023

  33. [33]

    The blob complex

    The Blob Complex , author =. Geometry & Topology , volume =. doi:10.2140/gt.2012.16.1481 , url =. arXiv , keywords =:1009.5025 , primaryclass =

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.2140/gt.2012.16.1481 2012

  34. [34]

    Module categories, weak Hopf algebras and modular invariants

    Module Categories, Weak Hopf Algebras and Modular Invariants , author =. Transformation Groups , volume =. doi:10.1007/s00031-003-0515-6 , url =. arXiv , langid =:math/0111139 , pages =

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1007/s00031-003-0515-6

  35. [35]

    Kauffman bracket skein module of a connected sum of 3-manifolds

    Kauffman Bracket Skein Module of a Connected Sum of 3-Manifolds , author =. Manuscripta Mathematica , volume =. doi:10.1007/s002290050014 , url =. arXiv , langid =:math/9911120 , pages =

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1007/s002290050014

  36. [36]

    doi:10.48550/arXiv.2407.09302 , url =

    Excision for Spaces of Admissible Skeins , author =. doi:10.48550/arXiv.2407.09302 , url =. arXiv , keywords =:2407.09302 , primaryclass =

    work page doi:10.48550/arxiv.2407.09302

  37. [37]

    arXiv , langid =:2407.09302 , primaryclass =

    Excision for Spaces of Admissible Skeins , author =. arXiv , langid =:2407.09302 , primaryclass =

    arXiv

  38. [38]

    Communications in Mathematical Physics , volume =

    Ribbon Graphs and Their Invaraints Derived from Quantum Groups , author =. Communications in Mathematical Physics , volume =. doi:10.1007/BF02096491 , url =

    work page doi:10.1007/bf02096491

  39. [39]

    Traces on Module Categories over Fusion Categories

    Traces on Module Categories over Fusion Categories , author =. Journal of Algebra , volume =. doi:10.1016/j.jalgebra.2013.01.013 , url =. arXiv , langid =:1206.5716 , primaryclass =

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1016/j.jalgebra.2013.01.013 2013

  40. [40]

    doi:10.48550/arXiv.2108.13467 , url =

    On the Category of Boundary Values in the Extended Crane-Yetter TQFT , author =. doi:10.48550/arXiv.2108.13467 , url =. arXiv , school =:2108.13467 , primaryclass =

    work page doi:10.48550/arxiv.2108.13467

  41. [41]

    Quantum Invariants of Knots and 3-Manifolds , author =