The Maximality of Cartesian Categories

It is proved that equations between arrows assumed for cartesian categories are maximal in the sense that extending them with any new equation in the language of free cartesian categories collapses a cartesian category into a preorder. An analogous result holds for categories with binary products, which may lack a terminal object. The proof is based on a coherence result for cartesian categories, which is related to model‐theoretic methods of normalization. This maximality of cartesian categories, which is analogous to Post completeness, shows that the usual equivalence between deductions in conjunctive logic induced by βη normalization in natural deduction is chosen optimally.     

Weak bimonoids in duoidal categories

Weak bimonoids in duoidal categories are introduced. They provide a common generalization of bimonoids in duoidal categories and of weak bimonoids in braided monoidal categories. Under the assumption that idempotent morphisms in the base category split, they are shown to induce weak bimonads (in four symmetric ways). As a consequence, they have four separable Frobenius base (co)monoids, two in each of the underlying monoidal categories. Hopf modules over weak bimonoids are defined by weakly lifting the induced comonad to the Eilenberg–Moore category of the induced monad. Making appropriate assumptions on the duoidal category in question, the fundamental theorem of Hopf modules is proven which says that the category of modules over one of the base monoids is equivalent to the category of Hopf modules if and only if a Galois-type comonad morphism is an isomorphism.     

Skew Monoidal Monoids

Skew monoidal categories are monoidal categories with non-invertible “coherence” morphisms. As shown in a previous article, bialgebroids over a ring R can be characterized as the closed skew monoidal structures on the category Mod-R in which the unit object is R_R. This offers a new approach to bialgebroids and Hopf algebroids. Little is known about skew monoidal structures on general categories. In the present article, we study the one-object case: skew monoidal monoids (SMMs). We show that they possess a dual pair of bialgebroids describing the symmetries of the (co)module categories of the SMM. These bialgebroids are submonoids of their own base and are rank 1 free over the base on the source side. We give various equivalent definitions of SMM, study the structure of their (co)module categories, and discuss the possible closed and Hopf structures on a SMM.     

Azumaya Categories

We define the notions of Azumaya category and Brauer group in category theory enriched over some very general base category V. We prove the equivalence of various definitions, in particular in terms of separable categories or progenerating bimodules. When V is the category of modules over a commutative ring R with unit, we recapture the classical notions of Azumaya algebra and Brauer group and provide an alternative, purely categorical treatment of those theories. But our theory applies as well to the cases of topological, metric or Banach modules, to the sheaves of such structures or graded such structures, and many other examples.     

Universal topological algebra needs closed topological categories

It is shown that a development of universal topological algebra, based in the obvious way on the category of topological spaces, leads in general to a pathological situation. The pathology disappears when the base category is changed to a cartesian closed topological category or to a topological category endowed with a compatible closed symmetric monoidal structure, provided that in the latter case, the algebraic operations are expressed in terms of monoidal powers rather than the usual cartesian powers. With such base categories, universal topological algebra becomes virtually as well-behaved as ordinary (setbased) universal algebra.     

Every topological category is convenient for Gelfand duality

In this paper we generalize our work on Gelfand dualities in cartesian closed topological categories [42] to categories which are only monoidally closed. Using heavily enriched category theory we show that under very mild conditions on the base category function algebra functor and spectral space functor exist, forming a pair of adjoint functors and establishing a duality between function algebras and spectral spaces. Using recent results in connection with semitopological functors, we show that every (E,M)-topological category is endowed with at least oneconvenient monoidal structure admitting a generalized Gelfand duality. So it turns out that there is no need for a cartesian closed structure on a topological category in order to study generalized Gelfand-Naimark dualities.     

A Skew-Duoidal Eckmann-Hilton Argument and Quantum Categories

A general result relating skew monoidal structures and monads is proved. This is applied to quantum categories and bialgebroids. Ordinary categories are monads in the bicategory whose morphisms are spans between sets. Quantum categories were originally defined as monoidal comonads on endomorphism objects in a particular monoidal bicategory ?. Then they were shown also to be skew monoidal structures (with an appropriate unit) on objects in ?. Now we see in what kind of ? quantum categories are merely monads.     

Adjunctions of Hom and Tensor as Endofunctors of (Bi-)Module Categories Over Quasi-Hopf Algebras

For a Hopf algebra H over a commutative ring k and a left H-module V, the tensor functors ? ? _k V and V ? _k  ? are known to be left adjoint to some kind of Hom-functors as endofunctors of _H 𝕄. The units and counits of adjunctions, in this case, are formally trivial as in the classical case.

In this paper, we generalize this Hom-tensor adjunction for (bi-)module categories over a quasi-Hopf algebra H and show that these (bi-)module categories are biclosed monoidal. However, the units and counits of adjunctions in these generalized cases are not as trivial as in the Hopf algebra case, and they should be modified in terms of the reassociator and the quasi-antipode. Also, if the H-module V is finitely generated and projective as a k-module, we will obtain a generalized form of adjunction between the tensor functors ? ?V and ? ?V* depending on the reassociator and quasi-antipode of H and describe a natural isomorphism between functors ? ?V* and Hom _k (V, ?) explicitly. Furthermore, we consider the special case V = A being an H-module algebra. In this case, each tensor functor will be a monad and its corresponding right adjoint is a comonad. We describe isomorphisms between the (Eilenberg–Moore) module categories over these monads and the (Eilenberg–Moore) comodule categories over their corresponding comonads explicitly.     

The weak braided Hopf algebra structure of some Cayley–Dickson algebras

It has been shown by Albuquerque and Majid that a class of unital k-algebras, not necessarily associative, obtained through the Cayley–Dickson process can be viewed as commutative associative algebras in some suitable symmetric monoidal categories. In this note we will prove that they are, moreover, commutative and cocommutative weak braided Hopf algebras within these categories. To this end we first define a Cayley–Dickson process for coalgebras. We then see that the k-vector space of complex numbers, of quaternions, of octonions, of sedenions, etc. fit to our theory, hence they are all monoidal coalgebras as well, and therefore weak braided Hopf algebras.     

Centre of an algebra

Motivated by algebraic structures appearing in Rational Conformal Field Theory we study a construction associating to an algebra in a monoidal category a commutative algebra (full centre) in the monoidal centre of the monoidal category. We establish Morita invariance of this construction by extending it to module categories.As an example we treat the case of group-theoretical categories.     

The cosemisimplicity and cobraided structures of monoidal comonads

In this paper, we study the category of corepresentations of a monoidal comonad. We show that it is a semisimple category if and only if the monoidal comonad is a cosemisipmle (coseparable) comonad, and it is a braided category if and only if the monoidal comonad admit a cobraided structure. At last, as an application, the braided structure and the semisimplicity of the Hom-comodule category of a monoidal Hom-bialgebra are discussed.     

Functorial Calculus in Monoidal Bicategories

The definition and calculus of extraordinary natural transformations is extended to a context internal to any autonomous monoidal bicategory. The original calculus is recaptured from the geometry of the monoidal bicategory V-Mod whose objects are categories enriched in a cocomplete symmetric monoidal category V and whose morphisms are modules.     

Hopf monads on monoidal categories

We define Hopf monads on an arbitrary monoidal category, extending the definition given in Bruguières and Virelizier (2007) [5] for monoidal categories with duals. A Hopf monad is a bimonad (or opmonoidal monad) whose fusion operators are invertible. This definition can be formulated in terms of Hopf adjunctions, which are comonoidal adjunctions with an invertibility condition. On a monoidal category with internal Homs, a Hopf monad is a bimonad admitting a left and a right antipode.Hopf monads generalize Hopf algebras to the non-braided setting. They also generalize Hopf algebroids (which are linear Hopf monads on a category of bimodules admitting a right adjoint). We show that any finite tensor category is the category of finite-dimensional modules over a Hopf algebroid.Any Hopf algebra in the center of a monoidal category C gives rise to a Hopf monad on C. The Hopf monads so obtained are exactly the augmented Hopf monads. More generally if a Hopf monad T is a retract of a Hopf monad P, then P is a cross product of T by a Hopf algebra of the center of the category of T-modules (generalizing the Radford–Majid bosonization of Hopf algebras).We show that the comonoidal comonad of a Hopf adjunction is canonically represented by a cocommutative central coalgebra. As a corollary, we obtain an extension of Sweedler?s Hopf module decomposition theorem to Hopf monads (in fact to the weaker notion of pre-Hopf monad).     

K-Theory of Braided Monoidal Categories

We show that the commutativity constraint of a braided monoidal category gives rise to an algebraic structure on its K-theory known as a Gerstenhaber algebra. If, in addition, the braiding has a compatible balanced structure the Gerstenhaber bracket on the K-theory is generated by a Batalin–Vilkovisky differential. We use these algebraic structures to prove a generalization of the Anderson–Moore–Vafa theorem which says that the order of the twist, in a semi-simple balanced monoidal category with duals and finitely many simple objects, is finite.     

The Catalan Simplicial Set II

The Catalan simplicial set ? is known to classify skew-monoidal categories in the sense that a map from ? to a suitably defined nerve of Cat is precisely a skew-monoidal category (Buckley et al. 2014). We extend this result to the case of skew monoidales internal to any monoidal bicategory ??. We then show that monoidal bicategories themselves are classified by maps from ? to a suitably defined nerve of Bicat and extend this result to obtain a definition of skew-monoidal bicategory that aligns with existing theory.     

The Brauer-Clifford group for locally finite (S,H)-Azumaya algebras

In this article, we define the notion of Brauer-Clifford group for H-locally finite (S, H)-Azumaya algebras, when H is a cocommutative Hopf algebra and S is an H-locally finite commutative H-module algebra over a commutative noetherian ring k. This is the situation that arises in applications with connections to algebraic geometry. This Brauer-Clifford group turns out to be an example of a Brauer group of a symmetric monoidal category.     

Noncommutative mixed (Artin) motives and their motivic Hopf dg algebras

This article is the sequel to (Marcolli and Tabuada in Sel Math 20(1):315–358, 2014). We start by developing a theory of noncommutative (=NC) mixed motives with coefficients in any commutative ring. In particular, we construct a symmetric monoidal triangulated category of NC mixed motives, over a base field k, and a full subcategory of NC mixed Artin motives. Making use of Hochschild homology, we then apply Ayoub’s weak Tannakian formalism to these motivic categories. In the case of NC mixed motives, we obtain a motivic Hopf dg algebra, which we describe explicitly in terms of Hochschild homology and complexes of exact cubes. In the case of NC mixed Artin motives, we compute the associated Hopf dg algebra using solely the classical category of mixed Artin–Tate motives. Finally, we establish a short exact sequence relating the Hopf algebra of continuous functions on the absolute Galois group with the motivic Hopf dg algebras of the base field k and of its algebraic closure. Along the way, we describe the behavior of Ayoub’s weak Tannakian formalism with respect to orbit categories and relate the category of NC mixed motives with Voevodsky’s category of mixed motives.     

Tensor Functional Topology on Woronowicz Categories

Functional topology is concerned with developing topological concepts in a category endowed with certain axiomatically defined classes of morphisms (Clementino et al. 2004). In this paper, we extend functional topology to a monoidal framework, replacing categorical pullbacks by pullbacks relative to the monoidal structure (which itself replaces the product) or more generally relative to a relation on the category (Janelidze, Appl. Categ. Structures, 17(4),351–371, 2009). Our main application is to the opposite Woronowicz category of C ^?-algebras. In this category a natural class of proper morphisms yields the unital algebras as compact objects. When restricted to the commutative C ^?-algebras, we recover exactly the morphisms induced by proper continuous maps of locally compact Hausdorff spaces. We further endow this category with a factorization system and investigate the precise relation with the proper maps, building on an approach which we previously developed with the eye on the category of schemes (Lowen and Mestdagh, J. Pure Appl. Algebra 217(11), 2180–2197, 2013). We also show how our results for C ^?-algebras can naturally be adapted to the opposite Woronowicz category of nondegenerate algebras over a commutative ring.