Seminar

In the first part of the talk I will begin by introducing several ∞-categorical algebraic structures arising from the simplex category, and then use these to give a definition of enriched ∞-categories. I will also discuss some basic results about these objects, and perhaps mention some alternative definitions. In the second part I will talk about bimodules between enriched ∞-categories and Hinich's work on the Yoneda lemma. I will end by briefly talking about framed double ∞-categories (AKA proarrow equipments), which should give a good setting for doing some more category theory with enriched ∞-categories (such as enriched (co)limits and Kan extensions).