Subject: anafunctors

From: categories <[email-masked]>
Date: Fri, 24 Jan 1997 10:54:41 -0400 (AST)

Date: Thu, 23 Jan 1997 13:26:33 -0800
From: john baez <[email-masked]>

What is the locus classicus for "anafunctors"?  As far as I know,
an anafunctor F: C -> D is a presheaf on C x D^{op} such that
F(c,.) is representable for any object c of C.  Is this how it's
normally defined?  Where is composition of anafunctors discussed?
Are there other names for these things?

John Baez