From: rm382@cam.ac.uk   
      
   Dear all,   
      
   I am extremely interested in using category theory to model   
   intelligence, and i seek other people with the same interests.   
      
   Just briefly, the reasoning behind this is that category theory was   
   invented about 50 years ago by pure mathematicians as a tool for   
   understanding the increasingly complicated ideas they were   
   constructing, the "canonical" example of which is the functor which   
   takes a topological space to it's fundamental group. In my opinion,   
   category theory is essentially a mathematization of the concept of an   
   "analogy" between two structures or processes. Recently pure   
   mathematicians have been trying very hard to write down a theory of   
   "n-categories" which allow analogies _between analogies_ and so on ad   
   infinitum.  Physicists are timidly starting to try to apply these ideas   
   to physics.   
      
   Now i personally think that category theory is a very promising place   
   to start trying to understand intelligence, because intelligence is   
   about making analogies between known situations and unknown ones, and   
   ideas themselves seem to me to just be high level analogies between   
   lots of similar lower level ideas (continue inductively).   
      
   This is all well and good, but after looking quite hard i can't find   
   many other people who think like me. (in fact i can only find one other   
   person)   
      
   So what I'm asking is: is there anyone else working on this? Can   
   anyone on this board point me in the direction of a person, paper or   
   department? has this already been looked into? am i missing something   
   here? Would anyone be prepared to consider supervising me for a PhD?   
      
   Many thanks; any comments, advice or criticism will be appreciated.   
      
   [ comp.ai is moderated.  To submit, just post and be patient, or if ]   
   [ that fails mail your article to , and ]   
   [ ask your news administrator to fix the problems with your system. ]   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)