We develop the theory of limits and colimits in
$\infty$-categories within the synthetic framework of simplicial homotopy type theory established by Riehl and Shulman. We also show that in this setting, the limit of a family of spaces can be computed as a dependent product.