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.     

Internal Kleisli categories

A construction of Kleisli objects in 2-categories of noncartesian internal categories or categories internal to monoidal categories is presented.     

Injective spaces via adjunction

The work of the present author and his coauthors over the past years gives evidence that it may be useful to regard each topological space as a kind of enriched category, by interpreting the convergence relation x→x between ultrafilters and points of a topological space X as arrows in X. Naturally, this point of view opens the door to the use of concepts and ideas from enriched Category Theory for the investigation of topological spaces. Topological theories introduced by the author provide a convenient general setting for appropriately transferring these concepts and ideas to the world of topological spaces and some other geometric objects such as approach spaces. Using tools like adjunction and the Yoneda lemma, we show that the cocomplete spaces are precisely the injective spaces, and they are algebras for a suitable monad on . This way we obtain enriched versions of known results about injective topological spaces and continuous lattices.     

Descent in ∗ -autonomous categories

We extend the result of Joyal and Tierney asserting that a morphism of commutative algebras in the ∗-autonomous category of sup-lattices is an effective descent morphism for modules if and only if it is pure, to an arbitrary ∗-autonomous category V (in which the tensor unit is projective) by showing that any V-functor out of V is precomonadic if and only if it is comonadic.     

Topological theories and closed objects

Recent work of several authors shows that many categories of interest to topologists can be represented as categories of lax algebras. In this paper we introduce the concept of a topological theory as a syntactical tool to deal with lax algebras, and show the usefulness of our approach by applying it to the study of function spaces.     

The enriched Vietoris monad on representable spaces

Employing a formal analogy between ordered sets and topological spaces, over the past years we have investigated a notion of cocompleteness for topological, approach and other kind of spaces. In this new context, the down-set monad becomes the filter monad, cocomplete ordered set translates to continuous lattice, distributivity means disconnectedness, and so on. Curiously, the dual(?) notion of completeness does not behave as the mirror image of the one of cocompleteness; and in this paper we have a closer look at complete spaces. In particular, we construct the “up-set monad” on representable spaces (in the sense of L. Nachbin for topological spaces, respectively C. Hermida for multicategories); we show that this monad is of Kock–Zöberlein type; we introduce and study a notion of weighted limit similar to the classical notion for enriched categories; and we describe the Kleisli category of our “up-set monad”. We emphasise that these generic categorical notions and results can be indeed connected to more “classical” topology: for topological spaces, the “up-set monad” becomes the lower Vietoris monad, and the statement “X   is totally cocomplete if and only if X^op$X^{\mathrm{op}}$ is totally complete” specialises to O. Wyler's characterisation of the algebras of the Vietoris monad on compact Hausdorff spaces as precisely the continuous lattices.     

On the Penon method of weakening algebraic structures

We consider a generalization of the Penon approach to the definition of weak n-category and compare his definition with that of the author.     

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.     

Beck's theorem for pseudo-monads

In this work we establish a 2-categorical analogue of Beck's theorem characterizing monadic functors. We show that a 2-functor (a pseudo-functor) U is monadic iff it is a right pseudo-adjoint, it reflects adjoint equivalences and it creates U-absolute pseudo-coequalizers of codescent objects.     

CONNEXION PROPERTIES AND FACTORISATION THEOREMS

Abstract

With the introduction of several new factorisation theorems, this paper is intended to show that previous efforts of the authors [3] [5] and of Strecker [15] to describe the factorisations involving connectedness are incomplete. In Section 1 we give a purely topological construction of such a factorisation, in which the right factor is the class of spreads and the left factor has a certain property hereditarily: crucially, not all members of the left factor need be quotients. Section 2 shows that, given a left factor consisting of onto maps in the category T of topological spaces, then the class of mappings with the relevant properties hereditarily is also a left factor, and the result of section 1 is a particular case of this. Section 3 combines the material in [3] on intrinsic connexion properties with ideas of Preuss (see [1]) on disconnectednesses to yield another range of factorisations, for example, involving the maps with strongly connected fibres; and Section 4 notes some outstánding problems which our work has provoked.     

On the completion monad via the Yoneda embedding in quasi-uniform spaces

Making use of the presentation of quasi-uniform spaces as generalised enriched categories, and employing in particular the calculus of modules, we define the Yoneda embedding, prove a (weak) Yoneda Lemma, and apply them to describe the Cauchy completion monad for quasi-uniform spaces.     

Spectra of digraphs

In this primarily expository paper we survey classical and some more recent results on the spectra of digraphs, equivalently, the spectra of (0,1)-matrices, with emphasis on the spectral radius.     

On oriented graphs whose skew spectral radii do not exceed 2

Let S(G^σ)$S(G^{\sigma })$ be the skew adjacency matrix of the oriented graph G^σ$G^{\sigma }$ of order n   and _λ1,_λ2,…,_λn${\lambda }_1,{\lambda }_2,\dots ,{\lambda }_n$ be all eigenvalues of S(G^σ)$S(G^{\sigma })$. The skew spectral radius _ρs(G^σ)${\rho }_s(G^{\sigma })$ of G^σ$G^{\sigma }$ is defined as max{|_λ1|,|_λ2|,…,|_λn|}$\max \{|{\lambda }_1|,|{\lambda }_2|,\dots ,|{\lambda }_n|\}$. In this paper, we investigate oriented graphs whose skew spectral radii do not exceed 2.     

Eigenvalues and colorings of digraphs

Wilf’s eigenvalue upper bound on the chromatic number is extended to the setting of digraphs. The proof uses a generalization of Brooks’ Theorem to digraph colorings.     

Pointed protomodularity via natural imaginary subtractions

We present a new approach to pointed protomodular categories with binary coproducts, via so-called natural imaginary subtractions. This allows, among other things, to emphasize some new aspects of the similarity and the distinction between these and additive categories.     

A proof of the existence of Batanin's initial operad

In this paper we prove the existence of the n-globular operad used in Batanin's definition of weak n-category. This operad is initial in the category of n-globular operads equipped with two extra pieces of structure: a system of compositions and a contraction. Our approach closely follows a proof by Leinster of the existence of a similar n-globular operad used in his definition of weak n-category (itself a variant of Batanin's definition) – we show that there is a functor giving the free operad equipped with a contraction and system of compositions on an n-globular collection, and applying this functor to the initial collection gives the desired initial operad. Since there is no interaction between the contraction and operad structures we are able to treat their free constructions separately. This is not true of the system of compositions structure, which cannot exist separately from the operad structure, so we use an interleaving-style construction to describe the free operad with system of compositions.