1)Category of sets is a (1,0)-category, isn't it?
2)Anafunctors are the factorization of class of functors by equivalence relation(isomorphism) on its values, aren't they?
3)Which kind of category small categories and anafunctors forms? ((2,1)-category?) Let it be $Cat_{ana}$.
4)May I say that $Set$ is "anaisomorphic" to $Set^{op}$ (in $Cat_{ana})$? ( I can not, because of different truthness of proposition "all morphisms to the initial object are isomorphisms". Anafunctors are not related to this statement.)
Is this theory well-developed? What is worth to read about it?