K. Arakawa

collaborators

2 papers

math.CT2023

Monoidal Envelopes of Families of $\infty$ -Operads and $\infty$ -Operadic Kan Extensions

Kensuke Arakawa

We provide details of the proof of Lurie's theorem on operadic Kan extensions. Along the way, we generalize the construction of monoidal envelopes of $\infty$ -operads to families o…

math.AT2022

Classifying Space via Homotopy Coherent Nerve

Kensuke Arakawa

We prove that the classifying space of a simplicial group is modeled by its homotopy coherent nerve.

Monoidal Envelopes of Families of ∞-Operads and ∞-Operadic Kan Extensions

Classifying Space via Homotopy Coherent Nerve

Monoidal Envelopes of Families of $\infty$ -Operads and $\infty$ -Operadic Kan Extensions