Kerodon @kerodonmath

an online resource for homotopy-coherent mathematics kerodon.net Joined July 2018

Tweets

51
Followers

1K
Following

2
Likes

3

Kerodon @kerodonmath

a year ago

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

0 11 27 3K 5

Kerodon @kerodonmath

2 years ago

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

0 12 42 5K 5

Kerodon @kerodonmath

2 years ago

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

0 7 36 2K 2

Kerodon @kerodonmath

2 years ago

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

0 6 15 3K 1

Kerodon @kerodonmath

3 years ago

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

0 5 12 2K 1

Kerodon @kerodonmath

3 years ago

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

0 1 3 0 0

Kerodon @kerodonmath

3 years ago

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

0 5 17 0 2

Kerodon @kerodonmath

3 years ago

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

0 15 51 0 7

Kerodon @kerodonmath

3 years ago

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

0 10 32 0 6

Kerodon @kerodonmath

3 years ago

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

0 8 28 0 2

Kerodon @kerodonmath

4 years ago

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

0 11 46 0 9

Kerodon @kerodonmath

4 years ago

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

0 10 38 0 5

Kerodon @kerodonmath

4 years ago

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!

0 15 39 0 5

Kerodon @kerodonmath

4 years ago

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

0 6 17 0 1

Kerodon @kerodonmath

4 years ago

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.

0 5 10 0 0

Kerodon @kerodonmath

4 years ago

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!

0 6 17 0 1

Kerodon @kerodonmath

4 years ago

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

0 6 16 0 1

Kerodon @kerodonmath

5 years ago

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

0 11 27 0 0

Kerodon @kerodonmath

5 years ago

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