Related papers: Products in a Category with One Object
We give a generalization of Quillen's $S^{-1}S$ construction for arbitrary $E_n$-monoids as an $E_{n-1}$-monoidal $\infty$-category and show that its realization models the group completion provided that $n \geq 2$. We will also show how…
In the first part, we further advance the study of category theory in a strong balanced factorization category C [Pisani, 2008], a finitely complete category endowed with two reciprocally stable factorization systems such that X \to 1 is in…
This paper is, essentially, a survey related to the problem of understanding the combinatorics of the action of the monoidal category of finite dimensional modules over a simple finite dimensional Lie algebra on various categories of Lie…
We consider three forms of composition of matroids, each of which extends the category of bimatroids to a rigid monoidal category. Many well-known constructions are functorial or defined by morphisms in these categories. Motivating examples…
In this paper we discuss some enlargements of the category of sets with semigroup actions and equivariant functions. We show that these enlarged categories possess two idempotent endofunctors. In the case of groups these enlarged categories…
In this paper we show that the Day monoidal product generalises in a straightforward way to other algebraic constructions and partial algebraic constructions on categories. This generalisation was motivated by its applications in logic, for…
Categories, n-categories, double categories, and multicategories (among others) all have similar definitions as collections of cells with composition operations. We give an explicit description of the information required to define any…
An additive action on an irreducible algebraic variety $X$ is an effective action $\mathbb{G}_a^n\times X\to X$ with an open orbit of the vector group $\mathbb{G}_a^n$. Any two additive actions on $X$ are conjugate by a birational…
An implicit operation of a class of similar algebras $\mathsf{K}$ is a collection of first order definable partial functions on the members of $\mathsf{K}$ that is globally preserved by homomorphisms. For instance, "taking inverses" can be…
Equivariant monoids are very important objects in many branches of mathematics: they combine the notion of multiplication and the concept of a group action. In this paper we will construct categories which encode the structure borne by…
We define a higher-order generalisation of the CPM construction based on arbitrary finite abelian group symmetries of symmetric monoidal categories. We show that our new construction is functorial, and that its closure under iteration can…
In a sufficiently rich category, such as a category of R-modules, and a given infinite cardinal $\kappa$, we examine classes $\Cal H^\kappa_*$ of objects M, such that the following natural monomorphism is an isomorphism: $$\prod_{i\in…
We study the framework of $\infty$-equipments which is designed to produce well-behaved theories for different generalizations of $\infty$-categories in a synthetic and uniform fashion. We consider notions of (lax) functors between these…
Let M_d(k) denote the space of dxd-matrices with coefficients in an algebraically closed field k. Let X be an orbit closure in the product [M_d(k)]^t equipped with the action of the general linear group GL_d(k) by simultaneous conjugation.…
A monoid $M$ is said to be surjunctive if every injective cellular automaton with finite alphabet over $M$ is surjective. We show that monoid algebras of surjunctive monoids are stably finite. In other words, given any field $K$ and any…
We show that every unitarizable fusion category, and more generally every semisimple C*-tensor category, admits a unique unitary structure. Our proof is based on a categorified polar decomposition theorem for monoidal equivalences between…
We present an unbiased theory of symmetric multicategories, where sequences are replaced by families. To be effective, this approach requires an explicit consideration of indexing and reindexing of objects and arrows, handled by the double…
Multiplier bimonoids (or bialgebras) in arbitrary braided monoidal categories are defined. They are shown to possess monoidal categories of comodules and modules. These facts are explained by the structures carried by their induced…
A modular object in a symmetric monoidal bicategory is a Frobenius algebra object whose product and coproduct are biadjoint, equipped with a braided structure and a compatible twist, satisfying rigidity, ribbon, pivotality, and modularity…
Unimodularity is localized to a complete stationary type, and its properties are analysed. Some variants of unimodularity for definable and type-definable sets are introduced, and the relationship between these different notions is studied.…