Synthetic Fibered (∞, 1)-Category Theory