for C being category holds AllIso (AllEpi C) = AllIso C