Homotopy Type Theory: Univalent Foundations of Mathematics
Author:
Publisher: Univalent Foundations
Published:
Total Pages: 484
ISBN-13:
DOWNLOAD EBOOKPosts
Recent Advances in Homotopy Theory
Author: George William Whitehead
Publisher: Amer Mathematical Society
Published: 2007-03-29
Total Pages: 82
ISBN-13: 9780821841587
DOWNLOAD EBOOKAdvances in Homotopy Theory
Author: Ioan Mackenzie James
Publisher: Cambridge University Press
Published: 1989-12-07
Total Pages: 196
ISBN-13: 9780521379076
DOWNLOAD EBOOKThis volume records the lectures given at a conference to celebrate Professor Ioan James' 60th birthday.
Rational Homotopy Theory and Differential Forms
Author: Phillip Griffiths
Publisher: Springer Science & Business Media
Published: 2013-10-02
Total Pages: 228
ISBN-13: 1461484685
DOWNLOAD EBOOKThis completely revised and corrected version of the well-known Florence notes circulated by the authors together with E. Friedlander examines basic topology, emphasizing homotopy theory. Included is a discussion of Postnikov towers and rational homotopy theory. This is then followed by an in-depth look at differential forms and de Tham’s theorem on simplicial complexes. In addition, Sullivan’s results on computing the rational homotopy type from forms is presented. New to the Second Edition: *Fully-revised appendices including an expanded discussion of the Hirsch lemma *Presentation of a natural proof of a Serre spectral sequence result *Updated content throughout the book, reflecting advances in the area of homotopy theory With its modern approach and timely revisions, this second edition of Rational Homotopy Theory and Differential Forms will be a valuable resource for graduate students and researchers in algebraic topology, differential forms, and homotopy theory.
Cohomology Operations and Applications in Homotopy Theory
Author: Robert E. Mosher
Publisher: Courier Corporation
Published: 2008-01-01
Total Pages: 226
ISBN-13: 0486466647
DOWNLOAD EBOOKCohomology operations are at the center of a major area of activity in algebraic topology. This treatment explores the single most important variety of operations, the Steenrod squares. It constructs these operations, proves their major properties, and provides numerous applications, including several different techniques of homotopy theory useful for computation. 1968 edition.
Foundations of Stable Homotopy Theory
Author: David Barnes
Publisher: Cambridge University Press
Published: 2020-03-26
Total Pages: 432
ISBN-13: 1108672671
DOWNLOAD EBOOKThe beginning graduate student in homotopy theory is confronted with a vast literature on spectra that is scattered across books, articles and decades. There is much folklore but very few easy entry points. This comprehensive introduction to stable homotopy theory changes that. It presents the foundations of the subject together in one place for the first time, from the motivating phenomena to the modern theory, at a level suitable for those with only a first course in algebraic topology. Starting from stable homotopy groups and (co)homology theories, the authors study the most important categories of spectra and the stable homotopy category, before moving on to computational aspects and more advanced topics such as monoidal structures, localisations and chromatic homotopy theory. The appendix containing essential facts on model categories, the numerous examples and the suggestions for further reading make this a friendly introduction to an often daunting subject.
Motivic Homotopy Theory
Author: Bjorn Ian Dundas
Publisher: Springer Science & Business Media
Published: 2007-07-11
Total Pages: 228
ISBN-13: 3540458972
DOWNLOAD EBOOKThis book is based on lectures given at a summer school on motivic homotopy theory at the Sophus Lie Centre in Nordfjordeid, Norway, in August 2002. Aimed at graduate students in algebraic topology and algebraic geometry, it contains background material from both of these fields, as well as the foundations of motivic homotopy theory. It will serve as a good introduction as well as a convenient reference for a broad group of mathematicians to this important and fascinating new subject. Vladimir Voevodsky is one of the founders of the theory and received the Fields medal for his work, and the other authors have all done important work in the subject.
From Categories to Homotopy Theory
Author: Birgit Richter
Publisher: Cambridge University Press
Published: 2020-04-16
Total Pages: 402
ISBN-13: 1108847625
DOWNLOAD EBOOKCategory theory provides structure for the mathematical world and is seen everywhere in modern mathematics. With this book, the author bridges the gap between pure category theory and its numerous applications in homotopy theory, providing the necessary background information to make the subject accessible to graduate students or researchers with a background in algebraic topology and algebra. The reader is first introduced to category theory, starting with basic definitions and concepts before progressing to more advanced themes. Concrete examples and exercises illustrate the topics, ranging from colimits to constructions such as the Day convolution product. Part II covers important applications of category theory, giving a thorough introduction to simplicial objects including an account of quasi-categories and Segal sets. Diagram categories play a central role throughout the book, giving rise to models of iterated loop spaces, and feature prominently in functor homology and homology of small categories.
A Course in Simple-Homotopy Theory
Author: M.M. Cohen
Publisher: Springer Science & Business Media
Published: 2012-12-06
Total Pages: 124
ISBN-13: 1468493728
DOWNLOAD EBOOKThis book grew out of courses which I taught at Cornell University and the University of Warwick during 1969 and 1970. I wrote it because of a strong belief that there should be readily available a semi-historical and geo metrically motivated exposition of J. H. C. Whitehead's beautiful theory of simple-homotopy types; that the best way to understand this theory is to know how and why it was built. This belief is buttressed by the fact that the major uses of, and advances in, the theory in recent times-for example, the s-cobordism theorem (discussed in §25), the use of the theory in surgery, its extension to non-compact complexes (discussed at the end of §6) and the proof of topological invariance (given in the Appendix)-have come from just such an understanding. A second reason for writing the book is pedagogical. This is an excellent subject for a topology student to "grow up" on. The interplay between geometry and algebra in topology, each enriching the other, is beautifully illustrated in simple-homotopy theory. The subject is accessible (as in the courses mentioned at the outset) to students who have had a good one semester course in algebraic topology. I have tried to write proofs which meet the needs of such students. (When a proof was omitted and left as an exercise, it was done with the welfare of the student in mind. He should do such exercises zealously.
Simplicial Homotopy Theory
Author: Paul G. Goerss
Publisher: Birkhäuser
Published: 2012-12-06
Total Pages: 520
ISBN-13: 3034887078
DOWNLOAD EBOOKSince the beginning of the modern era of algebraic topology, simplicial methods have been used systematically and effectively for both computation and basic theory. With the development of Quillen's concept of a closed model category and, in particular, a simplicial model category, this collection of methods has become the primary way to describe non-abelian homological algebra and to address homotopy-theoretical issues in a variety of fields, including algebraic K-theory. This book supplies a modern exposition of these ideas, emphasizing model category theoretical techniques. Discussed here are the homotopy theory of simplicial sets, and other basic topics such as simplicial groups, Postnikov towers, and bisimplicial sets. The more advanced material includes homotopy limits and colimits, localization with respect to a map and with respect to a homology theory, cosimplicial spaces, and homotopy coherence. Interspersed throughout are many results and ideas well-known to experts, but uncollected in the literature. Intended for second-year graduate students and beyond, this book introduces many of the basic tools of modern homotopy theory. An extensive background in topology is not assumed.
