Higher-Dimensional Algebra IV: 2-Tangles
Preprint
Abstract
Just as knots and links can be algebraically described as certain morphisms in the category of tangles in 3 dimensions, compact surfaces smoothly embedded in R^4 can be described as certain 2-morphisms in the 2-category of `2-tangles in 4 dimensions'. Using the work of Carter, Rieger and Saito, we prove that this 2-category is the `free semistrict braided monoidal 2-category with duals on one unframed self-dual object'. By this universal property, any unframed self-dual object in a braided monoidal 2-category with duals determines an invariant of 2-tangles in 4 dimensions.Keywords
All Related Versions
This publication has 16 references indexed in Scilit:
- Spherical 2-Categories and 4-Manifold InvariantsAdvances in Mathematics, 1999
- Generalized Centers of Braided and Sylleptic Monoidal 2-CategoriesAdvances in Mathematics, 1998
- Higher-Dimensional Algebra III.n-Categories and the Algebra of OpetopesAdvances in Mathematics, 1998
- Monoidal Bicategories and Hopf AlgebroidsAdvances in Mathematics, 1997
- Higher-Dimensional Algebra II. 2-Hilbert SpacesAdvances in Mathematics, 1997
- A Combinatorial Description of Knotted Surfaces and Their IsotopiesAdvances in Mathematics, 1997
- Tortile tensor categoriesJournal of Pure and Applied Algebra, 1994
- The geometry of tensor calculus, IAdvances in Mathematics, 1991
- Ribbon graphs and their invaraints derived from quantum groupsCommunications in Mathematical Physics, 1990
- Braided compact closed categories with applications to low dimensional topologyAdvances in Mathematics, 1989