Towards Higher Categories

Author: John C. Baez,J. Peter May

Publisher: Springer Science & Business Media

ISBN: 1441915249

Category: Mathematics

Page: 283

View: 8689

This IMA Volume in Mathematics and its Applications TOWARDS HIGHER CATEGORIES contains expository and research papers based on a highly successful IMA Summer Program on n-Categories: Foundations and Applications. We are grateful to all the participants for making this occasion a very productive and stimulating one. We would like to thank John C. Baez (Department of Mathematics, University of California Riverside) and J. Peter May (Department of Ma- ematics, University of Chicago) for their superb role as summer program organizers and editors of this volume. We take this opportunity to thank the National Science Foundation for its support of the IMA. Series Editors Fadil Santosa, Director of the IMA Markus Keel, Deputy Director of the IMA v PREFACE DEDICATED TO MAX KELLY, JUNE 5 1930 TO JANUARY 26 2007. This is not a proceedings of the 2004 conference “n-Categories: Fo- dations and Applications” that we organized and ran at the IMA during the two weeks June 7–18, 2004! We thank all the participants for helping make that a vibrant and inspiring occasion. We also thank the IMA sta? for a magni?cent job. There has been a great deal of work in higher c- egory theory since then, but we still feel that it is not yet time to o?er a volume devoted to the main topic of the conference.

Homotopy Theory of Higher Categories

From Segal Categories to n-Categories and Beyond

Author: Carlos Simpson

Publisher: Cambridge University Press

ISBN: 1139502190

Category: Mathematics

Page: N.A

View: 7406

The study of higher categories is attracting growing interest for its many applications in topology, algebraic geometry, mathematical physics and category theory. In this highly readable book, Carlos Simpson develops a full set of homotopical algebra techniques and proposes a working theory of higher categories. Starting with a cohesive overview of the many different approaches currently used by researchers, the author proceeds with a detailed exposition of one of the most widely used techniques: the construction of a Cartesian Quillen model structure for higher categories. The fully iterative construction applies to enrichment over any Cartesian model category, and yields model categories for weakly associative n-categories and Segal n-categories. A corollary is the construction of higher functor categories which fit together to form the (n+1)-category of n-categories. The approach uses Tamsamani's definition based on Segal's ideas, iterated as in Pelissier's thesis using modern techniques due to Barwick, Bergner, Lurie and others.

Higher Structures in Geometry and Physics

In Honor of Murray Gerstenhaber and Jim Stasheff

Author: Alberto S. Cattaneo,Anthony Giaquinto,Ping Xu

Publisher: Springer Science & Business Media

ISBN: 9780817647353

Category: Mathematics

Page: 362

View: 7506

This book is centered around higher algebraic structures stemming from the work of Murray Gerstenhaber and Jim Stasheff that are now ubiquitous in various areas of mathematics— such as algebra, algebraic topology, differential geometry, algebraic geometry, mathematical physics— and in theoretical physics such as quantum field theory and string theory. These higher algebraic structures provide a common language essential in the study of deformation quantization, theory of algebroids and groupoids, symplectic field theory, and much more. Each contribution in this volume expands on the ideas of Gerstenhaber and Stasheff. The volume is intended for post-graduate students, mathematical and theoretical physicists, and mathematicians interested in higher structures.

Mathematical Foundations of Quantum Field Theory and Perturbative String Theory

Author: Hisham Sati,Urs Schreiber

Publisher: American Mathematical Soc.

ISBN: 0821851950

Category: Mathematics

Page: 354

View: 7368

Conceptual progress in fundamental theoretical physics is linked with the search for the suitable mathematical structures that model the physical systems. Quantum field theory (QFT) has proven to be a rich source of ideas for mathematics for a long time. However, fundamental questions such as ``What is a QFT?'' did not have satisfactory mathematical answers, especially on spaces with arbitrary topology, fundamental for the formulation of perturbative string theory. This book contains a collection of papers highlighting the mathematical foundations of QFT and its relevance to perturbative string theory as well as the deep techniques that have been emerging in the last few years. The papers are organized under three main chapters: Foundations for Quantum Field Theory, Quantization of Field Theories, and Two-Dimensional Quantum Field Theories. An introduction, written by the editors, provides an overview of the main underlying themes that bind together the papers in the volume.

Homotopy Type Theory

Univalent Foundations of Mathematics

Author: Univalent Foundations Program

Publisher: Univalent Foundations


Category: Homotopy theory

Page: 589

View: 9465

Homotopy type theory is a new branch of mathematics that combines aspects of several different fields in a surprising way. It is based on a recently discovered connection between homotopy theory and type theory. It touches on topics as seemingly distant as the homotopy groups of spheres, the algorithms for type checking, and the definition of weak $\infty$-groupoids. Homotopy type theory brings new ideas into the very foundation of mathematics. On the one hand, there is Voevodsky's subtle and beautiful univalence axiom. The univalence axiom implies, in particular, that isomorphic structures can be identified, a principle that mathematicians have been happily using on workdays, despite its incompatibility with the "official" doctrines of conventional foundations. On the other hand, we have higher inductive types, which provide direct, logical descriptions of some of the basic spaces and constructions of homotopy theory: spheres, cylinders, truncations, localizations, etc. Both ideas are impossible to capture directly in classical set-theoretic foundations, but when combined in homotopy type theory, they permit an entirely new kind of "logic of homotopy types". This suggests a new conception of foundations of mathematics, with intrinsic homotopical content, an "invariant" conception of the objects of mathematics - and convenient machine implementations, which can serve as a practical aid tothe working mathematician. This is the Univalent Foundations program. The present book is intended as a first systematic exposition of the basics of univalent foundations, and a collection of examples of this new style of reasoning - but without requiring the reader to know or learn any formal logic, or to use any computer proof assistant. We believe that univalent foundations will eventually become a viable alternative to set theory as the "implicit foundation" for the unformalized mathematics done by most mathematicians.

Analytic and Algebraic Geometry

Author: Anilatmaja Aryasomayajula,Indranil Biswas,Archana S. Morye,A. J. Parameswaran

Publisher: Springer

ISBN: 981105648X

Category: Mathematics

Page: 292

View: 1271

This volume is an outcome of the International conference held in Tata Institute of Fundamental Research and the University of Hyderabad. There are fifteen articles in this volume. The main purpose of the articles is to introduce recent and advanced techniques in the area of analytic and algebraic geometry. This volume attempts to give recent developments in the area to target mainly young researchers who are new to this area. Also, some research articles have been added to give examples of how to use these techniques to prove new results.

Category Theory in Context

Author: Emily Riehl

Publisher: Courier Dover Publications

ISBN: 0486820807

Category: Mathematics

Page: 272

View: 2186

Introduction to concepts of category theory — categories, functors, natural transformations, the Yoneda lemma, limits and colimits, adjunctions, monads — revisits a broad range of mathematical examples from the categorical perspective. 2016 edition.

Natural Locomotion in Fluids and on Surfaces

Swimming, Flying, and Sliding

Author: Stephen Childress,Anette Hosoi,William W. Schultz,Jane Wang

Publisher: Springer Science & Business Media

ISBN: 1461439973

Category: Mathematics

Page: 316

View: 6287

This volume developed from a Workshop on Natural Locomotion in Fluids and on Surfaces: Swimming, Flying, and Sliding which was held at the Institute for Mathematics and its Applications (IMA) at the University of Minnesota, from June 1-5, 2010. The subject matter ranged widely from observational data to theoretical mechanics, and reflected the broad scope of the workshop. In both the prepared presentations and in the informal discussions, the workshop engaged exchanges across disciplines and invited a lively interaction between modelers and observers. The articles in this volume were invited and fully refereed. They provide a representative if necessarily incomplete account of the field of natural locomotion during a period of rapid growth and expansion. The papers presented at the workshop, and the contributions to the present volume, can be roughly divided into those pertaining to swimming on the scale of marine organisms, swimming of microorganisms at low Reynolds numbers, animal flight, and sliding and other related examples of locomotion.

Nonlinear Conservation Laws and Applications

Author: Alberto Bressan,Gui-Qiang G. Chen,Marta Lewicka,Dehua Wang

Publisher: Springer Science & Business Media

ISBN: 9781441995544

Category: Mathematics

Page: 491

View: 7430

This volume contains the proceedings of the Summer Program on Nonlinear Conservation Laws and Applications held at the IMA on July 13--31, 2009. Hyperbolic conservation laws is a classical subject, which has experienced vigorous growth in recent years. The present collection provides a timely survey of the state of the art in this exciting field, and a comprehensive outlook on open problems. Contributions of more theoretical nature cover the following topics: global existence and uniqueness theory of one-dimensional systems, multidimensional conservation laws in several space variables and approximations of their solutions, mathematical analysis of fluid motion, stability and dynamics of viscous shock waves, singular limits for viscous systems, basic principles in the modeling of turbulent mixing, transonic flows past an obstacle and a fluid dynamic approach for isometric embedding in geometry, models of nonlinear elasticity, the Monge problem, and transport equations with rough coefficients. In addition, there are a number of papers devoted to applications. These include: models of blood flow, self-gravitating compressible fluids, granular flow, charge transport in fluids, and the modeling and control of traffic flow on networks.

Introduction to Algebraic and Constructive Quantum Field Theory

Author: John C. Baez,Irving E. Segal,Zhengfang Zhou

Publisher: Princeton University Press

ISBN: 1400862507

Category: Science

Page: 310

View: 3968

The authors present a rigorous treatment of the first principles of the algebraic and analytic core of quantum field theory. Their aim is to correlate modern mathematical theory with the explanation of the observed process of particle production and of particle-wave duality that heuristic quantum field theory provides. Many topics are treated here in book form for the first time, from the origins of complex structures to the quantization of tachyons and domains of dependence for quantized wave equations. This work begins with a comprehensive analysis, in a universal format, of the structure and characterization of free fields, which is illustrated by applications to specific fields. Nonlinear local functions of both free fields (or Wick products) and interacting fields are established mathematically in a way that is consistent with the basic physical constraints and practice. Among other topics discussed are functional integration, Fourier transforms in Hilbert space, and implementability of canonical transformations. The authors address readers interested in fundamental mathematical physics and who have at least the training of an entering graduate student. A series of lexicons connects the mathematical development with the underlying physical motivation or interpretation. The examples and problems illustrate the theory and relate it to the scientific literature. Originally published in 1992. The Princeton Legacy Library uses the latest print-on-demand technology to again make available previously out-of-print books from the distinguished backlist of Princeton University Press. These editions preserve the original texts of these important books while presenting them in durable paperback and hardcover editions. The goal of the Princeton Legacy Library is to vastly increase access to the rich scholarly heritage found in the thousands of books published by Princeton University Press since its founding in 1905.

Modeling of Soft Matter

Author: Maria-Carme T. Calderer,Eugene M. Terentjev

Publisher: Springer Science & Business Media

ISBN: 9780387321530

Category: Mathematics

Page: 250

View: 9930

This IMA Volume in Mathematics and its Applications MODELING OF SOFT MATTER contains papers presented at a very successful workshop with the same ti tle. The event, which was held on September 27-October 1, 2004, was an integral part of the 2004-2005 IMA Thematic Year on "Mathematics of Ma terials and Macromolecules: Multiple Scales, Disorder, and Singularities. " We would like to thank Maria-Carme T. Calderer (School of Mathematics, University of Minnesota) and Eugene M. Terentjev (Cavendish Laboratory, University of Cambridge) for their superb role as workshop organizers and editors of the proceedings. We take this opportunity to thank the National Science Foundation for its support of the IMA. Series Editors Douglas N. Arnold, Director of the IMA Arnd Scheel, Deputy Director of the IMA PREFACE The physics of soft matter in particular, focusing on such materials as complex fluids, liquid crystals, elastomers, soft ferroelectrics, foams, gels and particulate systems is an area of intense interest and contemporary study. Soft matter plays a role in a wide variety of important processes and application, as well as in living systems. For example, gel swelling is an essential part of many biological processes such as motility mecha nisms in bacteria and the transport and absorption of drugs. Ferroelectrics, liquid crystals, and elastomers are being used to design ever faster switch ing devices. Experiments of the last decade have provided a great deal of detailed information on structures and properties of soft matter.

Compatible Spatial Discretizations

Author: Douglas N. Arnold,Pavel B. Bochev,Richard B. Lehoucq,Roy A. Nicolaides,Mikhail Shashkov

Publisher: Springer Science & Business Media

ISBN: 0387380345

Category: Mathematics

Page: 247

View: 2756

The IMA Hot Topics workshop on compatible spatialdiscretizations was held in 2004. This volume contains original contributions based on the material presented there. A unique feature is the inclusion of work that is representative of the recent developments in compatible discretizations across a wide spectrum of disciplines in computational science. Abstracts and presentation slides from the workshop can be accessed on the internet.

Linear Algebra for Signal Processing

Author: Adam Bojanczyk,George Cybenko

Publisher: Springer Science & Business Media

ISBN: 9780387944913

Category: Technology & Engineering

Page: 184

View: 2536

Signal processing applications have burgeoned in the past decade. During the same time, signal processing techniques have matured rapidly and now include tools from many areas of mathematics, computer science, physics, and engineering. This trend will continue as many new signal processing applications are opening up in consumer products and communications systems. In particular, signal processing has been making increasingly sophisticated use of linear algebra on both theoretical and algorithmic fronts. This volume gives particular emphasis to exposing broader contexts of the signal processing problems so that the impact of algorithms and hardware can be better understood; it brings together the writings of signal processing engineers, computer engineers, and applied linear algebraists in an exchange of problems, theories, and techniques. This volume will be of interest to both applied mathematicians and engineers.

Linear Algebra, Markov Chains, and Queueing Models

Author: Carl D. Meyer,Robert J. Plemmons

Publisher: Springer Science & Business Media

ISBN: 146138351X

Category: Mathematics

Page: 294

View: 7924

This IMA Volume in Mathematics and its Applications LINEAR ALGEBRA, MARKOV CHAINS, AND QUEUEING MODELS is based on the proceedings of a workshop which was an integral part of the 1991-92 IMA program on "Applied Linear Algebra". We thank Carl Meyer and R.J. Plemmons for editing the proceedings. We also take this opportunity to thank the National Science Founda tion, whose financial support made the workshop possible. A vner Friedman Willard Miller, Jr. xi PREFACE This volume contains some of the lectures given at the workshop Lin ear Algebra, Markov Chains, and Queueing Models held January 13-17, 1992, as part of the Year of Applied Linear Algebra at the Institute for Mathematics and its Applications. Markov chains and queueing models play an increasingly important role in the understanding of complex systems such as computer, communi cation, and transportation systems. Linear algebra is an indispensable tool in such research, and this volume collects a selection of important papers in this area. The articles contained herein are representative of the underlying purpose of the workshop, which was to bring together practitioners and re searchers from the areas of linear algebra, numerical analysis, and queueing theory who share a common interest of analyzing and solving finite state Markov chains. The papers in this volume are grouped into three major categories-perturbation theory and error analysis, iterative methods, and applications regarding queueing models.

Time Series Analysis and Its Applications

With R Examples

Author: Robert H. Shumway,David S. Stoffer

Publisher: Springer

ISBN: 3319524526

Category: Mathematics

Page: 562

View: 2128

The fourth edition of this popular graduate textbook, like its predecessors, presents a balanced and comprehensive treatment of both time and frequency domain methods with accompanying theory. Numerous examples using nontrivial data illustrate solutions to problems such as discovering natural and anthropogenic climate change, evaluating pain perception experiments using functional magnetic resonance imaging, and monitoring a nuclear test ban treaty. The book is designed as a textbook for graduate level students in the physical, biological, and social sciences and as a graduate level text in statistics. Some parts may also serve as an undergraduate introductory course. Theory and methodology are separated to allow presentations on different levels. In addition to coverage of classical methods of time series regression, ARIMA models, spectral analysis and state-space models, the text includes modern developments including categorical time series analysis, multivariate spectral methods, long memory series, nonlinear models, resampling techniques, GARCH models, ARMAX models, stochastic volatility, wavelets, and Markov chain Monte Carlo integration methods. This edition includes R code for each numerical example in addition to Appendix R, which provides a reference for the data sets and R scripts used in the text in addition to a tutorial on basic R commands and R time series. An additional file is available on the book’s website for download, making all the data sets and scripts easy to load into R.

Random Discrete Structures

Author: David Aldous,Robin Pemantle

Publisher: Springer Science & Business Media

ISBN: 1461207193

Category: Mathematics

Page: 225

View: 6345

The articles in this volume present the state of the art in a variety of areas of discrete probability, including random walks on finite and infinite graphs, random trees, renewal sequences, Stein's method for normal approximation and Kohonen-type self-organizing maps. This volume also focuses on discrete probability and its connections with the theory of algorithms. Classical topics in discrete mathematics are represented as are expositions that condense and make readable some recent work on Markov chains, potential theory and the second moment method. This volume is suitable for mathematicians and students.

Amorphous Polymers and Non-Newtonian Fluids

Author: Constantine Dafermos,J.L. Ericksen,David Kinderlehrer

Publisher: Springer Science & Business Media

ISBN: 146121064X

Category: Science

Page: 202

View: 7542

This IMA Volume in Mathematics and its Applications AMORPHOUS POLYMERS AND NON-NEWTONIAN FLUIDS is in part the proceedings of a workshop which was an integral part of the 1984-85 IMA program on CONTINUUM PHYSICS AND PARTIAL DIFFERENTIAL EQUATIONS We are grateful to the Scientific Committee: Haim Brezis Constantine Dafermos Jerry Ericksen David Kinderlehrer for planning and implementing an exciting and stimulating year-long program. We espe cially thank the Program Organizers, Jerry Ericksen, David Kinderlehrer, Stephen Prager and Matthew Tirrell for organizing a workshop which brought together scientists and mathematicians in a variety of areas for a fruitful exchange of ideas. George R. Sell Hans Weinberger Preface Experiences with amorphous polymers have supplied much of the motivation for developing novel kinds of molecular theory, to try to deal with the more significant features of systems involving very large molecules with many degrees offreedom. Similarly, the observations of many unusual macroscopic phenomena has stimulated efforts to develop linear and nonlinear theories of viscoelasticity to describe them. In either event, we are confronted not with a well-established, specific set of equations, but with a variety of equations, conforming to a loose pattern and suggested by general kinds of reasoning. One challenge is to devise techniques for finding equations capable of delivering definite and reliable predictions. Related to this is the issue of discovering ways to better grasp the nature of solutions ofthose equations showing some promise.

Nonlinear Conservation Laws, Fluid Systems and Related Topics

Author: Gui-Qiang Chen

Publisher: World Scientific

ISBN: 9814273279

Category: Mathematics

Page: 390

View: 8362

This book is a collection of lecture notes on Nonlinear Conservation Laws, Fluid Systems and Related Topics delivered at 2007 Shanghai Mathematics Summer School held at Fudan University, China, by world's leading experts in the field. The volume comprises ªve chapters that cover a range of topics from mathematical theory and numerical approximation of both incompressible and compressible ªuid ªows, kinetic theory and conservation laws, to statistical theories for ªuid systems. Researchers and graduate students who want to work in this field will benefit from this essential reference as each chapter leads readers from the basics to the frontiers of the current research in these areas.

A Modern Introduction to Probability and Statistics

Understanding Why and How

Author: F.M. Dekking,C. Kraaikamp,H.P. Lopuhaä,L.E. Meester

Publisher: Springer Science & Business Media

ISBN: 1846281687

Category: Mathematics

Page: 488

View: 9222

Suitable for self study Use real examples and real data sets that will be familiar to the audience Introduction to the bootstrap is included – this is a modern method missing in many other books