Тринадцать лет назад: So, hooray! (contraherent cosheaves on Noetherian formal schemes)
Короткий фесбучный постинг от 26 мая 2012 года -- https://www.facebook.com/posic/posts/pfbid0abmVYDR8fXLsUmAuDyHfc4eXGrFJ25Rrg2QViQ1uNgeUoZibpJ9JwkJEXoNQ6zjrl :

"So, hooray! Now I have the required resolutions to make sense of the contraherent cosheaves of contramodules over Noetherian formal schemes."

Комментарий к сегодняшнему репосту в Фейсбуке:

Thirteen years have passed. I have had these resolutions at my disposal for quite a while now. Still, I have not yet written anything about contraherent cosheaves of contramodules over Noetherian formal schemes. The definition of a contraherent cosheaf of contramodules over a formal scheme has not been written up yet. It takes time, I guess. So many other ideas and obligations...

А вот ЖЖ-постинг от того же дня (26 мая 2012) с некоторыми подробностями -- https://posic.livejournal.com/792721.html