23 Sep
2010
23 Sep
'10
9:01 p.m.
Hi, A Freyd category is essentially a functor. So why is it called a category?! More generally, is there a way to see a functor as being a category? [For admin and other information see: http://www.mta.ca/~cat-dist/ ]