Related papers: Adjunctions and Braided Objects

We show that two constructions yield equivalent braided monoidal categories. The first is topological, based on Legendrian tangles and skein relations, while the second is algebraic, in terms of chain complexes with complete flag and…

We introduce the notion of a monoidal category enriched in a braided monoidal category $\mathcal V$. We set up the basic theory, and prove a classification result in terms of braided oplax monoidal functors to the Drinfeld center of some…

In the well-known settings of category theory enriched in a monoidal category V, the use of V-enriched functor categories and bifunctors demands that V be equipped with a symmetry, braiding, or duoidal structure. In this paper, we establish…

Motivated by the weighted Hurwitz product on sequences in an algebra, we produce a family of monoidal structures on the category of Joyal species. We suggest a family of tensor products for charades. We begin by seeing weighted derivational…

We construct the join of noncommutative Galois objects (quantum torsors) over a Hopf algebra H. To ensure that the join algebra enjoys the natural (diagonal) coaction of H, we braid the tensor product of the Galois objects. Then we show…

This is an account of some work of Markus Rost and his students Dominik Boos and Susanne Maurer. We adapt it to the braided monoidal setting.

Categories are coreflectively embedded in multicategories via the "discrete cocone" construction, the right adjoint being given by the monoid construction. Furthermore, the adjunction lifts to the "cartesian level": preadditive categories…

In a triangulated symmetric monoidal closed category, there are natural dualities induced by the internal Hom. Given a monoidal functor f^* between two such catgories and adjoint couples (f^*,f_*) and (f_*,f^!), we prove the necessary…

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…

A braided monoidal category may be considered a $3$-category with one object and one $1$-morphism. In this paper, we show that, more generally, $3$-categories with one object and $1$-morphisms given by elements of a group $G$ correspond to…

We show that every braiding on a monoidal bicategory induces a monoidal structure on its bicategory of monoids, such that if the former is sylleptic or symmetric then the latter is braided or symmetric, respectively. This extends a classic…

In this paper we explain the relationship between Frobenius objects in monoidal categories and adjunctions in 2-categories. In particular, we show that every Frobenius object in a monoidal category M arises from an ambijunction…

We study lax functors between bicategories as a generalized concept of monads and describe generalized notions and theorems of formal monad theory for lax functors. Our first approach is to use the 2-monad whose lax algebras are lax…

The category of (colored) props is an enhancement of the category of colored operads, and thus of the category of small categories. The titular category has nice formal properties: it is bicomplete and is a symmetric monoidal category, with…

Every monoidal functor G: C --> M has a canonical factorization through the category of bimodules over some monoid R in M such that the factor U: C -->_R M_R is strongly unital. Using this result and the characterization of the forgetful…

In a previous paper we introduced the concept of semiseparable functor. Here we continue our study of these functors in connection with idempotent (Cauchy) completion. To this aim, we introduce and investigate the notions of (co)reflection…

In this paper, we study Clifford algebra construction from the perspective of adjunctions motivated by the general framework of Krashen and Lieblich. We introduce a category of weighted polynomial laws whose associated Clifford algebra…

The notion of a duality between two derived functors as well as an extension theorem for derived functors to larger categories in which they need not be defined is introduced. These ideas are then applied to extend and study the coext…

We introduce a generalization of monads, called relative monads, allowing for underlying functors between different categories. Examples include finite-dimensional vector spaces, untyped and typed lambda-calculus syntax and indexed…

We introduce the concept of pseudotwistor (with particular cases called twistor and braided twistor) for an algebra $(A, \mu, u)$ in a monoidal category, as a morphism $T:A\otimes A\to A\otimes A$ satisfying a list of axioms ensuring that…