English
Related papers

Related papers: Gr\"obner bases for operads

200 papers

In 2008, Loday shed light on the existence of Hopf-Boreltheorems for operads. Using the vocabulary of category theory, Livernet,Mesablishvili and Wisbauer extended such theorems to monads. In bothcases, the reasoning was to start from a…

Combinatorics · Mathematics 2019-01-09 Emily Burgunder , Bérénice Delcroix-Oger

In this paper we give a version of Bergman's diamond lemma which applies to certain monoidal categories presented by generators and relations. In particular, it applies to: the Coxeter presentation of the symmetric groups, the quiver Hecke…

Representation Theory · Mathematics 2021-08-27 Ben Elias

In this paper, we set up a rational homotopy theory for operads in simplicial sets whose term of arity one is not necessarily reduced to an operadic unit, extending results obtained by the author in the book "Homotopy of operads and…

Algebraic Topology · Mathematics 2018-10-19 Benoit Fresse

We show how non-symmetric operads (or multicategories), symmetric operads, and clones, arise from three suitable monads on Cat, each extending to a (pseudo-)monad on the bicategory of categories and profunctors. We also explain how other…

Category Theory · Mathematics 2012-05-16 Pierre-Louis Curien

Although Buchberger's algorithm, in theory, allows us to compute Gr\"obner bases over any field, in practice, however, the computational efficiency depends on the arithmetic of the ground field. Consider a field $K = \mathbb{Q}(\alpha)$, a…

Commutative Algebra · Mathematics 2015-08-06 Dereje Kifle Boku , Claus Fieker , Wolfram Decker , Andreas Steenpass

We develop the rudiments of a theory of parametrized $\infty$-operads, including parametrized generalizations of monoidal envelopes, Day convolution, operadic left Kan extensions, results on limits and colimits of algebras, and the…

Algebraic Topology · Mathematics 2022-03-02 Denis Nardin , Jay Shah

Generalized operads, also called generalized multicategories and $T$-monoids, are defined as monads within a Kleisli bicategory. With or without emphasizing their monoidal nature, generalized operads have been considered by numerous authors…

Category Theory · Mathematics 2015-04-22 Dimitri Chikhladze

Inspired by recent work of Batanin and Berger on the homotopy theory of operads, a general monad-theoretic context for speaking about structures within structures is presented, and the problem of constructing the universal ambient structure…

Category Theory · Mathematics 2015-11-18 Mark Weber

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 give embedding theorems for weighted Bergman-Orlicz spaces on the ball and then apply our results to the study of composition operators in this context. As one of the motivations of this work, we show that there exist some weighted…

Functional Analysis · Mathematics 2010-12-06 Stéphane Charpentier

Dendriform algebras form a category of algebras recently introduced by Loday. A dendriform algebra is a vector space endowed with two nonassociative binary operations satisfying some relations. Any dendriform algebra is an algebra over the…

Combinatorics · Mathematics 2016-03-07 Samuele Giraudo

We obtain combinatorial model categories of parametrised spectra, together with systems of base change Quillen adjunctions associated to maps of parameter spaces. We work with simplicial objects and use Hovey's sequential and symmetric…

Algebraic Topology · Mathematics 2021-05-05 Vincent Braunack-Mayer

We study quotients of the magmatic operad, that is the free nonsymmetric operad over one binary generator. In the linear setting, we show that the set of these quotients admits a lattice structure and we show an analog of the Grassmann…

Combinatorics · Mathematics 2019-08-22 Cyrille Chenavier , Christophe Cordero , Samuele Giraudo

We introduce regular sequences and associated Koszul resolutions for monoids in the category of functors over an essentially small linear symmetric monoidal category. Next we define polynomials over such monoids. We compute the Hochschild…

Category Theory · Mathematics 2025-04-07 Serge Bouc , Nadia Romero

In this paper we present a new methodology for solving multiobjective integer linear programs using tools from algebraic geometry. We introduce the concept of partial Gr\"obner basis for a family of multiobjective programs where the…

Optimization and Control · Mathematics 2008-06-19 Victor Blanco , Justo Puerto

We introduce a generalization of the notion of operad that we call a contractad, whose set of operations is indexed by connected graphs and whose composition rules are numbered by contractions of connected subgraphs. We show that many…

Algebraic Topology · Mathematics 2024-07-24 Denis Lyskov

In this article, we characterize convexity in terms of algebras over a PROP, and establish a tensor-product-like symmetric monoidal structure on the category of convex sets. Using these two structures, and the theory of $\scr{O}$-monoidal…

Category Theory · Mathematics 2024-03-28 Redi Haderi , Cihan Okay , Walker H. Stern

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

This paper deals with the homotopy theory of differential graded operads. We endow the Koszul dual category of curved conilpotent cooperads, where the notion of quasi-isomorphism barely makes sense, with a model category structure Quillen…

Algebraic Topology · Mathematics 2021-12-14 Brice Le Grignou

In this article we compute a minimal Groebner basis for the symmetric algebra for certain affine Monomial Curves, as an R-module. Keywords: Monomial Curves, Groebner Basis, Symmetric Algebra. Mathematics Subject Classification 2000: 13P10,…

Commutative Algebra · Mathematics 2011-01-12 Debasish Mukhopadhyay