English
Related papers

Related papers: Construction d'op\'erades ensemblistes \`a partir …

200 papers

We build a model structure from the simple point of departure of a structured interval in a monoidal category - more generally, a structured cylinder and a structured co-cylinder in a category.

Category Theory · Mathematics 2016-04-26 Richard Williamson

The main ideas developed in this habilitation thesis consist in endowing combinatorial objects (words, permutations, trees, Young tableaux, etc.) with operations in order to construct algebraic structures. This process allows, by studying…

Combinatorics · Mathematics 2017-12-12 Samuele Giraudo

In this paper we introduce a notion of {\it generalized operad} containing as special cases various kinds of operad--like objects: ordinary, cyclic, modular, properads etc. We then construct inner cohomomorphism objects in their categories…

Category Theory · Mathematics 2011-01-10 D. Borisov , Yu. I. Manin

We consider the endomorphism operad of a functor, which is roughly the object of natural transformations from (monoidal) powers of that functor to itself. There are many examples from geometry, topology, and algebra where this object has…

Category Theory · Mathematics 2019-07-04 Gabriel C. Drummond-Cole , Joseph Hirsh , Damien Lejay

This article is first in a series of papers where we reprove the statements in constructing the Enhanced Operation Map and the abstract six-functor formalism developed by Liu-Zheng. In this paper, we prove a theorem regarding constructing…

Algebraic Geometry · Mathematics 2025-01-28 Chirantan Chowdhury

We construct a compact closed category out of any symmetric monoidal category by freely adding adjoints to its objects. The morphisms of the completion are defined as string diagrams annotated by objects and morphisms from the original…

Category Theory · Mathematics 2022-01-24 Antonin Delpeuch

We show how the categorial approach to inverse monoids can be described as a certain endofunctor (which we call the partialization functor) of some category. In this paper we show that this functor can be used to obtain several recently…

Group Theory · Mathematics 2010-04-02 Ganna Kudryavtseva , Volodymyr Mazorchuk

We introduce a generalization of monads, called relative monads, allowing for underlying functors between different categories. Examples include finite-dimensional vector spaces, untyped and typed lambda-calculus syntax and indexed…

Programming Languages · Computer Science 2015-09-14 Thosten Altenkirch , James Chapman , Tarmo Uustalu

We recall the Tannaka construction for certain types of split monoidal functor into Vect_{k}, and remove the compactness restriction on the domain.

Category Theory · Mathematics 2009-07-21 Brian J. Day , Craig A. Pastro

This article is devoted to the investigation of the deformation (twisting) of monoidal structures, such as the associativity constraint of the monoidal category and the monoidal structure of monoidal functor. The sets of twistings have a…

q-alg · Mathematics 2008-02-03 A. A. Davydov

We introduce unary operadic 2-categories as a framework for operadic Grothendieck construction for categorical $\mathbb{O}$-operads, $\mathbb{O}$ being a unary operadic category. The construction is a fully faithful functor…

Category Theory · Mathematics 2024-10-08 Dominik Trnka

We use Giraudo's construction of combinatorial operads from monoids to offer a conceptual explanation of the origins of Hoffbeck's path sequences of shuffle trees, and use it to define new monomial orders of shuffle trees. One such order is…

Category Theory · Mathematics 2020-10-15 Vladimir Dotsenko

We introduce the concept of a dendroidal set. This is a generalization of the notion of a simplicial set, specially suited to the study of operads in the context of homotopy theory. We define a category of trees, which extends the category…

Algebraic Topology · Mathematics 2014-10-01 Ieke Moerdijk , Ittay Weiss

We show that a certain class of categorical operads give rise to $E_n$-operads after geometric realization. The main arguments are purely combinatorial and avoid the technical topological assumptions otherwise found in the literature.

Algebraic Topology · Mathematics 2025-03-26 Christian Schlichtkrull

This paper examines operad structures derived from poset matrices by formulating a set of new construction rules for poset matrices. In this direction, eleven different partial composition operations will be introduced as the basis for the…

Combinatorics · Mathematics 2024-01-17 Arnauld Mesinga Mwafise , Gi-Sang Cheon , Hong Joon Choi , Samuele Giraudo

We construct a localization for operads with respect to one-ary operations based on the Dwyer-Kan hammock localization. For an operad O and a sub-monoid of one-ary operations W we associate an operad LO and a canonical map O to LO which…

Category Theory · Mathematics 2017-09-18 Maria Basterra , Irina Bobkova , Kate Ponto , Ulrike Tillmann , Sarah Yeakel

We construct a modular functor which takes its values in the monoidal bicategory of finite categories, left exact functors and natural transformations. The modular functor is defined on bordisms that are 2-framed. Accordingly we do not need…

Quantum Algebra · Mathematics 2022-03-24 Jürgen Fuchs , Gregor Schaumann , Christoph Schweigert

We develop a `universal' support theory for derived categories of constructible (analytic or \'etale) sheaves, holonomic D-modules, mixed Hodge modules and others. As applications we classify such objects up to the tensor triangulated…

Algebraic Geometry · Mathematics 2022-10-18 Martin Gallauer

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

We prove that, under certain conditions, the model structure on a monoidal model category $\mathcal{V}$ can be transferred to a model structure on the category of $\mathcal{V}$-enriched coloured (symmetric) operads. As a particular case we…

Algebraic Topology · Mathematics 2014-01-28 Giovanni Caviglia