4 Jan
2010
4 Jan
'10
8:42 a.m.
On 03/01/2010, at 6:57 PM, Vaughan Pratt wrote:
For these, one can't expect the kinds of universal constructions that large categories have,
Not following. FinSet is an essentially small category, what do you mean that it doesn't enjoy universal constructions? It's even a topos.
Dear Vaughan Part of what Bob Paré was arguing, I believe, was that we should be flexible (pun intended) about what "small" means. If "small" means "finite" then FinSet is not "essentially small". Also, "small" could mean "no more than one element". Ross [For admin and other information see: http://www.mta.ca/~cat-dist/ ]