A functor \\(\alpha : (A^{op} \times B) \to Set\\) is called an anafunctor from A to B correct?