i haven't seen the "beautiful mind" movie yet, but i did attend the DIMACS workshop on algorithmic mechanism design in october, and got a chance to speak to john nash! each and every talk went on about the nash equilibria and nash bargaining and nash this and nash that --- with nash in the second row all the time. i imagine he'll go to see the movie as well, and perhaps comment about the importance of go and functor two categories in his way. life is a big place, sometimes. -- dusko PS btw, i think the upshot of the SGA4 exercise cited by lambek and scott is that the argument given there shows that the polynomial category S[x^A] in Locally CCC is (equivalent to) S/A. funny enough, the polynomial category in CCC can then be viewed as the subcategory spanned by the second projections (which is, of course, isomorphic with the kleisly for the Ax(-) comonad) PPS i was surprised no one mentioned categories in "waking life".