Tortile tensor categories

A tortile tensor category is a braided tensor category in which every object A is equipped with a twist θA:A≅A and a compatible right dual (A∗,dA,eA). Given a category A we describe the free tortile tensor category FA on A by generators and relations. By observing that in any tortile tensor category, there are canonical isomorphisms (A⊗B)∗≅B∗⊗A∗,I∗≅I, and (non-canonical) isomorphisms A∗∗≅A, we show that FA is equivalent to the simpler RFA consisting of the reduced objects and reduced maps of FA. This equivalence will later be used to show that FA is equivalent to the category TʃA of double tangles labelled by A. To define TʃA we first consider a double knot, which may be thought of as a (tame) link with two “parallel” components, or as the boundary of a ribbon in 3-space. A knot with the same diagram as one of these components is called its underlying knot. We associate to each double knot an integral quantity called its twist number, and show that this together with an underlying knot completely determine (up to equivalence) the double knot. Thus to give a double knot is to give an ordinary knot and an integer. A tangle is a disjoint union of knots and of directed paths connecting two points on+ ∂([0, 1] ×P), where P is a Euclidean plane. A double tangle is a tangle with an integer attached to each of its connected components. Given a double tangle we label the points in its boundary by objects of A and its arcs by maps of A, and get what we call a double tangle labelled by A. Equivalence classes of these form a tortile tensor category T ʃ A. Because of the existence of an “inclusion” functor A → T ʃ A, there is by the freeness of FA a canonical strict tortile tensor functor FA → T ʃ A. Our main theorem asserts that this functor is an equivalence of tortile tensor categories, giving an explicit description of FA.

[1]  F. B. Fuller.  The writhing number of a space curve. , 1971, Proceedings of the National Academy of Sciences of the United States of America.

[2]  David N. Yetter,et al.  Coherence theorems via knot theory , 1992 .

[3]  G. M. Kelly,et al.  Coherence in closed categories , 1971 .

[4]  F. B. Fuller.  Decomposition of the linking number of a closed ribbon: A problem from molecular biology. , 1978, Proceedings of the National Academy of Sciences of the United States of America.

[5]  A. Joyal,et al.  The geometry of tensor calculus, I , 1991 .

[6]  G. M. Kelly,et al.  Coherence for compact closed categories , 1980 .

[7]  Saunders MacLane,et al.  Coherence for bicategories and indexed categories , 1985 .

[8]  David N. Yetter,et al.  Braided Compact Closed Categories with Applications to Low Dimensional Topology , 1989 .

[9]  G. M. Kelly.  An abstract approach to coherence , 1972 .

[10]  S. Lane.  Categories for the Working Mathematician , 1971 .

[11]  G. M. Kelly,et al.  Two-dimensional monad theory , 1989 .

[12]  Brian Day,et al.  Note on compact closed categories , 1977, Journal of the Australian Mathematical Society.

[13]  E. Artin.  The theory of braids. , 1950, American scientist.

[14]  R. Street,et al.  Review of the elements of 2-categories , 1974 .

[15]  G. M. Kelly.  Many-variable functorial calculus. I. , 1972 .

[16]  Ross Street,et al.  Braided Tensor Categories , 1993 .

[17]  James H. White.  Self-Linking and the Gauss Integral in Higher Dimensions , 1969 .

[18]  F. Crick.  Linking numbers and nucleosomes. , 1976, Proceedings of the National Academy of Sciences of the United States of America.

[19]  V. Turaev.  The Yang-Baxter equation and invariants of links , 1988 .

[20]  G. M. Kelly,et al.  Adjunctions whose counits are coequalizers, and presentations of finitary enriched monads , 1993 .

[21]  R. H. Crowell,et al.  Introduction to Knot Theory , 1977 .

[22]  Richard Brauer,et al.  On Algebras Which are Connected with the Semisimple Continuous Groups , 1937 .

[23]  S. Majid.  Representations, duals and quantum doubles of monoidal categories , 1991 .

[24]  G. M. Kelly,et al.  A generalization of the functorial calculus , 1966 .