Monoidal categories in, and linking, geometry and algebra

This is a report on aspects of the theory and use of monoidal categories. The first section introduces the main concepts through the example of the category of vector spaces. String notation is explained and shown to lead naturally to a link between knot theory and monoidal categories. The second section reviews the light thrown on aspects of representation theory by the machinery of monoidal category theory, such as braidings and convolution. The category theory of Mackey functors is reviewed in the third section. Some recent material and a conjecture concerning monoidal centres is included. The fourth and final section looks at ways in which monoidal categories are, and might, be used for new invariants of low-dimensional manifolds and for the field theory of theoretical physics.

💡 Research Summary

The paper provides a panoramic survey of how monoidal category theory serves as a bridge between geometry and algebra, organized into four substantive sections.

The opening section introduces the basic notions of a monoidal category—tensor product, unit object, associativity and unit constraints—through the concrete example of the category of vector spaces over a field. The author then adopts string (or diagrammatic) notation, representing objects as labeled wires and morphisms as boxes, which dramatically simplifies the composition of complex morphisms. By interpreting these strings as ribbons, the paper shows a natural correspondence with knot and braid diagrams: the braiding isomorphisms of a braided monoidal category become precisely the over‑ and under‑crossings of braid diagrams. Consequently, classical knot invariants such as the Jones polynomial arise from categorical traces in a braided setting, establishing a direct categorical origin for many low‑dimensional topological invariants.

The second section turns to representation theory. It explains how a braided (or more generally a ribbon) monoidal structure equips the category of representations of a quantum group with additional algebraic data. The tensor product of representations corresponds to the monoidal product, while the braiding encodes the R‑matrix. The author emphasizes convolution (or internal Hom) constructions: given two objects X and Y, the internal Hom