New tags are also starting at 02 now, the first one being kerodon.net/tag/0200. There are already 2351 tags in total!

Big update, with new sections kerodon.net/tag/025L and kerodon.net/tag/027M on the ∞-categorical Grothendieck construction and the universal cocartesian fibration

A new chapter, on adjoint functors, was added see kerodon.net/tag/02C9. Oh, and Kerodon crossed the 1000 pages mark!

A new chapter, on limits and colimits, was started; see kerodon.net/tag/02H1. There are almost 3000 tags now!

A new section, on cofinality and the theory of filtered \infty-categories was added, see kerodon.net/tag/02MZ. And we are at 3154 tags now!

A new section, on limits and colimits of \infty-categories, and a modified proof of the universality theorem, was added, see kerodon.net/tag/02SX and kerodon.net/tag/027M.

A new section on Kan extensions was added, see kerodon.net/tag/02Y1. The first tag of the form 03xx is now there, it's kerodon.net/tag/0300

We start the new year with 2 new sections on homotopy (co)limits (kerodon.net/tag/039Y) and classifying cocartesian fibrations (kerodon.net/tag/035A). Enjoy!

A new section with examples of limit and colimit diagrams was added, see kerodon.net/tag/03E8.

A new chapter (on the Yoneda embedding) was started, with a section on twisted arrows and cospans, see kerodon.net/tag/03JB

A new section, on the oo-categorical Yoneda embedding, was added, see kerodon.net/tag/03LZ.

A new section on sizes of oo-categories was added, see kerodon.net/tag/03PP.

A new section, on presheaf oo-categories, was added, see kerodon.net/tag/03V7

A new section, on retracts and idempotents, was added, see kerodon.net/tag/03Y9

Also, tags currently start with '04', marking another somewhat arbitrary milestone. There are 4376 tags right now.

A new section, on couplings of oo-categories, was added, see kerodon.net/tag/043P

A new section, on dual and conjugate fibrations, was added, see kerodon.net/tag/04C0. Also lots of other changes were implemented, especially in kerodon.net/tag/03V7 and kerodon.net/tag/03JB

A new chapter, on large oo-categories, was started, see kerodon.net/tag/04KE

A new chapter, on exactness and animation, was started, see kerodon.net/tag/04QH

A new section, on fiberwise cocompletions, was added, see kerodon.net/tag/05K8