Lax monads: Indexed monoidal monads

Motivated by the problem of internalizing Enriched Category Theory in a topos, we investigate the notion of a lax monad T on a bicategory B for which we can construct the bicategory B^T of ‘matrices of T-algebras’ and we prove a factorization theorem to this effect.     

模糊拓扑空间中的单子及其逼近原理

在k-饱和的非标准模型下,以自然的方式定义了模糊拓扑空间中的N-单子,Q-单子和R-单子,并证明了它们相应的逼近原理,讨论了它们之间的相互关系.     

Hopf monads

We introduce and study Hopf monads on autonomous categories (i.e., monoidal categories with duals). Hopf monads generalize Hopf algebras to a non-braided (and non-linear) setting. In particular, any monoidal adjunction between autonomous categories gives rise to a Hopf monad. We extend many fundamental results of the theory of Hopf algebras (such as the decomposition of Hopf modules, the existence of integrals, Maschke's criterium of semisimplicity, etc.) to Hopf monads. We also introduce and study quasitriangular and ribbon Hopf monads (again defined in a non-braided setting).     

Order-adjoint monads and injective objects

Given a monad T on whose functor factors through the category of ordered sets with left adjoint maps, the category of Kleisli monoids is defined as the category of monoids in the hom-sets of the Kleisli category of T. The Eilenberg-Moore category of T is shown to be strictly monadic over the category of Kleisli monoids. If the Kleisli category of T moreover forms an order-enriched category, then the monad induced by the new situation is Kock-Zöberlein. Injective objects in the category of Kleisli monoids with respect to the class of initial morphisms then characterize the objects of the Eilenberg-Moore category of T, a fact that allows us to recuperate a number of known results, and present some new ones.     

Order completion monads

Categories of partially ordered sets that are complete under least upper bounds of subsets of a given form (finite, chains, etc.) are characterized as categories of algebras for submonads of the monad of complete semilattices. A general completion construction is given, and several structural properties, such as tensor products, colimits, and factorizations, are studied.MEC (Spain) postdoctoral research fellow. On leave from Dto. Algebra y Fund., Universidad de Santiago. Research conducted at the Mathematics Department, University of California at Berkeley.Presented by F. E. J. Linton.     

Cohomological characterisation of monads

Let X be an n‐dimensional smooth projective variety with an n‐block collection , with , of coherent sheaves on X that generate the bounded derived category . We give a cohomological characterisation of torsion‐free sheaves on X that are the cohomology of monads of the form where . We apply the result to get a cohomological characterisation when X is the projective space, the smooth hyperquadric or the Fano threefold V₅. We construct a family of monads on a Segre variety and apply our main result to this family.     

Graded monads and rings of polynomials

Models for free graded monads over the category of sets are constructed. Certain rings of generalized noncommutative polynomials, generated by an operation of arbitrary arity, are implemented as subrings of classical rings of noncommutative polynomials. It is shown that natural homomorphisms from rings of generalized polynomials to rings of the usual commutative polynomials are not inclusions as a rule. For instance, the natural homomorphism , where t is a binary variable, is not an inclusion even if t is subject to the alternating condition. Bibliography: 2 titles. __________ Translated from Zapiski Nauchnykh Seminarov POMI, Vol. 349, 2007, pp. 174–210.     

The weak theory of monads

We construct a ‘weak’ version EMw(K) of Lack and Street's 2-category of monads in a 2-category K, by replacing their compatibility constraint of 1-cells with the units of monads by an additional condition on the 2-cells. A relation between monads in EMw(K) and composite pre-monads in K is discussed. If K admits Eilenberg-Moore constructions for monads, we define two symmetrical notions of ‘weak liftings’ for monads in K. If moreover idempotent 2-cells in K split, we describe both kinds of weak lifting via an appropriate pseudo-functor EMw(K)→K. Weak entwining structures and partial entwining structures are shown to realize weak liftings of a comonad for a monad in these respective senses. Weak bialgebras are characterized as algebras and coalgebras, such that the corresponding monads weakly lift for the corresponding comonads and also the comonads weakly lift for the monads.     

On monads in saturated enlargements

We show that under a stronger hypothesis, a theorem of Luxemburg can be sharpened.     

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).     

Cyclic Relative Difference Sets and their p-Ranks

By modifying the constructions in Helleseth et al. [10] and No [15], we construct a family of cyclic ((q ^3k –1)/(q–1), q–1, q ^3k–1, q ^3k–2) relative difference sets, where q=3 ^e . These relative difference sets are liftings of the difference sets constructed in Helleseth et al. [10] and No [15]. In order to demonstrate that these relative difference sets are in general new, we compute p-ranks of the classical relative difference sets and 3-ranks of the newly constructed relative difference sets when q=3. By rank comparison, we show that the newly constructed relative difference sets are never equivalent to the classical relative difference sets, and are in general inequivalent to the affine GMW difference sets.     

Leibnizian,Robinsonian, and Boolean valued monads

This is an overview of the present-day versions of monadology with some applications to vector lattices and linear inequalities. Two approaches to combining nonstandard set-theoretic models are sketched and illustrated by order convergence, principal projection, and polyhedrality.     

The formal theory of monoidal monads

We give a 3-categorical, purely formal argument explaining why on the category of Kleisli algebras for a lax monoidal monad, and dually on the category of Eilenberg–Moore algebras for an oplax monoidal monad, we always have a natural monoidal structures. The key observation is that the 2-category of lax monoidal monads in any 2-category D with finite products is isomorphic to the 2-category of monoidal objects with oplax morphisms in the 2-category of monads with lax morphisms in D. We explain at the end of the paper that a similar phenomenon occurs in many other situations.     

Cyclic quartic fields and genus theory of their subfields

Let k = $\text{Q}$(√u) (u ≠ 1 squarefree), K any possible cyclic quartic field containing k. A close relation is established between K and the genus group of k. In particular: (1) Each K can be written uniquely as K = $\text{Q}$(√vwη), where η is fixed in k and satisfies η ? 1, (η) = $\text{U}$²√u, |$\text{U}$²| = |(√u)|, (v, u) = 1, v ∈ $\text{Z}$ is squarefree, w|u, 0 < w < √u. Thus if u ≠ a² + b², there is no K ? k. If u = a² + b² then for each fixed v there are 2^{g ? 1}K ? k, where g is the number of prime divisors of u. (2) $\text{K}\text{k}$ has a relative integral basis (RIB) (i.e., O_K is free over O_k) iff N(ε₀) = ?1 and w = 1, where ε₀ is the fundamental unit of k, (or, equivalently, iff K = $\text{Q}$(√vε₀√u), (v, u) = 1). (3) A RIB is constructed explicitly whenever it exists. (4) disc(K) is given. In particular, the following results are special cases of (2): (i) Narkiewicz showed in 1974 that $\text{K}\text{k}$ has a RIB if u is a prime; (ii) Edgar and Peterson (J. Number Theory12 (1980), 77–83) showed that for u composite there is at least one K ? k having no RIB. Besides, it follows from (4) that the classification and integral basis of K given by Albert (Ann. of Math.31 (1930), 381–418) are wrong.     

Levelwise modules over separable monads on stable derivators

We show that given a separable cocontinuous monad on a triangulated derivator, the levelwise Eilenberg–Moore categories of modules glue together to a triangulated derivator. As an application, we give examples of derivators that are stable but not strong.