This book presents the (to date) most general approach to combinatorial constructions of topological quantum field theories (TQFTs) in three dimensions. The authors describe extended TQFTs as double functors between two naturally defined double categories: one of topological nature, made of 3-manifolds with corners, the other of algebraic nature, made of linear categories, functors, vector spaces and maps. Atiyah's conventional notion of TQFTs as well as the notion of modular functor from axiomatic conformal field theory are unified in this concept. A large class of such extended modular catergory is constructed, assigning a double functor to every abelian modular category, which does not have to be semisimple.

View the abstract.

This monograph is devoted to monoidal categories and their connections with 3-dimensional topological field theories. Starting with basic definitions, it proceeds to the forefront of current research. Part 1 introduces monoidal categories and several of their classes, including rigid, pivotal, spherical, fusion, braided, and modular categories. It then presents deep theorems of Müger on the center of a pivotal fusion category. These theorems are proved in Part 2 using the theory of Hopf monads. In Part 3 the authors define the notion of a topological quantum field theory (TQFT) and construct a Turaev-Viro-type 3-dimensional state sum TQFT from a spherical fusion category. Lastly, in Part 4 this construction is extended to 3-manifolds with colored ribbon graphs, yielding a so-called graph TQFT (and, consequently, a 3-2-1 extended TQFT). The authors then prove the main result of the monograph: the state sum graph TQFT derived from any spherical fusion category is isomorphic to the Reshetikhin-Turaev surgery graph TQFT derived from the center of that category. The book is of interest to researchers and students studying topological field theory, monoidal categories, Hopf algebras and Hopf monads.

We investigate the relationship between the algebra of tensor categories and the topology of framed 3-manifolds. On the one hand, tensor categories with cer-tain algebraic properties determine topological invariants. We prove that fusion categories of nonzero global dimension are 3-dualizable, and therefore provide 3-dimensional 3-framed local field theories. We also show that all finite tensor cat-egories are 2-dualizable, and yield categorified 2-dimensional 3-framed local field theories. On the other hand, topological properties of 3-framed manifolds deter-mine algebraic equations among functors of tensor categories. We show that the 1-dimensional loop bordism, which exhibits a single full rotation, acts as the double dual autofunctor of a tensor category. We prove that the 2-dimensional belt-trick bordism, which unravels a double rotation, operates on any finite tensor category, and therefore supplies a trivialization of the quadruple dual. This approach pro-duces a quadruple-dual theorem for suitably dualizable objects in any symmetric monoidal 3-category. There is furthermore a correspondence between algebraic structures on tensor categories and homotopy fixed point structures, which in turn provide structured field theories; we describe the expected connection between piv-otal tensor categories and combed fixed point structures, and between spherical tensor categories and oriented fixed point structures.

The technique of diagrammatic morphisms is an important ingredient in comprehending and visualizing certain types of categories with structure. It was widely used in this capacity in many areas of algebra, low-dimensional topology and physics. It was also applied to problems in classical and quantum information processing and logic. This volume contains articles based on talks at the Special Session, ``Diagrammatic Morphisms in Algebra, Category Theory, and Topology'', at the AMS Sectional Meeting in San Francisco. The articles describe recent achievements in several aspects of diagrammatic morphisms and their applications. Some of them contain detailed expositions on various diagrammatic techniques. The introductory article by D. Yetter is a thorough account of the subject in a historical perspective.

The articles highlight the latest advances and further research directions in a variety of subjects related to tensor categories and Hopf algebras. Primary topics discussed in the text include the classification of Hopf algebras, structures and actions of Hopf algebras, algebraic supergroups, representations of quantum groups, quasi-quantum groups, algebras in tensor categories, and the construction method of fusion categories.