When A and B are countable dense subsets of R, it is a well-known result of Cantor that A and B are order-isomorphic. A theorem of K.F. Barth and W.J. Schneider states that the order-isomorphism can be taken to be very smooth, in fact the restriction to R of an entire function. J.E. Baumgartner showed that consistently 2א0 > א1 and any two subsets of R having א1 points in every interval are ord...

in this paper we define an order structure on the $p$-operator projective tensor product of herz algebras and we show that the canonical isometric isomorphism between $a_p(gtimes h)$ and $a_p(g)widehat{otimes}^p a_p(h)$ is an order isomorphism for amenable groups $g$ and $h$.

Due to the nature of product in the category of locales, the entourage uniformities in the point-free context only mimic the classical Weil approach while the cover (Tukey type) ones can be viewed as an immediate extension. Nevertheless the resulting categories are concretely isomorphic. We present a transparent construction of this isomorphism, and apply it to the natural uniformities of local...

From an arbitrary temporal logic institution we show how to set-up the corresponding institution of objects. The main properties of the resulting institution are studied and used in establishing the denotational, categorial semantics of several basic object specification constructs, namely aggregation (parallel composition), interconnection, abstraction (interfacing) and monotonic specializatio...

The category is introduced as an ordered 5-tuple of the form 〈O,M,dom,cod, ·, id〉 where O (objects) and M (morphisms) are arbitrary nonempty sets, dom and cod map M onto O and assign to a morphism domain and codomain, · is a partial binary map from M×M to M (composition of morphisms), id applied to an object yields the identity morphism. We define the basic notions of the category theory such a...

A sovereign monoidal category is an autonomous monoidal category endowed with the choice of an autonomous structure and an isomorphism of monoidal functors between the associated left and right duality functors. In this paper we define and study the algebraic counterpart of sovereign monoidal categories: cosovereign Hopf algebras. In this framework we find a categorical characterization of invo...

The main purpose of this paper is to introduce the concept of general Γ-hypermodules as a generalization of Γ-hypermodules, as a generalization of Γ-modules and as a generalization of modules. Then we extended the isomorphism theorems to general Γhypermodules. Also, it is observer that if N is a normal Γ-subhypermodule of Γ-hypermodule M, then, [M : N∗] is an abelian group. Finally, we show tha...

This is the first of two papers which construct a purely algebraic counterpart to the theory of Gromov-Witten invariants (at all genera). These GromovWitten type invariants depend on a Calabi-Yau A∞ category, which plays the role of the target in ordinary Gromov-Witten theory. When we use an appropriate A∞ version of the derived category of coherent sheaves on a Calabi-Yau variety, this constru...

Here HOM is the functor category, π∗ is induced by the natural projection π : hocolimI C −→ I, 0 is the category with only one map and id maps the only object of 0 to the identity functor. A reason for using the above definitions is that taking nerves one recovers the usual homotopy (co)limits for simplicial sets, up to homotopy in the case of hocolim ([T]) and up to isomorphism in the case of ...

Let τ be an invertible skew pairing on (B,H), where B and H are Hopf algebras in a symmetric monoidal category C with (co)equalizers. Assume that H is quasitriangular. Then we obtain a new algebra structure such that B is a Hopf algebra in the braided category HYD and there exists a Hopf algebra isomorphism w : B∞H → B τH in C, where B∞H is a Hopf algebra with (co)algebra structure the smash (c...