arXiv Science⌕ Search
Home/Archive/arXiv

arXiv · 2303.10813

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

Kensuke Arakawa
View original source ↗Read source document ↗Export metadata ↓

Abstract

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 of $\infty$-operads and use it to construct the fiberwise direct sum functor, both of which we characterize by certain universal properties. Aside from their uses in the proof of Lurie's theorem, these results and constructions have their independent interest.

Explore related subjects

math.CTmath.AT

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Kensuke Arakawa. 2025-06-24. Monoidal Envelopes of Families of $\infty$-Operads and $\infty$-Operadic Kan Extensions. https://doi.org/10.1007/s10485-025-09821-3

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Double coset for groupoids

We investigate the double cosets of a groupoid, focusing primarily on their enumeration, by means of two different approaches. The first approach extends the Cauchy-Frobenius lemma to groupoids and interprets it in terms of groupoid actions. The second approach is based on linear representations of a groupoid arising from its action on a set of functions.

math.CT↗
arXiv2026

Yoshida algebra for groupoids

In this paper, we extend the notion of the Yoshida algebra of a finite group introduced in \cite{Yos83} to finite groupoids and investigate its fundamental properties. Our main results show that the center of the Yoshida algebra of a finite groupoid is isomorphic to the center of the corresponding groupoid algebra, and that there exists a surjective ring homomorphism from the crossed Burnside ring of a finite groupoid, introduced in \cite{Shi26+}, onto the center of the Yoshida algebra of a finite groupoid.

math.CT↗
arXiv2026

A model structure for cartesian 2-fibrations

Cartesian 2-fibrations provide a way to understand indexed categories, but their classical ``straightening'' construction requires several layers of weak coherence data. This paper develops a homotopical framework that replaces much of this bookkeeping with a fully strict model. By using marked 2-categories to record the cartesian morphisms and 2-cells, we construct a model structure whose fibrant objects are precisely the cartesian 2-fibrations over a fixed 2-category $\mathcal{C}$. We then show that the marked Grothendieck construction identifies these 2-fibrations, up to weak equivalence, with strict 2-functors from $\mathcal{C}$ into $2\mathrm{Cat}$. As an additional contribution, we construct localizations of 2-categories that simultaneously invert selected morphisms and 2-cells.

math.CT↗