A Handbook of Categorical Algebra, in three volumes, is a detailed account of everything a mathematician needs to know about category theory. Each volume is self-contained and is accessible to graduate students with a good background in mathematics. Volume 1 is devoted to general concepts. After introducing the terminology and proving the fundamental results concerning limits, adjoint functors and Kan extensions, the categories of fractions are studied in detail; special consideration is paid to the case of localizations. The remainder of the first volume studies various "refinements" of the fundamental concepts of category and functor.

Keith Devlin. You know him. You've read his columns in MAA Online, you've heard him on the radio, and you've seen his popular mathematics books. In between all those activities and his own research, he's been hard at work revising Sets, Functions and Logic, his standard-setting text that has smoothed the road to pure mathematics for legions of undergraduate students.

Now in its third edition, Devlin has fully reworked the book to reflect a new generation. The narrative is more lively and less textbook-like. Remarks and asides link the topics presented to the real world of students' experience. The chapter on complex numbers and the discussion of formal symbolic logic are gone in favor of more exercises, and a new introductory chapter on the nature of mathematics--one that motivates readers and sets the stage for the challenges that lie ahead.

Students crossing the bridge from calculus to higher mathematics need and deserve all the help they can get. Sets, Functions, and Logic, Third Edition is an affordable little book that all of your transition-course students not only can afford, but will actually read…and enjoy…and learn from.

About the Author

Dr. Keith Devlin is Executive Director of Stanford University's Center for the Study of Language and Information and a Consulting Professor of Mathematics at Stanford. He has written 23 books, one interactive book on CD-ROM, and over 70 published research articles. He is a Fellow of the American Association for the Advancement of Science, a World Economic Forum Fellow, and a former member of the Mathematical Sciences Education Board of the National Academy of Sciences,.

Dr. Devlin is also one of the world's leading popularizers of mathematics. Known as "The Math Guy" on NPR's Weekend Edition, he is a frequent contributor to other local and national radio and TV shows in the US and Britain, writes a monthly column for the Web journal MAA Online, and regularly writes on mathematics and computers for the British newspaper The Guardian.

Wondrous One Sheet Origami is a how-to book full of beautiful origami designs covering a wide range of folding levels from simple to high intermediate, with more emphasis on the latter. The book is meant for audiences 12 years of age and above, and children folding at higher than age level. Most of the designs are flat and suitable for mounting on cards or framing as gifts. Features * Richly illustrated full-color book with clear, crisp diagrams following international standard, and an abundance of photographs of finished models * Select designs hand-picked by the author based on social media responses * Most of the designs incorporate color-change, a technique showing both sides of paper for enhanced beauty

Finite geometry and combinatorics is the art of counting any phenomena that can be described by a diagram. Everyday life is full of applications; from telephones to compact disc players, from the transmission of confidential information to the codes on any item on supermarket shelves. This is a collection of thirty-five articles on covering topics such as finite projective spaces, generalized polygons, strongly regular graphs, diagram geometries and polar spaces. Included here are articles from many of the leading practitioners in the field including, for the first time, several distinguished Russian mathematicians. Many of the papers contain important new results and the growing use of computer algebra packages in this area is also demonstrated.

Essentials of Mathematical Thinking addresses the growing need to better comprehend mathematics today. Increasingly, our world is driven by mathematics in all aspects of life. The book is an excellent introduction to the world of mathematics for students not majoring in mathematical studies. The author has written this book in an enticing, rich manner that will engage students and introduce new paradigms of thought. Careful readers will develop critical thinking skills which will help them compete in today's world. The book explains: What goes behind a Google search algorithm How to calculate the odds in a lottery The value of Big Data How the nefarious Ponzi scheme operates Instructors will treasure the book for its ability to make the field of mathematics more accessible and alluring with relevant topics and helpful graphics. The author also encourages readers to see the beauty of mathematics and how it relates to their lives in meaningful ways.

We live in a world that is not quite "right." The central tenet of statistical inquiry is that Observation = Truth + Error because even the most careful of scientific investigations have always been bedeviled by uncertainty. Our attempts to measure things are plagued with small errors. Our attempts to understand our world are blocked by blunders. And, unfortunately, in some cases, people have been known to lie. In this long-awaited follow-up to his well-regarded bestseller, The Lady Tasting Tea, David Salsburg opens a door to the amazing widespread use of statistical methods by looking at historical examples of errors, blunders and lies from areas as diverse as archeology, law, economics, medicine, psychology, sociology, Biblical studies, history, and war-time espionage. In doing so, he shows how, upon closer statistical investigation, errors and blunders often lead to useful information. And how statistical methods have been used to uncover falsified data. Beginning with Edmund Halley's examination of the Transit of Venus and ending with a discussion of how many tanks Rommel had during the Second World War, the author invites the reader to come along on this easily accessible and fascinating journey of how to identify the nature of errors, minimize the effects of blunders, and figure out who the liars are.

This volume is comprised of the invited lectures given at the 14th British Combinatorial Conference. The lectures survey many topical areas of current research activity in combinatorics and its applications, and also provide a valuable overview of the subject, for both mathematicians and computer scientists.

Master math at your own pace
Does working with numbers often frustrate you? Do you need to brush up on your basic math skills? Do you feel math stands between you and your career goals, or a better grade at school?
Quick Arithmetic, Third Edition is the quickest and easiest way to teach yourself the basic math skills you need to advance on the job or in school. Using cartoons and a clear writing style, this practical guide provides a fresh start for learning or reviewing how to work with whole numbers, fractions, decimals, and percentages. The book's proven self-teaching approach allows you to work at your own pace and learn only the material you need. Previews and objectives at the beginning of each section help you determine your particular needs, while self-tests, practice problems, and a final exam let you measure your progress and reinforce what you've learned.
For anyone who has ever felt intimidated by a page of numbers, Quick Arithmetic, Third Edition has the answers

The Petersen graph occupies an important position in the development of several areas of modern graph theory because it often appears as a counter-example to important conjectures. In this account, the authors examine those areas, using the prominent role of the Petersen graph as a unifying feature. Topics covered include: vertex and edge colourability (including snarks), factors, flows, projective geometry, cages, hypohamiltonian graphs, and symmetry properties such as distance transitivity. The final chapter contains a mixture of other topics in which the Petersen graph has played its part. Undergraduate students should profit from reading this book as there are few prerequisite skills involved, and it could be used for a second course in graph theory. At the same time, the authors have also included a number of unsolved problems as well as topics of recent study. It should, therefore, also be useful as a reference for graph theorists.

This work is derived from the SERC "Logic for IT" Summer School Conference on Proof Theory held at Leeds University. The contributions come from acknowledged experts and comprise expository and research articles which form an invaluable introduction to proof theory aimed at both mathematicians and computer scientists.

Category theory and related topics of mathematics have been increasingly applied to computer science in recent years. This book contains selected papers from the London Mathematical Society Symposium on the subject which was held at the University of Durham. Participants at the conference were leading computer scientists and mathematicians working in the area and this volume reflects the excitement and importance of the meeting. All the papers have been refereed and represent some of the most important and current ideas. Hence this book will be essential to mathematicians and computer scientists working in the applications of category theory.

This book is intended as a reference for mathematicians working with homological dimensions in commutative algebra and as an introduction to Gorenstein dimensions for graduate students with an interest in the same. Any admirer of classics like the Auslander-Buchsbaum-Serre characterization of regular rings, and the Bass and Auslander-Buchsbaum formulas for injective and projective dimension of f.g. modules will be intrigued by this book's content.
Readers should be well-versed in commutative algebra and standard applications of homological methods. The framework is that of complexes, but all major results are restated for modules in traditional notation, and an appendix makes the proofs accessible for even the casual user of hyperhomological methods.

This volume contains nine invited papers that survey many areas of current research in combinatorics both on the theoretical and practical side. Several papers may be regarded as summarizing our present state of knowledge in a particular topic.

Numbers and other mathematical objects are exceptional in having no locations in space or time or relations of cause and effect. This makes it difficult to account for the possibility of the knowledge of such objects, leading many philosophers to embrace nominalism, the doctrine that there are no abstract entities, and to embark on ambitious projects for interpreting mathematics so as to preserve the subject while eliminating its objects. A Subject With No Object cuts through a host of technicalities that have obscured previous discussions of these projects, and presents clear, concise accounts, with minimal prerequisites, of a dozen strategies for nominalistic interpretation of mathematics, thus equipping the reader to evaluate each and to compare different ones. The authors also offer critical discussion, rare in the literature, of the aims and claims of nominalistic interpretation, suggesting that it is significant in a very different way from that usually assumed.

A self-contained introduction is given to J. Rickard's Morita theory for derived module categories and its recent applications in representation theory of finite groups. In particular, Brou 's conjecture is discussed, giving a structural explanation for relations between the p-modular character table of a finite group and that of its "p-local structure." The book is addressed to researchers or graduate students and can serve as material for a seminar. It surveys the current state of the field, and it also provides a "user's guide" to derived equivalences and tilting complexes. Results and proofs are presented in the generality needed for group theoretic applications.

The mathematical theory of ondelettes (wavelets) was developed by Yves Meyer and many collaborators about 10 years ago. It was designed for ap proximation of possibly irregular functions and surfaces and was successfully applied in data compression, turbulence analysis, image and signal process ing. Five years ago wavelet theory progressively appeared to be a power ful framework for nonparametric statistical problems. Efficient computa tional implementations are beginning to surface in this second lustrum of the nineties. This book brings together these three main streams of wavelet theory. It presents the theory, discusses approximations and gives a variety of statistical applications. It is the aim of this text to introduce the novice in this field into the various aspects of wavelets. Wavelets require a highly interactive computing interface. We present therefore all applications with software code from an interactive statistical computing environment. Readers interested in theory and construction of wavelets will find here in a condensed form results that are somewhat scattered around in the research literature. A practioner will be able to use wavelets via the available software code. We hope therefore to address both theory and practice with this book and thus help to construct bridges between the different groups of scientists. This te. xt grew out of a French-German cooperation (Seminaire Paris Berlin, Seminar Berlin-Paris). This seminar brings together theoretical and applied statisticians from Berlin and Paris. This work originates in the first of these seminars organized in Garchy, Burgundy in 1994."

People have always been interested in numbers, in particular the natural numbers. Of course, we all have an intuitive notion of what these numbers are. In the late 19th century mathematicians, such as Grassmann, Frege and Dedekind, gave definitions for these familiar objects. Since then the development of axiomatic schemes for arithmetic have played a fundamental role in a logical understanding of mathematics. There has been a need for some time for a monograph on the metamathematics of first-order arithmetic. The aim of the book by Hajek and Pudlak is to cover some of the most important results in the study of a first order theory of the natural numbers, called Peano arithmetic and its fragments (subtheories). The field is quite active, but only a small part of the results has been covered in monographs. This book is divided into three parts. In Part A, the authors develop parts of mathematics and logic in various fragments. Part B is devoted to incompleteness. Part C studies systems that have the induction schema restricted to bounded formulas (Bounded Arithmetic). One highlight of this section is the relation of provability to computational complexity. The study of formal systems for arithmetic is a prerequisite for understanding results such as Godel's theorems. This book is intended for those who want to learn more about such systems and who want to follow current research in the field. The book contains a bibliography of approximately 1000 items."

This book is a companion to A general topology workbook published by Birkhiiuser last year. In an ideal world the order of publication would have been reversed, for the notation and some of the results of the present book are used in the topology book and on the other hand (the reader may be assured) no topology is used here. Both books share the word Workbook in their titles. They are based on the principle that for at least some branches of mathematics a good way for a student to learn is to be presented with a clear statement of the definitions of the terms with which the subject is concerned and then to be faced with a collection of problems involving the terms just defined. In adopting this approach with my Dundee students of set theory and general topology I found it best not to differentiate too precisely between simple illustrative examples, easy exercises and results which in conventional textbooks would be labelled as Theorems.

Ideal spaces are a very general class of normed spaces of measurable functions, which includes e.g. Lebesgue and Orlicz spaces. Their most important application is in functional analysis in the theory of (usual and partial) integral and integro-differential equations. The book is a rather complete and self-contained introduction into the general theory of ideal spaces. Some emphasis is put on spaces of vector-valued functions and on the constructive viewpoint of the theory (without the axiom of choice). The reader should have basic knowledge in functional analysis and measure theory.

This book provides a definition of Green functors for a finite group G, and of modules over it, in terms of the category of finite G-sets. Some classical constructions, such as the associated categroy or algebra, have a natural interpretation in that framework. Many notions of ring theory can be extended to Green functors (opposite Green functor, bimodules, Morita theory, simple modules, centres, ...). There are moreover connections between Green functors for different groups, given by functors associated to bisets. Intended for researchers and students in representation theory of finite groups it requires only basic algebra and category theory, though knowledge of the classical examples of Mackey functors is probably preferable

This book constitutes the refereed proceedings of the 7th International Conference on Category Theory and Computer Science, CTCS'97, held in Santa Margheria Ligure, Italy, in September 1997.
Category theory attracts interest in the theoretical computer science community because of its ability to establish connections between different areas in computer science and mathematics and to provide a few generic principles for organizing mathematical theories. This book presents a selection of 15 revised full papers together with three invited contributions. The topics addressed include reasoning principles for types, rewriting, program semantics, and structuring of logical systems.

Happel presents an introduction to the use of triangulated categories in the study of representations of finit-dimensional algeras. In recent years representation theory has been an area of intense research and the author shows that derived categories of finite=dimensional algebras are a useful tool in studying tilting processes. Results on the structure of derived categories of hereditary algebras are used to investigate Dynkin algebras and iterated tilted algebras. The author shows how triangulated categories arise naturally in the study of Frobenius categories. The study of trivial extension algebras and repetitive algebras is then developed using the triangulated structure on the stable category of the algebra's module category. With a comprehensive reference section, algebraists and research students in this field will find this an indispensable account of the theory of finite-dimensional algebras.

Our much-valued mathematical knowledge rests on two supports: the logic of proof and the axioms from which those proofs begin. Naturalism in Mathematics investigates the status of the latter, the fundamental assumptions of mathematics. These were once held to be self-evident, but progress in work on the foundations of mathematics, especially in set theory, has rendered that comforting notion obsolete. Given that candidates for axiomatic status cannot be proved, what sorts of considerations can be offered for or against them? That is the central question addressed in this book. One answer is that mathematics aims to describe an objective world of mathematical objects, and that axiom candidates should be judged by their truth or falsity in that world. This promising view-realism-is assessed and finally rejected in favour of another-naturalism-which attends less to metaphysical considerations of objective truth and falsity, and more to practical considerations drawn from within mathematics itself. Penelope Maddy defines this naturalism, explains the motivation for it, and shows how it can be helpfully applied in the assessment of candidates for axiomatic status in set theory. Maddy's clear, original treatment of this fundamental issue is informed by current work in both philosophy and mathematics, and will be accessible and enlightening to readers from both disciplines.

The aim of this book is to present the mathematics underlying elementary statistical methods in as simple a manner as possible. These methods include independent and paired sample t-tests, analysis of variance, regression, and the analysis of covariance. The author's principle tool is the use of geometric ideas to provide more visual insight and to make the theory accessible to a wider audience than is usually possible.

This book provides a rapid introduction to topics in graph theory typically covered in a graduate course. The author sets out the main recent results in several areas of current research in graph theory. Topics covered include edge-colourings, symmetries of graphs, packing of graphs, and computational complexity. Professor Yap is able to lead the reader to the forefront of research and to describe some of the open problems in the field. The choice of material presented has arisen from courses given at the National University of Singapore and each chapter contains numerous examples and exercises for the reader.