It is known that Seifert-van Kampen theorem (for “good” topological spaces) can be showed by arguing the category of covering spaces. Similar arguments should be valid for abstract Galois categories (which Mochizuki calls ”connected anabelioids”) and neutral Tannakian categories. But when we try to state the theorem, the problem is the existence of amalgams (in other words, fibered coproducts) ...

The main contribution of this article is to provide a combinatorial Hopf algebra on set partitions, which can be seen as a Hopf subalgebra of the free quasi-symmetric functions, and which is free, cofree and self-dual. This algebraic construction comes naturally from a combinatorial algorithm, an analogous of the Robinson-Schensted correspondence on set partitions. This correspondence also give...

We analyze the structure of the Malvenuto-Reutenauer Hopf algebra of permutations in detail. We give explicit formulas for its antipode, prove that it is a cofree coalgebra, determine its primitive elements and its coradical filtration and show that it decomposes as a crossed product over the Hopf algebra of quasi-symmetric functions. We also describe the structure constants of the multiplicati...

In this paper, some categorical properties of the category { Pre-Dcpo} of all pre-dcpos; pre-ordered sets which are also pre-directed complete, with pre-continuous maps between them is considered. In particular, we characterize products and coproducts in this category. Furthermore, we show that this category is neither complete nor cocomplete. Also, epimorphisms and monomorphisms in {Pre-Dcpo} ...

We study convolution powers id∗n of the identity of graded connected Hopf algebras H . (The antipode corresponds to n = −1.) The chief result is a complete description of the characteristic polynomial—both eigenvalues and multiplicity—for the action of the operator id∗n on each homogeneous component Hm. The multiplicities are independent of n. This follows from considering the action of the (hi...

A class K of coalgebras for an endofunctor T : Set→ Set is a behavioural covariety if it is closed under disjoint unions and images of bisimulation relations (hence closed under images and domains of coalgebraic morphisms, including subcoalgebras). K may be thought of as the class of all coalgebras that satisfy some computationally significant property. In any logical system suitable for specif...

It is widely acknowledged that major recent progress in combinatorics stems from the construction of algebraic structures associated to combinatorial objects, and from the design of algebraic invariants for those objects. For over three decades, numerous Hopf algebras with distinguished bases indexed by families of permutations, words, posets, graphs, tableaux, or variants thereof, have been br...

Consider the coradical filtration of the Hopf algebras of planar binary trees of Loday and Ronco and of permutations of Malvenuto and Reutenauer. We show that the associated graded Hopf algebras are dual to the cocommutative Hopf algebras introduced in the late 1980’s by Grossman and Larson. These Hopf algebras are constructed from ordered trees and heap-ordered trees, respectively. We also sho...

We introduce the Hopf algebra of uniform block permutations and show that it is self-dual, free, and cofree. These results are closely related to the fact that uniform block permutations form a factorizable inverse monoid. This Hopf algebra contains the Hopf algebra of permutations of Malvenuto and Reutenauer and the Hopf algebra of symmetric functions in non-commuting variables of Gebhard, Ros...

We introduce and study bimeasurings from pairs of bialge-bras to algebras. It is shown that the universal bimeasuring bialgebra construction, which arises from Sweedler's universal measuring coalgebra construction and generalizes the finite dual, gives rise to a contravariant functor on the category of bialgebras adjoint to itself. An interpretation of bimeasurings as algebras in the category o...