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.
Recommendations
Cites work
- scientific article; zbMATH DE number 4088515 (Why is no real title available?)
- scientific article; zbMATH DE number 1303764 (Why is no real title available?)
- scientific article; zbMATH DE number 1348794 (Why is no real title available?)
- scientific article; zbMATH DE number 647417 (Why is no real title available?)
- scientific article; zbMATH DE number 711255 (Why is no real title available?)
- scientific article; zbMATH DE number 1086708 (Why is no real title available?)
- scientific article; zbMATH DE number 1113397 (Why is no real title available?)
- scientific article; zbMATH DE number 1156704 (Why is no real title available?)
- scientific article; zbMATH DE number 885014 (Why is no real title available?)
- 2-categories and 2-knots
- 2-tangles
- A combinatorial description of knotted surfaces and their isotopies
- Braided compact closed categories with applications to low dimensional topology
- Four-dimensional topological quantum field theory, Hopf categories, and the canonical bases
- Generalized centers of braided and sylleptic monoidal 2-categories
- Higher dimensional algebra. I: Braided monoidal 2-categories
- Higher-dimensional algebra and topological quantum field theory
- Higher-dimensional algebra. II: 2-Hilbert spaces
- Higher-dimensional algebra. III: \(n\)-categories and the algebra of opetopes
- Monoidal bicategories and Hopf algebroids
- OPERATOR INVARIANTS OF TANGLES, ANDR-MATRICES
- Ribbon graphs and their invariants derived from quantum groups
- Spherical 2-categories and 4-manifold invariants
- The geometry of tensor calculus. I
- Tortile tensor categories
Cited in
(26)- scientific article; zbMATH DE number 6990159 (Why is no real title available?)
- Braided monoidal 2-categories and Manin-Schechtman higher braid groups
- scientific article; zbMATH DE number 218194 (Why is no real title available?)
- Infinitesimal 2-braidings and differential crossed modules
- Quandle cohomology and state-sum invariants of knotted curves and surfaces
- Loop spaces, and coherence for monoidal and braided monoidal bicategories
- Spherical 2-categories and 4-manifold invariants
- 2-categories and 2-knots
- Gray categories with duals and their diagrams
- State-sum invariants of knotted curves and surfaces from quandle cohomology
- The Hecke bicategory
- An Australian conspectus of higher categories
- Inner products of 2-representations
- Computations of quandle cocycle invariants of knotted curves and surfaces
- Tortile Yang-Baxter operators for crossed group-categories
- An invariant of link cobordisms from Khovanov homology
- Structures and diagrammatics of four dimensional topological lattice field theories
- An \(\omega\)-category with all duals is an \(\omega\)-groupoid
- Self-adjunctions and matrices.
- Double braidings, twists and tangle invariants
- Knot homology via derived categories of coherent sheaves. I: The \(\mathfrak{sl}(2)\)-case
- An invariant of tangle cobordisms
- On 4-dimensional 2-handlebodies and 3-manifolds
- The structure of first-order causality
- Invariants of 4-manifolds from Khovanov-Rozansky link homology
- Braided compact closed categories with applications to low dimensional topology
This page was built for publication: Higher-dimensional algebra. IV: 2-tangles.
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1421391)
