Related papers: Group completion via the action $\infty$-category

Let A be a finitely generated commutative algebra over a field K with a presentation A=K < X_{1}, ..., X_{n} | R >, where R is a set of monomial relations in the generators X_{1}, ..., X_{n}. So A = K[S], the semigroup algebra of the monoid…

A set with a group action is referred to as a $G$-set, and the set of functions that commute with this action forms a monoid under function composition. This paper examines the case where the $G$-set is finite, which implies that the monoid…

We construct a categorification of the braid groups associated with Coxeter groups inside the homotopy category of Soergel's bimodules. Classical actions of braid groups on triangulated categories should come from an action of this monoidal…

By introducing the concept of quantaloidal completions for an order-enriched category, relationships between the category of quantaloids and the category of order-enriched categories are studied. It is proved that quantaloidal completions…

Motivated by viewing categories as bimodule monoids over their isomorphism groupoids, we construct monoidal structures called plethysm products on three levels: that is for bimodules, relative bimodules and factorizable bimodules. For the…

We show that any closed model category of simplicial algebras over an algebraic theory is Quillen equivalent to a proper closed model category. By ``simplicial algebra'' we mean any category of algebras over a simplicial algebraic theory,…

Several elementary properties of the symmetric group $S_n$ extend in a nice way to the full transformation monoid $M_n$ of all maps of the set $X:=\{1,2,3,\dots,n\}$ into itself. The group $S_n$ turns out to be in some sense the torsion…

Kan extensions provide a natural general framework for a variety of combinatorial problems. We have developed rewriting procedures for Kan extensions (over the category of sets) and this enables one program to address a wide range of…

Kiselman's semigroup $K_n$ was studied by Kudryavtseva and Mazorchuk, who posed the question of whether it is possible to classify all endomorphisms of $K_n$. In this paper, we provide a complete classification of endomorphisms of $K_n$ and…

By restricting to a class of localic open groupoids $G$ which, similarly to Lie groupoids, possess appropriate covers $\widehat G\to G$ by \'etale groupoids, we extend results about groupoid actions and quantales that were previously proved…

We demonstrate that categories of continuous actions of topological monoids on discrete spaces are Grothendieck toposes. We exhibit properties of these toposes, giving a solution to the corresponding Morita-equivalence problem. We…

It was shown recently that an $n$-extension closed subcategory $\mathscr A$ of a Krull-Schmidt $(n+2)$-angulated category has a natural structure of an $n$-exangulated category. In this article, we prove that its idempotent completion…

Let $\g_1$ and $\g_2$ be two dg Lie algebras, then it is well-known that the $L_\infty$ morphisms from $\g_1$ to $\g_2$ are in 1-1 correspondence to the solutions of the Maurer-Cartan equation in some dg Lie algebra $\Bbbk(\g_1,\g_2)$. Then…

A new set of elementary symplectic elements is described, It is shown that these also generate the elementary symplectic group {\rm ESp}$_{2n}(R)$. These generators are more symmetrical than the usual ones, and are useful to study the…

In this paper we consider categories over a commutative ring provided either with a free action or with a grading of a not necessarily finite group. We define the smash product category and the skew category and we show that these…

We exhibit sufficient conditions for a monoidal monad T on a monoidal category C to induce a monoidal structure on the Eilenberg--Moore category C^T that represents bimorphisms. The category of actions in C^T is then shown to be monadic…

We prove a bicategorical analogue of Quillen's Theorem A. As an application, we deduce the well-known result that a pseudofunctor is a biequivalence if and only if it is essentially surjective on objects, essentially full on 1-cells, and…

In previous work, we showed that there are appropriate model category structures on the category of simplicial categories and on the category of Segal precategories, and that they are Quillen equivalent to one another and to Rezk's complete…

Let $\mathcal S \subseteq \mathbb Z^m \oplus T$ be a finitely generated and reduced monoid. In this paper we develop a general strategy to study the set of elements in $\mathcal S$ having at least two factorizations of the same length,…

For a semigroup $S$ and a right $\mathbb{Z}[S]$-submodule $J\leq \mathbb{Z}[S]^n$, we study expansivity of the algebraic action of $S$ induced on the Pontryagin dual of $\mathbb{Z}[S]^n/J$. We completely determine the class of semigroups…