A Synthetic Perspective on (∞,1)-Category Theory: Fibrational and Semantic Aspects