Related papers: Rigid Algebras and Cospans

It has long been known that every weak monoidal category A is equivalent via monoidal functors and monoidal natural transformations to a strict monoidal category st(A). We generalise the definition of weak monoidal category to give a…

Given an associative $\mathbb{C}$-algebra $A$, we call $A$ strongly rigid if for any pair of finite subgroups of its automorphism groups $G, H,$ such that $A^G\cong A^H$, then $G$ and $H$ must be isomorphic. In this paper we show that a…

In this article we show how to build main aspects of our paper on globular weak $(\infty,n)$-categories, but now for the cubical geometry. Thus we define a monad on the category $\mathbb{C}\mathbb{S}ets$ of cubical sets which algebras are…

In the paper, we consider the class of so-called endo-commutative algebras. From the identity imposed to specify this class, one can easily see that the product in this class preserves the square of elements. We give a complete…

It is known that the category of Lie algebras over a ring admits algebraic exponents. The aim of this paper is to show that the same is true for the category of internal Lie algebras in an additive, cocomplete, symmetric, closed, monoidal…

We define the class of rigid Frobenius algebras in a (non-semisimple) modular category and prove that their categories of local modules are, again, modular. This generalizes previous work of A. Kirillov, Jr. and V. Ostrik [Adv. Math. 171…

We give a geometric classification of $n$-dimensional nilpotent, commutative nilpotent and anticommutative nilpotent algebras. We prove that the corresponding geometric varieties are irreducible, find their dimensions and describe explicit…

We define for each $n \geq 1$ a symmetric monoidal $(\infty, n+1)$-category $n\mathrm{Pr}^L$ whose objects we call presentable $(\infty,n)$-categories, generalizing the usual theory of presentable $(\infty,1)$-categories. We show that each…

A finite-dimensional unital and associative algebra over $\mathbb{R}$, or what we shall call simply "an algebra" in this paper for short, generalities the construction by which we derive the complex numbers by "adjoining an element $i$" to…

We study actions of monoidal categories on objects in a suitably enriched $2$-category, and applications in stable homotopy theory. Given a monoidal category $\mathcal{I}$ and an $\mathcal{I}$-object $\mathcal{A}$, the (co)stabilization of…

It is well known that braided monoidal categories are the categorical algebras of the little two-dimensional disks operad. We introduce involutive little disks operads, which are Z/2Z-orbifold versions of the little disks operads. We…

Idempotent analogues of convexity are introduced. It is proved that the category of algebras for the capacity monad in the category of compacta is isomorphic to the category of $(\max,\min)$-idempotent biconvex compacta and their biaffine…

In a previous paper we generalized the theory of W*-modules to the setting of modules over nonselfadjoint dual operator algebras, obtaining the class of weak*-rigged modules. At that time we promised a forthcoming paper devoted to other…

We define a monoidal semantics for algebraic theories. The basis for the definition is provided by the analysis of the structural rules in the term calculus of algebraic languages. Models are described both explicitly, in a form that…

We study generic graded contractions of Lie algebras from the perspectives of group cohomology, affine algebraic geometry and monoidal categories. We show that generic graded contractions with a fixed support are classified by a certain…

We show that Segal spaces, and more generally category objects in an $\infty$-category $\mathcal{C}$, can be identified with associative algebras in the double $\infty$-category of spans in $\mathcal{C}$. We use this observation to prove…

In this paper we investigate the arithmetic aspects of the theory of $\mathcal{E}_K^\dagger$-valued rigid cohomology introduced and studied in [11,12]. In particular we show that these cohomology groups have compatible connections and…

In \cite[Section 5, p.32]{Arnold-1998}, Arnold writes: "Classification of singularities of curves can be interpreted in dual terms as a description of 'co-artin' subalgebras of finite co-dimension in the algebra of formal series in a single…

We initiate the study of computable presentations of real and complex C*-algebras under the program of effective metric structure theory. With the group situation as a model, we develop corresponding notions of recursive presentations and…

Cluster algebras are categorified by cluster categories, and $g$-vectors are categorified by the classic index with respect to cluster tilting subcategories. However, the recently introduced completed discrete cluster categories of Dynkin…