Re: [FRIAM] Category theory - Wikipedia, the free encyclopedia

2007-02-10 Thread Mikhail Gorelkin
Here is a gentle (conceptual) introduction into the category theory -- http://www.cs.toronto.edu/~sme/presentations/cat101.pdf http://en.wikipedia.org/wiki/Natural_transformation

Re: [FRIAM] Category theory - Wikipedia, the free encyclopedia

2007-02-10 Thread Carl Tollander
Suggest taking a look at Gougen http://www-cse.ucsd.edu/users/goguen/ps/manif.ps.gz (see also Mikhail's references). or any of the earlier Baez stuff. I particularly like: http://math.ucr.edu/home/baez/planck/node5.html as a quick introduction. Stanford:

Re: [FRIAM] Category theory - Wikipedia, the free encyclopedia

2007-02-10 Thread Carl Tollander
I strongly second the Mazur paper - it's going to important to get a good handle on what Category Theory folks mean by equivalence. Carl Mikhail Gorelkin wrote: Here is a gentle (conceptual) introduction into the category theory