Kerodon

an online resource for homotopy-coherent mathematics

[Kerodon @kerodonmath]

A new section, on fiberwise cocompletions, was added, see https://t.co/HYN3YQNFRg

[Kerodon @kerodonmath]

A new chapter, on exactness and animation, was started, see https://t.co/bOYtoc5GHx

[Kerodon @kerodonmath]

A new chapter, on large oo-categories, was started, see https://t.co/WCOlXchJI0

[Kerodon @kerodonmath]

A new section, on dual and conjugate fibrations, was added, see https://t.co/sKlQ7lt7fv. Also lots of other changes were implemented, especially in https://t.co/bKSEZ58tVR and https://t.co/RV1fHj5XZe

[Kerodon @kerodonmath]

A new section, on couplings of oo-categories, was added, see https://t.co/wLdbSvMhjX

[Kerodon @kerodonmath]

A new section, on retracts and idempotents, was added, see https://t.co/ozR5TnqTE1

[Kerodon @kerodonmath]

@emilyriehl In the breadcrumb you find a (well-hidden) cite link for each tag you visit, e.g. for 03KL this brings you to https://t.co/XmXdrEhtuV. There you find some information on how to cite it conveniently. Does this help?

[Kerodon @kerodonmath]

A new section on sizes of oo-categories was added, see https://t.co/dxr6T9W7X3.

[Kerodon @kerodonmath]

A new section, on the oo-categorical Yoneda embedding, was added, see https://t.co/A7pG7O09Ry.

[Kerodon @kerodonmath]

@HomotopyVioleta What is this HTT and does it have a Twitter account?

[Kerodon @kerodonmath]

A new section on Kan extensions was added, see https://t.co/5TOsIbruZL. The first tag of the form 03xx is now there, it's https://t.co/TLK0TgEnXT

[Kerodon @kerodonmath]

A new section, on limits and colimits of \infty-categories, and a modified proof of the universality theorem, was added, see https://t.co/8QtZic2VJS and https://t.co/IaXvOwCq2d.

[Kerodon @kerodonmath]

A new chapter, on limits and colimits, was started; see https://t.co/lvwexqZvrL. There are almost 3000 tags now!