question about discrete op-fibrations