equivalence of categories

abstract mathematics relationship