Basic Concepts of Enriched Category Theory
Author | : Gregory Maxwell Kelly |
Publisher | : CUP Archive |
Total Pages | : 260 |
Release | : 1982-02-18 |
Genre | : Mathematics |
ISBN | : 9780521287029 |
Download Basic Concepts Of Enriched Category Theory full books in PDF, epub, and Kindle. Read online free Basic Concepts Of Enriched Category Theory ebook anywhere anytime directly on your device. Fast Download speed and no annoying ads. We cannot guarantee that every ebooks is available!
Author | : Gregory Maxwell Kelly |
Publisher | : CUP Archive |
Total Pages | : 260 |
Release | : 1982-02-18 |
Genre | : Mathematics |
ISBN | : 9780521287029 |
Author | : Emily Riehl |
Publisher | : Cambridge University Press |
Total Pages | : 371 |
Release | : 2014-05-26 |
Genre | : Mathematics |
ISBN | : 1139952633 |
This book develops abstract homotopy theory from the categorical perspective with a particular focus on examples. Part I discusses two competing perspectives by which one typically first encounters homotopy (co)limits: either as derived functors definable when the appropriate diagram categories admit a compatible model structure, or through particular formulae that give the right notion in certain examples. Emily Riehl unifies these seemingly rival perspectives and demonstrates that model structures on diagram categories are irrelevant. Homotopy (co)limits are explained to be a special case of weighted (co)limits, a foundational topic in enriched category theory. In Part II, Riehl further examines this topic, separating categorical arguments from homotopical ones. Part III treats the most ubiquitous axiomatic framework for homotopy theory - Quillen's model categories. Here, Riehl simplifies familiar model categorical lemmas and definitions by focusing on weak factorization systems. Part IV introduces quasi-categories and homotopy coherence.
Author | : Tom Leinster |
Publisher | : Cambridge University Press |
Total Pages | : 193 |
Release | : 2014-07-24 |
Genre | : Mathematics |
ISBN | : 1107044243 |
A short introduction ideal for students learning category theory for the first time.
Author | : Emily Riehl |
Publisher | : Cambridge University Press |
Total Pages | : 782 |
Release | : 2022-02-10 |
Genre | : Mathematics |
ISBN | : 1108952194 |
The language of ∞-categories provides an insightful new way of expressing many results in higher-dimensional mathematics but can be challenging for the uninitiated. To explain what exactly an ∞-category is requires various technical models, raising the question of how they might be compared. To overcome this, a model-independent approach is desired, so that theorems proven with any model would apply to them all. This text develops the theory of ∞-categories from first principles in a model-independent fashion using the axiomatic framework of an ∞-cosmos, the universe in which ∞-categories live as objects. An ∞-cosmos is a fertile setting for the formal category theory of ∞-categories, and in this way the foundational proofs in ∞-category theory closely resemble the classical foundations of ordinary category theory. Equipped with exercises and appendices with background material, this first introduction is meant for students and researchers who have a strong foundation in classical 1-category theory.
Author | : Eduardo J. Dubuc |
Publisher | : Springer |
Total Pages | : 190 |
Release | : 2006-11-15 |
Genre | : Mathematics |
ISBN | : 3540363076 |
The original purpose of this paper was to provide suitable enriched completions of small enriched categories.
Author | : Brendan Fong |
Publisher | : Cambridge University Press |
Total Pages | : 351 |
Release | : 2019-07-18 |
Genre | : Mathematics |
ISBN | : 1108582249 |
Category theory is unmatched in its ability to organize and layer abstractions and to find commonalities between structures of all sorts. No longer the exclusive preserve of pure mathematicians, it is now proving itself to be a powerful tool in science, informatics, and industry. By facilitating communication between communities and building rigorous bridges between disparate worlds, applied category theory has the potential to be a major organizing force. This book offers a self-contained tour of applied category theory. Each chapter follows a single thread motivated by a real-world application and discussed with category-theoretic tools. We see data migration as an adjoint functor, electrical circuits in terms of monoidal categories and operads, and collaborative design via enriched profunctors. All the relevant category theory, from simple to sophisticated, is introduced in an accessible way with many examples and exercises, making this an ideal guide even for those without experience of university-level mathematics.
Author | : Emily Riehl |
Publisher | : Courier Dover Publications |
Total Pages | : 273 |
Release | : 2017-03-09 |
Genre | : Mathematics |
ISBN | : 0486820807 |
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.
Author | : Birgit Richter |
Publisher | : Cambridge University Press |
Total Pages | : 402 |
Release | : 2020-04-16 |
Genre | : Mathematics |
ISBN | : 1108847625 |
Category 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.
Author | : Fosco Loregian |
Publisher | : Cambridge University Press |
Total Pages | : 331 |
Release | : 2021-07-22 |
Genre | : Mathematics |
ISBN | : 1108746128 |
This easy-to-cite handbook gives the first systematic treatment of the (co)end calculus in category theory and its applications.
Author | : John C. Baez |
Publisher | : Springer Science & Business Media |
Total Pages | : 292 |
Release | : 2009-09-24 |
Genre | : Algebra |
ISBN | : 1441915362 |
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.