相关论文: The twisted tensor product of dg categories and a …
In our recent papers [Sh1,2], we introduced a {\it twisted tensor product} of dg categories, and provided, in terms of it, {\it a contractible 2-operad $\mathcal{O}$}, acting on the category of small dg categories, in which the "natural…
There are known two different constructions of contractible dg 2-operads, providing a weak 2-category structure on the following dg 2-quiver of small dg 2-categories. Its vertices are small dg 2-categories over a given field, arrows are dg…
Given two small dg categories $C,D$, defined over a field, we introduce their (non-symmetric) twisted tensor product $C\overset{\sim}{\otimes} D$. We show that $-\overset{\sim}{\otimes} D$ is left adjoint to the functor $Coh(D,-)$, where…
The purpose of this paper is two-fold. In Part 1 we introduce a new theory of operadic categories and their operads. This theory is, in our opinion, of an independent value. In Part 2 we use this new theory together with our previous…
It is well known that strict $\omega$-categories, strict $\omega$-functors, strict natural $\omega$-transformations, and so on, form a strict $\omega$-category. A similar property for weak $\omega$-categories is one of the main hypotheses…
We give a framework for comparing on the one hand theories of n-categories that are weakly enriched operadically, and on the other hand n-categories given as algebras for a contractible globular operad. Examples of the former are the…
Let $A$ be a $1$-algebra. The Kontsevich Swiss Cheese conjecture [K2] states that the homotopy category $\mathrm{Ho}(\mathrm{Act}(A))$ of actions of $2$-algebras on $A$ has a final object and that this object is weakly equivalent to the…
One of the open problems in higher category theory is the systematic construction of the higher dimensional analogues of the Gray tensor product of 2-categories. In this paper we continue the developments of [3] and [2] by understanding the…
It is well-known that the tensor product of two bialgebras constitutes the binary product in the category of cocommutative bialgebras and morphisms of bialgebras between them. In this paper, we extend this result to triangular bialgebras…
Let $(\mathcal{C}, \otimes)$ be a monoidal dg-category. We construct a complex controlling the deformation of the monoidal structure on $\mathcal{C}$ together with the deformation of the underlying dg-category itself. We show that in the…
A graded tensor category over a group $G$ will be called a crossed product tensor category if every homogeneous component has at least one multiplicatively invertible object. Our main result is a description of the crossed product tensor…
Given an operad $\mathcal{O}$, we define a notion of weak $\mathcal{O}$-monoids -- which we term $\mathcal{O}$-pseudomonoids -- in a 2-category. In the special case with the 2-category in question is the 2-category $\mathsf{Cat}$ of…
We detail a construction of a symmetric monoidal structure, called the reduced tensor product on the 2-category of braided tensor categories $\mathbf{BTC}(\mathcal{A})$ containing a fixed symmetric fusion subcategory $\mathcal{A}$. The…
We introduce unary operadic 2-categories as a framework for operadic Grothendieck construction for categorical $\mathbb{O}$-operads, $\mathbb{O}$ being a unary operadic category. The construction is a fully faithful functor…
This paper introduces the concept of distorted monoidal categories, a generalization of monoidal and braided monoidal categories that supports non-reversible and direction-sensitive tensor structures. Unlike the classical setting, where the…
In a companion work on the combinatorial quantization of 4d 2-Chern-Simons theory, the author has constructed the Hopf category of quantum 2-gauge transformations $\tilde{C}=\mathbb{U}_q\mathfrak{G}$ acting on the discrete surface-holonomy…
One of the open problems in higher category theory is the systematic construction of the higher dimensional analogues of the Gray tensor product. In this paper we continue the work of [7] to adapt the machinery of globular operads [4] to…
Batanin defines a weak $\omega$-category as an algebra for a certain operad. Leinster refines this idea and defines the weak $\omega$-category operad as the initial object of a category of "operads with contraction". We demonstrate how a…
We show that for any type in Martin-L\"of Intensional Type Theory, the terms of that type and its higher identity types form a weak omega-category in the sense of Leinster. Precisely, we construct a contractible globular operad of definable…
A 2-group is a "categorified" version of a group, in which the underlying set G has been replaced by a category and the multiplication map has been replaced by a functor. Various versions of this notion have already been explored; our goal…