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