atComonoidal is impossible for AtC. We have no cocartesian structure.