Re: [math-fun] math, existence, and God

One doesn't need Category Theory in all its mind-bending glory in order to talk about projective limits. I think that all one needs for a projective-limit definition of God is a bunch of axioms that say that for any two beings there's a still greater being who subsumes them. By the way, when p-adic numbers were introduced, did anyone wonder whether they "really existed"? Jim Propp