Re: Terminology of locally small categories without replacement

Dear Colin When a class C of small objects has been distinguished in a finitely complete 2-category K, an object x of K is locally small when each cospan a : u --> x <-- v : b with u and v small has a small comma object a/b. It is only seldom that R has an object w such that this gives a logically equivalent definition by restricting to u = v = w. Best wishes, Ross On 02/12/2010, at 9:00 AM, Colin McLarty wrote:

??) for any set of objects there is a set of all arrows between them.

[For admin and other information see: http://www.mta.ca/~cat-dist/ ]