Skip to main content Accessibility help
×
  1. Home
  2. Books
  3. Elements of ∞-Category Theory
  • Cited by 32
Publisher:
Cambridge University Press
Online publication date:
January 2022
Print publication year:
2022
Online ISBN:
9781108936880
DOI:
https://doi.org/10.1017/9781108936880
Subjects:
Mathematics (general), Mathematics, Logic, Categories and Sets, Geometry and Topology
Series:
Cambridge Studies in Advanced Mathematics (194)
Information

Book description

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.

Awards

Winner, 2023 PROSE Mathematics and Statistics Award, Association of American Publishers

Reviews

‘The book of Riehl and Verity is altogether a pedagogical introduction, a unified presentation and a foundation of higher category theory. The theory of ∞-cosmoi is an elegant way of organising and developing the subject. The extension of category theory to ∞-categories is by itself a miracle, vigorously presented in the book.’

André Joyal - Université du Québec à Montréal

‘Emily and Dom have done what many thought impossible: they have written an introductory text on a model-independent approach to higher category theory. This self-contained text is ideal for both end-users and architects of higher category theory. Every page is bursting at the seams with gorgeous insights and the refreshingly candid delight the authors take in their subject.’

Clark Barwick - University of Edinburgh

‘This remarkable book starts with the premise that it should be possible to study ∞-categories armed only with the tools of 2-category theory. It is the result of the authors’ decade-long collaboration, and they have poured into it all their experience, technical brilliance, and expository skill. I’m sure I’ll be turning to it for many years to come.’

Steve Lack - Macquarie University

Refine List

Actions for selected content:

Select all | Deselect all
  • View selected items
  • Export citations
  • Download PDF (zip)
  • Save to Kindle
  • Save to Dropbox
  • Save to Google Drive

Save Search

You can save your searches here and later view and run them again in "My saved searches".

Please provide a title, maximum of 40 characters.
Cancel
×

Contents

Page 1 of 2

Contents

Page 1 of 2

References

Metrics

Altmetric attention score

Full text views

Total number of HTML views: 0
Total number of PDF views: 0 *
Loading metrics...

Book summary page views

Total views: 0 *
Loading metrics...

* Views captured on Cambridge Core between #date#. This data will be updated every 24 hours.

Usage data cannot currently be displayed.

Accessibility standard: Unknown

Why this information is here

This section outlines the accessibility features of this content - including support for screen readers, full keyboard navigation and high-contrast display options. This may not be relevant for you.

Accessibility Information

Accessibility compliance for the PDF of this book is currently unknown and may be updated in the future.