In this active learning session first we discussed following questions asked by students:

• A proof that fibrant objects are closed under limits.
• A discussion of lift of horns.
• Why the counit of the adjunction between quasi-categories and Kan complexes is an isomorphism.

Then we discussed following additional topics:

• How quasi-categories are a common generalization of categories and Kanc complexes.
• How to prove that the standar n-simplices are actually quasi-categories.
• How we can use quasi-categories to talk about ``homotopy coherent" groups and monoids.