Kerodon

$\Newextarrow{\xRightarrow}{5,5}{0x21D2}$ $\newcommand\empty{}$
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$

Changes

Below you find an overview of the major updates to Kerodon.

2025

December 05
  • Added Section 9.5 on presentable infinity-categories and the adjoint functor theorem.
September 16
  • Expanded on the discussion of filtered infinity categories, compact objects, Ind-completions, and compact generation.
  • Added material on accessible infinity categories and accessible functors.
January 27
  • Added Section 9.2 on compact objects and Ind-completions.
  • Numerous small changes.

2024

October 10
  • Reworked Section 7.4 on limits and colimits of spaces.
  • Added Section 7.7 on universality of colimits.
  • Revised and expanded Section 9.1 on filtered -categories.
  • Many small changes.
June 07
  • Added Section 8.7 on fiberwise cocompletion.
February 09
  • Reorganized Chapter 1.
  • Added Section 3.5 on truncations and Postnikov towers of Kan complexes.
  • Added Section 4.8 on local truncations.
  • Added Section 9.7 on truncated objects in general.
  • Other small changes.

2023

November 20
  • Added Section 10.3 on regular -categories.
  • Began Section 10.2 on simplicial objects of -categories (unfinished).
September 04
  • Started new Chapter 9 on large -categories.
  • Added Section 9.6 on local objects, factorization systems, and the small object argument.
April 24
  • Added Section 8.6 on dual and conjugate fibrations.
  • Reworked Section 8.4 on the cocompletion construction.
  • Substantially expanded the discussion of cospan constructions in Section 8.1.
  • Many other (smaller) changes.
January 24
  • Added Section 8.2 on couplings of -categories.
  • Substantial revisions to Section 8.3.

2022

October 11
  • Added Section 8.5 on retracts and idempotents.
August 16
  • Added Section 8.4 on the universal property of presheaf -categories.
June 29
  • Added Section 4.7 concerning sizes of -categories.
April 26
  • Added Section 8.3 on the -categorical Yoneda embedding.
March 30
  • Added Section 8.1 on the twisted arrow and cospan constructions.
January 22
  • Added Section 7.6 about examples of limit and colimit diagrams.
January 03
  • Added Section