Lý thuyết phạm trù - Barry Mitchell (ĐH và THCN, 1981)