более подробно: есть много разных вполне естественных вопросов, на которые "математики" должны и могут отвечать (и многие, наверно попытались бы).

Один вопрос: "о чём эта ваше наука? можете ли вы привести какой-то нибудь пример, чтобы неспециалистам стало понятно, что это красиво и интересно?" (это то, что пытаются делать руководители математических кружков)

Другой вопрос: "вот тут говорят - теория категорий (кодирования, гомологий, когомологий) - можно ли как-то приблизительно описать для образованного неспециалиста, о чём эта наука - с помощью каких-нибудь наглядных образов и метафор?" Ответ зависит от темы: про кодирование какие-то примеры привести легко, про гомологии и когомологии - можно как-то пытаться объяснить общую идею алгебраического препятствия к существованию чего-то, про теорию категорий - думаю, никаких шансов.

Третий вопрос: "вот мы, налогоплательщики, расходуем свои деньги на факультеты математики, computer science и пр. - не является ли это зряшней тратой с точки зрения прагматика? можно ли привести примеры, когда мы получаем взамен что-то полезное?" И на этот (совершенно законный) вопрос можно привести разные (на мой взгляд, вполне честные и убедительные) ответы.

Но, как мне кажется, в обсуждении у ivanov_petrov не имеется в виду ни один из этих вопросов - а делается попытка ранжировать непонятные учёные слова, взятые из обрывков каких-то разговоров - и как можно в этом осмысленно участвовать, не видно.