14 Jul
2009
14 Jul
'09
5:40 a.m.
On 7/14/09, James Propp <jpropp@cs.uml.edu> wrote:
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.
You've just kicked into touch my motivation to (yet again fail to) master category theory --- you can't do this to me!
By the way, when p-adic numbers were introduced, did anyone wonder whether they "really existed"?
I don't suppose Kronecker would have approved ... WFL