Limits and colimits of synthetic (∞,1)-categories.

Date:

Talk for the Logic Seminar in the Deparment of Mathematics at UOttawa at the University of Ottawa.