Related papers: Two partial monoid structures on a set

A topological monoid is isomorphic to an endomorphism monoid of a countable structure if and only if it is separable and has a compatible complete ultrametric such that composition from the left is non-expansive. We also give a topological…

Rings form a bicategory [Rings], with classes of bimodules as horizontal arrows, and bimodule maps as vertical arrows. The notion of Morita equivalence for rings can be translated in terms of bicategories in the following way. Two rings are…

The (ordinary) quiver of an algebra $A$ is a graph that contains information about the algebra's representations. We give a description of the quiver of $\mathbb{C}PT_{n}$, the algebra of the monoid of all partial functions on $n$ elements.…

We give a description of unital operads in a symmetric monoidal category as monoids in a monoidal category of unital $\Lambda$-sequences. This is a new variant of Kelly's old description of operads as monoids in the monoidal category of…

Recently, symmetric categorical groups are used for the study of the Brauer groups of symmetric monoidal categories. As a part of these efforts, some algebraic structures of the 2-category of symmetric categorical groups $\mathrm{SCG}$ are…

Many structures of interest in two-dimensional category theory have aspects that are inherently strict. This strictness is not a limitation, but rather plays a fundamental role in the theory of such structures. For instance, a monoidal…

In this paper we develope a categorical theory of relations and use this formulation to define the notion of quantization for relations. Categories of relations are defined in the context of symmetric monoidal categories. They are shown to…

An equivalent description of a symmetric monoidal category is introduced in which, instead of separate associator and commutator isomorphisms satisfying the usual coherence axioms, we simply have associo-commutator isomorphisms satisfying…

For any length category, we establish a set of rules (necessary and sufficient) that ensure a partial order on the isomorphism classes of simple objects such that the category is equivalent to the category of finite dimensional…

We introduce a general construction on 2-monads. We develop background on maps of 2-monads, their left semi-algebras, and colimits in 2-category. Then, we introduce the construction of a colimit induced by a map of 2-monads, show that we…

We show that the category of (reflexive) graphs and graph maps carries exactly two closed symmetric monoidal products: the box product and the categorical product.

We give a new construction of the algebraic $K$-theory of small permutative categories that preserves multiplicative structure, and therefore allows us to give a unified treatment of rings, modules, and algebras in both the input and…

To a bicomplex one can associate two natural filtrations, the column and row filtrations, and then two associated spectral sequences. This can be generalized to $N$-multicomplexes. We present a family of model category structures on the…

It is shown that the category of \emph{semi-biproducts} of monoids is equivalent to the category of \emph{pseudo-actions}. A semi-biproduct of monoids is a new notion, obtained through generalizing a biproduct of commutative monoids. By…

Consider complex semisimple Lie algebras of a given dimension specified by their structure constants. We describe a finite collection of rational functions in the structure constants that form a complete set of invariants: two sets of…

We define here the category of partial differential equations. Special cases of morphisms from an object (equation) are symmetries of the equation and reductions of the equation by a symmetry groups, but there are many other morphisms. We…

In this paper we study the structure of the monoid $\mathbf{I}\mathbb{N}_{\infty}^n$ of cofinite partial isometries of the $n$-th power of the set of positive integers $\mathbb{N}$ with the usual metric for a positive integer $n\geqslant…

This paper is a contribution to the construction of non-semisimple modular categories. We establish when M\"uger centralizers inside non-semisimple modular categories are also modular. As a consequence, we obtain conditions under which…

We show how the notion of intercategory encompasses a wide variety of three-dimensional structures from the literature, notably duoidal categories, monoidal double categories, cubical bicategories, double bicategories and Gray categories.…

We develop the idea of a supersymmetric monoidal supercategory, following ideas of Kapranov. Roughly, this is a monoidal category in which the objects and morphisms are ${\bf Z}/2$-graded, equipped with isomorphisms $X \otimes Y \to Y…