Complicial Sets Characterising The Simplicial Nerves Of Strict Omega Categories
DOWNLOAD
Download Complicial Sets Characterising The Simplicial Nerves Of Strict Omega Categories PDF/ePub or read online books in Mobi eBooks. Click Download or Read Online button to get Complicial Sets Characterising The Simplicial Nerves Of Strict Omega Categories book now. This website allows unlimited access to, at the time of writing, more than 1.5 million titles, including hundreds of thousands of titles in various foreign languages. If the content not found or just blank you must refresh this page
Complicial Sets Characterising The Simplicial Nerves Of Strict Omega Categories
DOWNLOAD
Author : Dominic Verity
language : en
Publisher: American Mathematical Soc.
Release Date : 2008
Complicial Sets Characterising The Simplicial Nerves Of Strict Omega Categories written by Dominic Verity and has been published by American Mathematical Soc. this book supported file pdf, txt, epub, kindle and other format this book has been release on 2008 with Mathematics categories.
The primary purpose of this work is to characterise strict $\omega$-categories as simplicial sets with structure. The author proves the Street-Roberts conjecture in the form formulated by Ross Street in his work on Orientals, which states that they are exactly the ``complicial sets'' defined and named by John Roberts in his handwritten notes of that title (circa 1978). On the way the author substantially develops Roberts' theory of complicial sets itself and makes contributions to Street's theory of parity complexes. In particular, he studies a new monoidal closed structure on the category of complicial sets which he shows to be the appropriate generalisation of the (lax) Gray tensor product of 2-categories to this context. Under Street's $\omega$-categorical nerve construction, which the author shows to be an equivalence, this tensor product coincides with those of Steiner, Crans and others.
Towards Higher Categories
DOWNLOAD
Author : John C. Baez
language : en
Publisher: Springer Science & Business Media
Release Date : 2009-09-24
Towards Higher Categories written by John C. Baez and has been published by Springer Science & Business Media this book supported file pdf, txt, epub, kindle and other format this book has been release on 2009-09-24 with Algebra categories.
The purpose of this book is to give background for those who would like to delve into some higher category theory. It is not a primer on higher category theory itself. It begins with a paper by John Baez and Michael Shulman which explores informally, by analogy and direct connection, how cohomology and other tools of algebraic topology are seen through the eyes of n-category theory. The idea is to give some of the motivations behind this subject. There are then two survey articles, by Julie Bergner and Simona Paoli, about (infinity,1) categories and about the algebraic modelling of homotopy n-types. These are areas that are particularly well understood, and where a fully integrated theory exists. The main focus of the book is on the richness to be found in the theory of bicategories, which gives the essential starting point towards the understanding of higher categorical structures. An article by Stephen Lack gives a thorough, but informal, guide to this theory. A paper by Larry Breen on the theory of gerbes shows how such categorical structures appear in differential geometry. This book is dedicated to Max Kelly, the founder of the Australian school of category theory, and an historical paper by Ross Street describes its development.
Elements Of Category Theory
DOWNLOAD
Author : Emily Riehl
language : en
Publisher: Cambridge University Press
Release Date : 2022-02-10
Elements Of Category Theory written by Emily Riehl and has been published by Cambridge University Press this book supported file pdf, txt, epub, kindle and other format this book has been release on 2022-02-10 with Mathematics categories.
This book develops the theory of infinite-dimensional categories by studying the universe, or ∞-cosmos, in which they live.
Model Categories And Their Localizations
DOWNLOAD
Author : Philip S. Hirschhorn
language : en
Publisher: American Mathematical Soc.
Release Date : 2003
Model Categories And Their Localizations written by Philip S. Hirschhorn and has been published by American Mathematical Soc. this book supported file pdf, txt, epub, kindle and other format this book has been release on 2003 with Mathematics categories.
The aim of this book is to explain modern homotopy theory in a manner accessible to graduate students yet structured so that experts can skip over numerous linear developments to quickly reach the topics of their interest. Homotopy theory arises from choosing a class of maps, called weak equivalences, and then passing to the homotopy category by localizing with respect to the weak equivalences, i.e., by creating a new category in which the weak equivalences are isomorphisms. Quillen defined a model category to be a category together with a class of weak equivalences and additional structure useful for describing the homotopy category in terms of the original category. This allows you to make constructions analogous to those used to study the homotopy theory of topological spaces. A model category has a class of maps called weak equivalences plus two other classes of maps, called cofibrations and fibrations. Quillen's axioms ensure that the homotopy category exists and that the cofibrations and fibrations have extension and lifting properties similar to those of cofibration and fibration maps of topological spaces. During the past several decades the language of model categories has become standard in many areas of algebraic topology, and it is increasingly being used in other fields where homotopy theoretic ideas are becoming important, including modern algebraic $K$-theory and algebraic geometry. All these subjects and more are discussed in the book, beginning with the basic definitions and giving complete arguments in order to make the motivations and proofs accessible to the novice. The book is intended for graduate students and research mathematicians working in homotopy theory and related areas.
Twenty Five Years Of Constructive Type Theory
DOWNLOAD
Author : Giovanni Sambin
language : en
Publisher: Clarendon Press
Release Date : 1998-10-15
Twenty Five Years Of Constructive Type Theory written by Giovanni Sambin and has been published by Clarendon Press this book supported file pdf, txt, epub, kindle and other format this book has been release on 1998-10-15 with Mathematics categories.
Per Martin-Löf's work on the development of constructive type theory has been of huge significance in the fields of logic and the foundations of mathematics. It is also of broader philosophical significance, and has important applications in areas such as computing science and linguistics. This volume draws together contributions from researchers whose work builds on the theory developed by Martin-Löf over the last twenty-five years. As well as celebrating the anniversary of the birth of the subject it covers many of the diverse fields which are now influenced by type theory. It is an invaluable record of areas of current activity, but also contains contributions from N. G. de Bruijn and William Tait, both important figures in the early development of the subject. Also published for the first time is one of Per Martin-Löf's earliest papers.
Simplicial Homotopy Theory
DOWNLOAD
Author : Paul Gregory Goerss
language : en
Publisher: Springer Science & Business Media
Release Date : 1999
Simplicial Homotopy Theory written by Paul Gregory Goerss and has been published by Springer Science & Business Media this book supported file pdf, txt, epub, kindle and other format this book has been release on 1999 with Mathematics categories.
Since 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.
Higher Operads Higher Categories
DOWNLOAD
Author : Tom Leinster
language : en
Publisher: Cambridge University Press
Release Date : 2004-07-22
Higher Operads Higher Categories written by Tom Leinster and has been published by Cambridge University Press this book supported file pdf, txt, epub, kindle and other format this book has been release on 2004-07-22 with Mathematics categories.
Foundations of higher dimensional category theory for graduate students and researchers in mathematics and mathematical physics.
Categories In Algebra Geometry And Mathematical Physics
DOWNLOAD
Author : Alexei Davydov
language : en
Publisher: American Mathematical Soc.
Release Date : 2007
Categories In Algebra Geometry And Mathematical Physics written by Alexei Davydov and has been published by American Mathematical Soc. this book supported file pdf, txt, epub, kindle and other format this book has been release on 2007 with Mathematics categories.
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.
Handbook Of Categorical Algebra Volume 2 Categories And Structures
DOWNLOAD
Author : Francis Borceux
language : en
Publisher: Cambridge University Press
Release Date : 2008-04-24
Handbook Of Categorical Algebra Volume 2 Categories And Structures written by Francis Borceux and has been published by Cambridge University Press this book supported file pdf, txt, epub, kindle and other format this book has been release on 2008-04-24 with Mathematics categories.
The second volume, which assumes familiarity with the material in the first, introduces important classes of categories that have played a fundamental role in the subject's development and applications. In addition, after several chapters discussing specific categories, the book develops all the major concepts concerning Benabou's ideas of fibered categories.
Birationally Rigid Fano Threefold Hypersurfaces
DOWNLOAD
Author : Ivan Cheltsov
language : en
Publisher: American Mathematical Soc.
Release Date : 2017-02-20
Birationally Rigid Fano Threefold Hypersurfaces written by Ivan Cheltsov and has been published by American Mathematical Soc. this book supported file pdf, txt, epub, kindle and other format this book has been release on 2017-02-20 with Mathematics categories.
The authors prove that every quasi-smooth weighted Fano threefold hypersurface in the 95 families of Fletcher and Reid is birationally rigid.