Bicategories of partial maps
In a braided monoidal category C we consider Hopf bimodules and crossed modules over a braided Hopf algebra H. We show that both categories are equivalent. It is discussed that the category of Hopf bimodule bialgebras coincides up to isomorphism with the category of bialgebra projections over H. Using these results we generalize the Radford-Majid criterion and show that bialgebra cross products over the Hopf algebra H are precisely described by H-crossed module bialgebras. In specific braided monoidal...
An existing description of the cartesian closed topological hull of , the category of extended pseudo-metric spaces and nonexpansive maps, is simplified, and as a result, this hull is shown to be a special instance of a “family” of cartesian closed topological subconstructs of , the category of extended pseudo-quasi-semi-metric spaces (also known as quasi-distance spaces) and nonexpansive maps. Furthermore, another special instance of this family yields the cartesian closed topological hull of...