Buchholtz, U., & Weiberger, J. (2023). Synthetic fibered (∞,1)-category theory. Higher Structures, 7(1), 74-165. https://doi.org/10.21136/HS.2023.04