Analysis of information sources in references of the Wikipedia article "نظریه رستهها" in Persian language version.
Note that theorem 3 is actually easier for categories in general than it is for the special case of sets. This phenomenon is by no means rare.