On 7/7/09, James Propp <jpropp@cs.uml.edu> wrote:
... For instance, if one believes that the differing moral verdicts that two people reach are in principle reconcileable by way of a sufficient amount of dialogue and/or shared experience, one might define God as a kind of projective limit in the category of people-who-could-exist, in which the existence of the limit is not as important as what it entails about mappings between finite beings. ... I also suspect that some category theorists have thought along similar lines.
At last I begin to understand why --- over the course of some 40 years --- I have never been able to grasp the point of category theory. Now then, if somebody out there were prepared simultaneously to undertake a makeover of the Almighty as a geometric scheme, that would really make my day! WFL