相关论文: Enrichment over iterated monoidal categories

Usually a name of the category is inherited from the name of objects. However more relevant for a category of objects and morphisms is an algebra of morphisms. Therefore we prefer to say a category of graphs if every morphism is a graph. In…

This paper provides a comprehensive overview of some of the foundational properties of categories enriched over quantaloids, along with several new results. We demonstrate that the category whose objects are quantaloid-enriched categories…

We develop Morita theory of monoids in a closed symmetric monoidal category, in the context of enriched category theory.

To formalize calculations in linear algebra for the development of efficient algorithms and a framework suitable for functional programming languages and faster parallelized computations, we adopt an approach that treats elements of linear…

We offer a solution to the long-standing problem of group completing within the context of rig categories (also known as bimonoidal categories). Given a rig category R we construct a natural additive group completion R' that retains the…

Recently, there has been renewed interest in the theory and applications of de Paiva's dialectica categories and their relationship to the category of polynomial functors. Both fall under the theory of generalized polynomial categories,…

We describe a class of examples of braided monoidal categories which are built from Hopf algebras in symmetric categories. The construction is motivated by a calculation in two-dimensional conformal field theory and is tailored to contain…

We introduce monoidal width as a measure of complexity for morphisms in monoidal categories. Inspired by well-known structural width measures for graphs, like tree width and rank width, monoidal width is based on a notion of syntactic…

This paper investigates Smyth completeness of categories enriched over a quantale obtained by equipping the unit interval of real numbers with a continuous t-norm. A real-enriched category is Smyth-complete if each of its forward Cauchy…

We define Euler characteristic of a category enriched by a monoidal model category. If a monoidal model category V is equipped with Euler characteristic that is compatible with weak equivalences and fibrations in V, then our Euler…

We classify braided tensor categories over C of exponential growth which are quasisymmetric, i.e., the squared braiding is the identity on the product of any two simple objects. This generalizes the classification results of Deligne on…

In this paper we present cartesian structure for symmetric Gray-monoidal double categories. To do this we first introduce locally cubical Gray categories, which are three-dimensional categorical structures analogous to classical, locally…

Let $ Aut_{mHH}(H)$ denote a set of all automorphisms of a monoidal Hopf algebra $H$ with bijective antipode in the sense of Caenepeel S. and Goyvaerts I. (Commun. Algebra 39, 2216-2240, 2011) and let $G$ be a crossed product group $…

This paper is about skew monoidal tensored V-categories (= skew monoidal hommed V-actegories) and their categories of modules. A module over <M,*,R> is an algebra for the monad T = R * _ on M. We study in detail the skew monoidal structure…

We propose an infinitesimal counterpart to the notion of braided category. The corresponding infinitesimal braidings are natural transformations which are compatible with an underlying braided monoidal structure in the sense that they…

An E_1 (or A-infinity) ring spectrum R has a derived category of modules D_R. An E_2 structure on R endows D_R with a monoidal product. An E_3 structure on R endows the monoidal product with a braiding. If the E_3 structure extends to an…

A traced monad is a monad on a traced symmetric monoidal category that lifts the traced symmetric monoidal structure to its Eilenberg-Moore category. A long-standing question has been to provide a characterization of traced monads without…

Differential linear categories provide the categorical semantics of the multiplicative and exponential fragments of Differential Linear Logic. Briefly, a differential linear category is a symmetric monoidal category that is enriched over…

In this article, we investigate monoidal, braided, sylleptic centralizers of monoidal, braided, sylleptic 2-functors. We specifically focus on multifusion 2-categories and show that monoidal, braided, sylleptic centralizers are multifusion…

We define the affinization of an arbitrary monoidal category $\mathcal{C}$, corresponding to the category of $\mathcal{C}$-diagrams on the cylinder. We also give an alternative characterization in terms of adjoining dot generators to…