Quantified functional analysis and seminormed spaces: A dual adjunction

In this work we investigate the natural algebraic structure that arises on dual spaces in the context of quantified functional analysis. We show that the category of absolutely convex modules is obtained as the category of Eilenberg-Moore algebras induced by the dualization functor [−,R] on locally convex approach spaces. We also establish a dual adjunction between the latter category and the category of seminormed spaces.     

Tambarization of a Mackey functor and its application to the Witt–Burnside construction

For an arbitrary group G, a (semi-)Mackey functor is a pair of covariant and contravariant functors from the category of G-sets, and is regarded as a G-bivariant analog of a commutative (semi-)group. In this view, a G-bivariant analog of a (semi-)ring should be a (semi-)Tambara functor. A Tambara functor is firstly defined by Tambara, which he called a TNR-functor, when G is finite. As shown by Brun, a Tambara functor plays a natural role in the Witt–Burnside construction.It will be a natural question if there exist sufficiently many examples of Tambara functors, compared to the wide range of Mackey functors. In the first part of this article, we give a general construction of a Tambara functor from any Mackey functor, on an arbitrary group G. In fact, we construct a functor from the category of semi-Mackey functors to the category of Tambara functors. This functor gives a left adjoint to the forgetful functor, and can be regarded as a G-bivariant analog of the monoid-ring functor.In the latter part, when G is finite, we investigate relations with other Mackey-functorial constructions — crossed Burnside ring, Elliott?s ring of G-strings, Jacobson?s F-Burnside ring — all these lead to the study of the Witt–Burnside construction.     

General Heart Construction on a Triangulated Category (II): Associated Homological Functor

In the preceding part (I) of this paper, we showed that for any torsion pair (i.e., t-structure without the shift-closedness) in a triangulated category, there is an associated abelian category, which we call the heart. Two extremal cases of torsion pairs are t-structures and cluster tilting subcategories. If the torsion pair comes from a t-structure, then its heart is nothing other than the heart of this t-structure. In this case, as is well known, by composing certain adjoint functors, we obtain a homological functor from the triangulated category to the heart. If the torsion pair comes from a cluster tilting subcategory, then its heart coincides with the quotient category of the triangulated category by this subcategory. In this case, the quotient functor becomes homological. In this paper, we unify these two constructions, to obtain a homological functor from the triangulated category, to the heart of any torsion pair.     

Morita Contexts as Lax Functors

Monads are well known to be equivalent to lax functors out of the terminal category. Morita contexts are here shown to be lax functors out of the chaotic category with two objects. This allows various aspects in the theory of Morita contexts to be seen as special cases of general results about lax functors. The account we give of this could serve as an introduction to lax functors for those familiar with the theory of monads. We also prove some very general results along these lines relative to a given 2-comonad, with the classical case of ordinary monad theory amounting to the case of the identity comonad on Cat.     

Generalizations of the Sweedler Dual

As left adjoint to the dual algebra functor, Sweedler’s finite dual construction is an important tool in the theory of Hopf algebras over a field. We show in this note that the left adjoint to the dual algebra functor, which exists over arbitrary rings, shares a number of properties with the finite dual. Nonetheless the requirement that it should map Hopf algebras to Hopf algebras needs the extra assumption that this left adjoint should map an algebra into its linear dual. We identify a condition guaranteeing that Sweedler’s construction works when generalized to noetherian commutative rings. We establish the following two apparently previously unnoticed dual adjunctions: For every commutative ring R the left adjoint of the dual algebra functor on the category of R-bialgebras has a right adjoint. This dual adjunction can be restricted to a dual adjunction on the category of Hopf R-algebras, provided that R is noetherian and absolutely flat.     

Lifting functors to Eilenberg-Moore category of monad generated by functor CpCp

The second iteration of the contravariant functor of spaces of continuous functions in the pointwise convergence topology is a functorial part of a monad (triple) on the category of Tikhonov spaces. The problem of lifting functors to the Eilenberg-Moore category of this monad is investigated.Published in Ukrayins'kyy Matematychnyy Zhurnal, Vol. 44, No. 9, pp. 1289–1291, September, 1992.     

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

Flows With Respect to a Functor

Flows with respect to a functor F are introduced as a common generalization of the concepts of F-co-structured sinks and small F-co-structured sources. Appropriate factorization structures for functors are investigated and used to obtain several results that characterize coadjoint functors that have domains with various completeness conditions. When the functor in question is an identity functor, these results reduce to earlier results of Herrlich and Meyer for flows in a category. Functors of the type in question are shown to be nicely behaved with respect to composition. The dual notion of wolfs with respect to a functor is introduced, as is the concept of (co)limit with respect to a functor.     

Monads generated by monoids

In this note we consider monoids in and (tensored) monadson a monoidal categoryV. We prove the canonical inclusion functor from the category of monoids inV to the category of monads onV to be coadjoint. Furthermore, we show that this adjunction is induced by a monoidal adjunction. We characterize the monads generated by monoids (by means of the inclusion functor).Finally we consider an application to commutative monads (and monoids) and discuss possible generalizations. Some parts of our results have been obtained by M.C. Bunge and H. Wolff in the case of a symmetric monoidal closed category.     

THE FORGETFUL FUNCTOR Cont → Prox IS TOPOLOGICAL

Abstract

It is shown that the forgetful functor from the category of contiguity spaces to the category of generalized proximity spaces is topological, and that the right adjoint right inverse of this functor extends the inverse of the forgetful functor from the category of totally bounded uniform spaces to the category of proximity spaces.     

Monads in double categories

We extend the basic concepts of Street’s formal theory of monads from the setting of 2-categories to that of double categories. In particular, we introduce the double category of monads in a double category C and define what it means for a double category to admit the construction of free monads. Our main theorem shows that, under some mild conditions, a double category that is a framed bicategory admits the construction of free monads if its horizontal 2-category does. We apply this result to obtain double adjunctions which extend the adjunction between graphs and categories and the adjunction between polynomial endofunctors and polynomial monads.     

Adjoints and Monads Related to Compact Lattices and Compact Lawson Idempotent Semimodules

For compact Hausdorff Lawson lattices L that are idempotent semirings with lower semicontinuous multiplications, free compact Hausdorff Lawson L-idempotent semimodules are constructed over compacta and over compact Hausdorff Lawson lower semilattices. It is shown that these free objects are spaces of L-valued regular measures. Related left adjoint functors and monads are described.     

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.     

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.     

Sober拓扑分子格

A topological molecular lattice (TML) is a pair (L, T), where L is a completely distributive lattice and r is a subframe of L. There is an obvious forgetful functor from the category TML of TML‘s to the category Loc of locales. In this note,it is showed that this forgetful functor has a right adjoint. Then, by this adjunction,a special kind of topological molecular lattices called sober topological molecular lattices is introduced and investigated.     

Sums of Lattices and a Relational Category

We introduce a new relational category of lattices, and an analogous category of complete lattices. These categories allow us to construct sums of (complete) lattices. While previous constructions used two functors (or, for complete lattices, a single functor that had an adjoint), we need only a single functor (and no additional property when complete lattices are considered). In the finite case, the present construction is easy to visualize.     

SHAPE AND INDUCED REPRESENTATIONS

Abstract

Let K: P → T be a fixed functor. A criterion is given for a functor M': T → V to be a (right) Kan extension along K of some functor M: P → V. The functors M having a given M' as Kan extension are, in general, classified by continuous functors (V ^P)^o → V. We introduce a notion of system of imprimitivity, generalizing that of Mackey; when the shape category of K is codense in the systems of imprimitivity classify the functors H having M' as Kan extension. As a special case one obtains Mackey's Imprimitivity Theorem for finite groups.     

The Stone-Čech compactification of a partial frame via ideals and cozero elements

A partial frame is a meet-semilattice in which certain designated subsets are required to have joins, and finite meets distribute over these. The designated subsets are specified by means of a so-called selection function, denoted by S ; these partial frames are called S-frames.

We construct free frames over S-frames using appropriate ideals, called S-ideals. Taking S-ideals gives a functor from S-frames to frames. Coupled with the functor from frames to S-frames that takes S-Lindelöf elements, it provides a category equivalence between S-frames and a non-full subcategory of frames. In the setting of complete regularity, we provide the functor taking S-cozero elements which is right adjoint to the functor taking S-ideals. This adjunction restricts to an equivalence of the category of completely regular S-frames and a full subcategory of completely regular frames. As an application of the latter equivalence, we construct the Stone-? ech compactification of a completely regular S-frame, that is, its compact coreflection in the category of completely regular S-frames.

A distinguishing feature of the study of partial frames is that a small collection of axioms of an elementary nature allows one to do much that is traditional at the level of frames or locales and of uniform or nearness frames. The axioms are sufficiently general to include as examples of partial frames bounded distributive lattices, σ-frames, κ-frames and frames.     

Localizations, colocalizations and non additive ∗-objects

Given two arbitrary categories, a pair of adjoint functors between them induces three pairs of full subcategories, as follows: the subcategories of reflexive objects, that is objects for which the unit (respectively counit) of the adjunction is an isomorphism; the subcategories of local (respectively colocal) objects w.r.t. these adjoint functors; the subcategories of cogenerated (respectively generated) objects w.r.t. this adjoint pair, namely objects for which the unit (counit) of the adjunction is a monomorphism (an epimorphism). We investigate some cases in which the subcategory of reflexive objects coincide with the subcategory of (co)local objects or with the subcategory of (co)generated objects. As an application we define and characterize (weak) ∗-objects in the non additive case, more precisely weak ∗-acts.