HomeAboutPeopleEventsResearchRTGGuest ProgrammeImpressum

A fundamental construction in higher algebra is that of Day convolution. This construction, if it exists, defines an internal hom-object in the ∞-category of ∞-operads. In this talk, I will describe an explicit condition for the existence of such internal hom-objects for other operad-like structures. Even in the case of ∞-operads, our proof is very different from previous constructions. The existence condition we obtain is very similar to the Conduché criterion for detecting exponentiable functors between ∞-categories, and in many examples it is both a sufficient and necessary condition.

If time permits, I will describe how this construction can be used to prove a new universal property of span categories.

This is joint work with Félix Loubaton and Jaco Ruit.