Category theory has become the universal language of modern mathematics. This book is a collection of articles applying methods of category theory to the areas of algebra, geometry, and mathematical physics. Among others, this book contains articles on higher categories and their applications and on homotopy theoretic methods. The reader can learn about the exciting new interactions of category theory with very traditional mathematical disciplines.

View the abstract.

This volume contains the proceedings of the CATS4 Conference on Higher Categorical Structures and their Interactions with Algebraic Geometry, Algebraic Topology and Algebra, held from July 2-7, 2012, at CIRM in Luminy, France. Over the past several years, the CATS conference series has brought together top level researchers from around the world interested in relative and higher category theory and its applications to classical mathematical domains. Included in this volume is a collection of articles covering the applications of categories and stacks to geometry, topology and algebra. Techniques such as localization, model categories, simplicial objects, sheaves of categories, mapping stacks, dg structures, hereditary categories, and derived stacks, are applied to give new insight on cluster algebra, Lagrangians, trace theories, loop spaces, structured surfaces, stability, ind-coherent complexes and 1-affineness showing up in geometric Langlands, branching out to many related topics along the way.

"The old logic put thought in fetters, while the new logic gives it wings." For the past century, philosophers working in the tradition of Bertrand Russell - who promised to revolutionise philosophy by introducing the 'new logic' of Frege and Peano - have employed predicate logic as their formal language of choice. In this book, Dr David Corfield presents a comparable revolution with a newly emerging logic - modal homotopy type theory. Homotopy type theory has recently been developed as a new foundational language for mathematics, with a strong philosophical pedigree. Modal Homotopy Type Theory: The Prospect of a New Logic for Philosophy offers an introduction to this new language and its modal extension, illustrated through innovative applications of the calculus to language, metaphysics, and mathematics. The chapters build up to the full language in stages, right up to the application of modal homotopy type theory to current geometry. From a discussion of the distinction between objects and events, the intrinsic treatment of structure, the conception of modality as a form of general variation to the representation of constructions in modern geometry, we see how varied the applications of this powerful new language can be.

No scientific theory has caused more puzzlement and confusion than quantum theory. Physics is supposed to help us to understand the world, but quantum theory makes it seem a very strange place. This book is about how mathematical innovation can help us gain deeper insight into the structure of the physical world. Chapters by top researchers in the mathematical foundations of physics explore new ideas, especially novel mathematical concepts at the cutting edge of future physics. These creative developments in mathematics may catalyze the advances that enable us to understand our current physical theories, especially quantum theory. The authors bring diverse perspectives, unified only by the attempt to introduce fresh concepts that will open up new vistas in our understanding of future physics.

Bridge the gap between category theory and its applications in homotopy theory with this guide for graduate students and researchers.

This book collects the proceedings of the Algebra, Geometry and Mathematical Physics Conference, held at the University of Haute Alsace, France, October 2011. Organized in the four areas of algebra, geometry, dynamical symmetries and conservation laws and mathematical physics and applications, the book covers deformation theory and quantization; Hom-algebras and n-ary algebraic structures; Hopf algebra, integrable systems and related math structures; jet theory and Weil bundles; Lie theory and applications; non-commutative and Lie algebra and more. The papers explore the interplay between research in contemporary mathematics and physics concerned with generalizations of the main structures of Lie theory aimed at quantization and discrete and non-commutative extensions of differential calculus and geometry, non-associative structures, actions of groups and semi-groups, non-commutative dynamics, non-commutative geometry and applications in physics and beyond. The book benefits a broad audience of researchers and advanced students.

Derived algebraic geometry is a far-reaching generalization of algebraic geometry. It has found numerous applications in other parts of mathematics, most prominently in representation theory. This volume develops deformation theory, Lie theory and the theory of algebroids in the context of derived algebraic geometry. To that end, it introduces the notion of inf-scheme, which is an infinitesimal deformation of a scheme and studies ind-coherent sheaves on such. As an application of the general theory, the six-functor formalism for D-modules in derived geometry is obtained. This volume consists of two parts. The first part introduces the notion of ind-scheme and extends the theory of ind-coherent sheaves to inf-schemes, obtaining the theory of D-modules as an application. The second part establishes the equivalence between formal Lie group(oids) and Lie algebr(oids) in the category of ind-coherent sheaves. This equivalence gives a vast generalization of the equivalence between Lie algebras and formal moduli problems. This theory is applied to study natural filtrations in formal derived geometry generalizing the Hodge filtration.

This book contains the proceedings of the Special Session, Geometric Methods in Mathematical Physics, held at the joint AMS-CMS meeting in Vancouver in August 1993. The papers collected here contain a number of new results in differential geometry and its applications to physics. The major themes include black holes, singularities, censorship, the Einstein field equations, geodesics, index theory, submanifolds, CR-structures, and space-time symmetries. In addition, there are papers on Yang-Mills fields, geometric techniques in control theory, and equilibria. Containing new results by established researchers in the field, this book provides a look at developments in this exciting area of research.

Quantum groups are not groups at all, but special kinds of Hopf algebras of which the most important are closely related to Lie groups and play a central role in the statistical and wave mechanics of Baxter and Yang. Those occurring physically can be studied as essentially algebraic and closely related to the deformation theory of algebras (commutative, Lie, Hopf, and so on). One of the oldest forms of algebraic quantization amounts to the study of deformations of a commutative algebra A (of classical observables) to a noncommutative algebra A*h (of operators) with the infinitesimal deformation given by a Poisson bracket on the original algebra A. This volume grew out of an AMS--IMS--SIAM Joint Summer Research Conference, held in June 1990 at the University of Massachusetts at Amherst. The conference brought together leading researchers in the several areas mentioned and in areas such as ``q special functions'', which have their origins in the last century but whose relevance to modern physics has only recently been understood. Among the advances taking place during the conference was Majid's reconstruction theorem for Drinfel$'$d's quasi-Hopf algebras. Readers will appreciate this snapshot of some of the latest developments in the mathematics of quantum groups and deformation theory.