English
Related papers

Related papers: Monoidal envelopes and Grothendieck construction f…

200 papers

We provide a categorical framework for mathematical objects for which there is both a sort of "independent" and "dependent" composition. Namely we model them as duoidal categories in which both monoidal structures share a unit and the first…

Category Theory · Mathematics 2025-01-27 Brandon T. Shapiro , David I. Spivak

We compare two models for $\infty$-operads: the complete Segal operads of Barwick and the complete dendroidal Segal spaces of Cisinski and Moerdijk. Combining this with comparison results already in the literature, this implies that all…

Algebraic Topology · Mathematics 2020-11-03 Hongyi Chu , Rune Haugseng , Gijs Heuts

Much research has been done on structures equivalent to topological or simplicial groups. In this paper, we consider instead simplicial monoids. In particular, we show that the usual model category structure on the category of simplicial…

Algebraic Topology · Mathematics 2007-05-23 Julia E. Bergner

In this paper we give an example of duoidal $\infty$-categories. We introduce map $\mathcal{O}$-monoidales in an $\mathcal{O}$-monoidal $(\infty,2)$-category for an $\infty$-operad $\mathcal{O}^{\otimes}$. We show that the endomorphism…

Category Theory · Mathematics 2024-06-04 Takeshi Torii

We define a model category structure on a slice category of simplicial spaces, called the "Segal group action" structure whose fibrant-cofibrant objects may be viewed as representing spaces $X$ with a coherent action of a given Segal group…

Algebraic Topology · Mathematics 2015-09-18 Matan Prasma

We compare two approaches to the homotopy theory of infinity-operads. One of them, the theory of dendroidal sets, is based on an extension of the theory of simplicial sets and infinity-categories which replaces simplices by trees. The other…

Algebraic Topology · Mathematics 2015-01-30 Gijs Heuts , Vladimir Hinich , Ieke Moerdijk

We describe a Grothendieck construction for non-symmetric operads with values in categories, and hence in groupoids and posets. The construction produces a 2-category which is operadically fibered over the category D of finite non-empty…

Category Theory · Mathematics 2026-01-28 Dominik Trnka

Let $\mathcal{B}$ be a subcategory of a given category $\mathcal{D}$. Let $\mathcal{B}$ has monoidal structure. In this article, we discuss when can one extend the monoidal structure of $\mathcal{B}$ to $\mathcal{D}$ such that $\mathcal{B}$…

Category Theory · Mathematics 2016-12-23 Neha Gupta , Pradip Kumar

We exhibit the simplex category $\Delta$ and Segal's category $\Gamma$ as $\infty$-categorical localizations of the dendroidal categories $\Omega_\pi$ and $\Omega$ introduced by Moerdijk and Weiss. As an application we obtain an equivalence…

Algebraic Topology · Mathematics 2021-03-10 Tashi Walde

We define complete Segal objects, which play the role of internal higher category objects. Then we study them using representable Cartesian fibrations, in particular defining adjunctions and limits of complete Segal objects. Finally we use…

Category Theory · Mathematics 2018-05-10 Nima Rasekh

This paper studies the homotopy theory of the Grothendieck construction using model categories and semi-model categories, provides a unifying framework for the homotopy theory of operads and their algebras and modules, and uses this…

Algebraic Topology · Mathematics 2026-05-20 Michael Batanin , Florian De Leger , David White

We construct so called Hall monoidal categories (and Hall modules thereover) and exhibit them as a categorification of classical Hall and Hecke algebras (and certain modules thereover). The input of the (functorial!) construction are…

Category Theory · Mathematics 2017-02-17 Tashi Walde

We introduce a general notion of enrichment for homotopy-coherent algebraic structures described by Segal conditions, using the framework of "algebraic patterns" developed in our previous work. This recovers several known examples of…

Category Theory · Mathematics 2023-11-22 Hongyi Chu , Rune Haugseng

The structure of monoidal categories in which every arrow is invertible is analyzed in this paper, where we develop a 3-dimensional Schreier-Grothendieck theory of non-abelian factor sets for their classification. In particular, we state…

Category Theory · Mathematics 2012-12-19 María Calvo , Antonio M. Cegarra , Benjamín A. Heredia

The goal of the paper is to establish and to investigate a fully faithful embedding of the category of group operads into that of crossed interval groups. For this, we introduce a monoidal structure on the slice of the category of operads…

Category Theory · Mathematics 2018-06-11 Jun Yoshida

We define and study opfibrations of $V$-enriched categories when $V$ is an extensive monoidal category whose unit is terminal and connected. This includes sets, simplicial sets, categories, or any locally cartesian closed category with…

Category Theory · Mathematics 2019-09-10 Jonathan Beardsley , Liang Ze Wong

This paper gives an explicit description of the categorical operad whose algebras are precisely symmetric monoidal categories. This allows us to place the operad in a sequence of four, and therefore a sequence of four successively stricter…

Category Theory · Mathematics 2023-05-26 A. D. Elmendorf

We use fibrations of complete Segal spaces to construct four complete Segal spaces: Reedy fibrant simplicial spaces, Segal spaces, complete Segal spaces, and spaces. Moreover, we show each one comes with a universal fibration that…

Category Theory · Mathematics 2022-02-03 Nima Rasekh

This note is an introduction to several generalizations of the dendroidal sets of Moerdijk--Weiss. Dendroidal sets are presheaves on a category of rooted trees, and here we consider indexing categories whose objects are other kinds of…

Category Theory · Mathematics 2025-03-10 Philip Hackney

In this monograph, we extend S. Schwede's exact sequence interpretation of the Gerstenhaber bracket in Hochschild cohomology to certain exact and monoidal categories. Therefore we establish an explicit description of an isomorphism by A.…

Rings and Algebras · Mathematics 2016-05-23 Reiner Hermann