ap and transport are functorial again