Три стандартных MathSciNet-поиска
1. "Anywhere=(contramodule) OR Anywhere=(semicontramodule)" -- список выдачи сейчас составляет 22 элемента, которым соответствуют 18 реальных работ, где упоминаются контрамодули. Среди них:

- три работы 1965-70 годов;
- шесть работ 2009-11 годов (две из них мои); и
- девять работ 2016-19 годов (шесть из них мои).

2. "Anywhere=(coderived) OR Anywhere=(contraderived) OR Anywhere=("absolute derived")" -- список выдачи составляет 19 элементов, среди которых порядка 12-13 реальных работ 2011-19 годов, где упоминаются производные категории второго рода. Четыре из них мои.

3. "Anywhere=("CDG-algebra") OR Anywhere=("CDG-algebras") OR Anywhere=("curved DG") OR Anywhere=("curved differential")" -- список выдачи составляет 26 элементов, из которых в 23 работах упоминаются дифференциальные алгебраические структуры с кривизной. Среди них:

- одна работа 1993 года (моя);
- одна работа 2003 года;
- семь работ 2006-10 годов;
- четырнадцать работ 2011-18 годов (три из них мои).

[Поискав на "Anywhere=("CDG-module") OR Anywhere=("CDG-modules")", можно выловить еще одну работу 2002 года. В таком примерно аспекте.]

***

В общем, все эти цифры очень маленькие, конечно, и ярко свидетельствуют о том, насколько далекими от мейнстрима остаются мои ключевые идеи. Для сравнения, результаты поиска терминов, означающих соответствующие классические концепции:

1'. "Anywhere=(comodule)" выдает 1370 попаданий.
2'. "Anywhere=("derived category")" выдает 2278 попаданий.
3'. "Anywhere=("DG-algebra")" выдает 234 попадания [из которых, между прочим, вторым номером в упорядоченном по времени списке выпадает работа 2019 года про искривленные А-бесконечность коалгебры -- но это уже за пределами методологии этого постинга].