The representability reconstruction treats Anselm's ontological argument as a problem of type, not merely as a problem of validity. Classical Anselmian reasoning tries to move from maximal concept to existence; the categorical move runs from a presentation of ultimacy, to a functorial field of manifestations, to the possible representation of that field by a universal source. The central diagnosis is that the Fool need not possess a nonexistent object ``in the understanding.'' He may possess a presentation of constraints whose semantics and representability remain open. If a representing source exists, the Yoneda lemma explains how it classifies the field of manifestations and how positive attributes become natural rather than arbitrary predicates. The result is critical rather than apologetic: premature reference, existence-as-predicate, evaluative maximality, and perfection-list worries are not defeated by proving more, but by relocating the existence burden to explicit representability conditions.
Lorand Bruhacs (Wed,) studied this question.