• Title Categorical Homotopy Theory
• Author(s) Emily Riehl
• Publisher: Cambridge University Press (May 26, 2014); eBook (Johns Hopkins University)
• Permission: From the Author: Thanks to a special arrangement with Cambridge University Press, I am also able to host a free PDF copy. This version is free to view and download for personal use only. Not for re-distribution, re-sale or use in derivative works.
• Hardcover/Paperback 372 pages
• eBook PDF
• Language: English
• ISBN-10/ASIN: 1107048451/B00J8LQS80
• ISBN-13: 978-1107048454
• Share This:  

Book Description

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.

• Emily Riehl is an American mathematician who has contributed to higher category theory and homotopy theory. She is also the author of Category Theory in Context.

• Amazon

• Category Theory
• Geometry and Topology
• Algebra, Abstract Algebra, and Linear Algebra, etc.
• Graph Theory
• Applied Mathematics

• Categorical Homotopy Theory (Emily Riehl)

• Category Theory in Context (Emily Riehl)

  This book introduces the essential concepts of category theory: categories, functors, natural transformations, the Yoneda lemma, limits and colimits, adjunctions, monads, Kan extensions, and other topics.

• An Invitation to Applied Category Theory: Seven Sketches

  Category theory is now a powerful tool in science, informatics, and industry. 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.

• Topology: A Categorical Approach (Tai-Danae Bradley, et al)

  A graduate-level textbook that presents basic topology from the perspective of category theory. Many graduate students are familiar with the ideas of point-set topology and they are ready to learn something new about them.

• Basic Category Theory (Tom Leinster)

  Assuming little mathematical background, this short introduction to Category Theory is ideal for beginning graduate students or advanced undergraduates learning category theory for the first time.

• Category Theory for the Sciences (David I. Spivak)

  Using databases as an entry to Category Theory, this book explains category theory by examples, and shows that category theory can be useful outside of mathematics as a rigorous, flexible, and coherent modeling language throughout the sciences.

• Category Theory for Programmers (Bartosz Milewski)

  In this category theory for programmers, the author illustrates all major concepts using computer code. You are probably aware that functional languages are closer to math than the more popular imperative languages. They also offer more abstracting power.

• Category Theory for Computing Science (Michael Barr, et al.)

  This book is a textbook in basic category theory, written specifically to be read by people in computing science. It expounds the constructions we feel are basic to category theory in the context of examples and applications to computing science.

• Categories, Types, and Structures (Andrea Asperti, et al)

  This book introduces Category Theory at a level appropriate for computer scientists and provides practical examples in the context of programming language design. It pursues the more complex mathematical semantics of data types and programs.

• Higher Topos Theory (Jacob Lurie)

  This book presents the foundations of Higher Topos Theory, using the language of weak Kan complexes, and shows how existing theorems in algebraic topology can be reformulated and generalized in the theory's new language.

• Programming in Martin-Lof's Type Theory: An Introduction

  This book focuses on the type theory developed by Per Martin-Lof. It contains a thorough introduction to the Martin-Lof's Type Theory, with information on polymorphic sets, subsets, monomorphic sets, and a full set of helpful examples.