In this active learning session we first addressed the following questions by the students:

• How we can characterize trivial Kan fibrations via right lifting conditions against boundary inclusions.
• Why the mapping space from a cofibrant object to a fibrant object in a simplicial model category is a Kan complex.

We then also talked about the following topics:

• How there are many different ways to approach higher category theory and quasi-categories is just one of them.
• How we can define a terminal object in a quasi-category.
• Why we should care about homotopy coherent groups even if they can all be strictified.