Related papers: Skew-monoidal reflection and lifting theorems
We explain two related constructions on the data of two monoidal symmetric closed categories $\mathscr{A}$ and $\mathscr{E}$ and monoidal functors $F: \mathscr{E}\to \mathscr{A}$ and $G: \mathscr{A}\to \mathscr{E}$. In a first part, we…
Given a monoidal adjunction, we show that the right adjoint induces a braided lax monoidal functor between the corresponding Drinfeld centers provided that certain natural transformations, called projection formula morphisms, are…
Covariant Hom-bimodules are introduced and the structure theory of them in the Hom-setting is studied in a detailed way. The category of bicovariant Hom-bimodules is proved to be a (pre)braided monoidal category and its structure theory is…
In this paper, we introduce a new class of derivations that generalizes skew derivations and semi-derivations, and we call it ``skew semi-derivation". Further, we present a study of the conditions under which this type of multiplicative…
This is the second in a series of papers that develops the theory of reflection monoids, motivated by the theory of reflection groups. Reflection monoids were first introduced in arXiv:0812.2789. In this paper we study their presentations…
In category theory circles it is well-known that the Schreier theory of group extensions can be understood in terms of the Grothendieck construction on indexed categories. However, it is seldom discussed how this relates to extensions of…
If $\mathcal{C}$ is a cocomplete monoidal category in which tensoring from both sides preserves coequalizers, then the category of monoids over $\mathcal{C}$ is cocomplete. The same holds if $\mathcal{C}$ has regular factorizations and…
In this paper we will show how to constructed an Skew-Field with trace-preserving endomorphisms of the affine plane. Earlier in my paper, we doing a detailed description of endomorphisms algebra and trace-preserving endomorphisms algebra in…
We give a detailed account of the theory of enrichment over a bicategory and show that it establishes a two-fold generalization of enrichment over both quantaloids and monoidal categories. We define complete B-categories, a generalization…
Constructions of spectra from symmetric monoidal categories are typically functorial with respect to strict structure-preserving maps, but often the maps of interest are merely lax monoidal. We describe conditions under which one can…
In [LWY23] the authors construct the reflective center of a module category M over a braided monoidal category B. The reflective center is by construction a braided module category over B. In the case where B is the category of modules over…
We show that any equivalence of bounded derived categories of coherent sheaves on a smooth projective complex variety supported in a closed algebraic subset preserves the dimension of the support in two cases: (i) the restriction of the…
We present a method of constructing monoidal, braided monoidal, and symmetric monoidal bicategories from corresponding types of monoidal double categories that satisfy a lifting condition. Many important monoidal bicategories arise…
For a finite group acting on a polynomial ring, the Chevalley-Shephard-Todd Theorem proves that the fixed subring is isomorphic to a polynomial ring if and only if the group is generated by pseudo-reflections. In recent years, progress was…
In this work, we establish certain enrichments of dual algebraic structures in the setting of monoidal double categories. In more detail, we obtain a tensored and cotensored enrichment of monads in comonads, as well as a tensored and…
We develop a rigidity criterion to show that in simplicial model categories with a compatible symmetric monoidal structure, operad structures can be automatically lifted along certain maps. This is applied to obtain an unpublished result of…
For a functor $Q$ from a category $C$ to the category $Pos$ of ordered sets and order-preserving functions, we study liftings of various kind of structures from the base category $C$ to the total(or Grothendieck) category $\int Q$. That…
We define a notion of symmetric monoidal closed (SMC) theory, consisting of a SMC signature augmented with equations, and describe the classifying categories of such theories in terms of proof nets.
A wedge (i.e., a closed nonempty set in the Euclidean space stable under addition and multiplication with non-negative scalars) induces by a standard way a semi-order (a reflexive and transitive binary relation) in the space. The wedges…
We introduce a dynamical Mordell-Lang-type conjecture for coherent sheaves. When the sheaves are structure sheaves of closed subschemes, our conjecture becomes a statement about unlikely intersections. We prove an analogue of this…