Limits and colimits in synthetic -categories

Key Points

• Limits and colimits in infinity-categories can be defined and computed within a synthetic framework.
• The study utilizes simplicial homotopy type theory to facilitate computation of limits for families of spaces.
• The limit of a family of spaces is shown to be computable as a dependent product.
• This framework builds on the theoretical foundation established by Riehl and Shulman in the field.