kerodonmath's profile picture. an online resource for homotopy-coherent mathematics

Kerodon

@kerodonmath

an online resource for homotopy-coherent mathematics

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


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


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


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 section, on couplings of oo-categories, was added, see kerodon.net/tag/043P


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


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


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


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


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


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 with examples of limit and colimit diagrams was added, see kerodon.net/tag/03E8.


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 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


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 cofinality and the theory of filtered \infty-categories was added, see kerodon.net/tag/02MZ. And we are at 3154 tags now!


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


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


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


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


Loading...

Something went wrong.


Something went wrong.