We prove a finite-dimensional covariant Stinespring theorem for compact quantum groups. Let G be group, and let T:= Rep(G) the rigid C*-tensor category of continuous unitary representations G. Mod(T) C*-2-category cofinite semisimple finitely decomposable T-module categories. show that G-C*-algebras can identified with equivalence classes 1-morphisms out object T in Mod(T). For X: -> M1, Y: M2,...

The category CoalgΣ of coalgebras with respect to a (bounded) signature Σ is known to be locally finitely presentable (see [1]). We strenghten this result by showing that CoalgΣ even is a presheaf category. Moreover, we give a presentation of this category as the category of all algebras of some (many-sorted) signature (without any equations). Σ–coalgebras, i.e., coalgebras with respect to a po...

In this paper, we studied the category of EQ-algebras and showed that it is complete, but not cocomplete, in general. We proved multiplicatively relative have coequlizers calculated coproduct pushout a special case. Also, constructed free EQ-algebra on singleton.

Keywords: Exponential subcategory of a category, cartesian closed category, initially structured category, category of partial algebras of the same type, partial algebra fulllling the interchange law, diagonal partial algebra. Abstract: We study categories of partial algebras of the same type. In these categories we deene a binary operation of exponentiation for objects and investigate its beha...

In a perfect category every object has a minimal projective resolution. We give a sufficient condition for the category of modules over a category-graded algebra to be perfect. AMS Subject Classification (2000): 18E15, 16W50. In [6] the second author explored homological properties of algebras graded over a small category. Our interest in these algebras arose from our research on the homologica...

By de Vries duality, the category of compact Hausdorff spaces is dually equivalent to the category of de Vries algebras (complete Boolean algebras endowed with a proximity-like relation). We provide an alternative “modal-like” duality by introducing the concept of a Gleason space, which is a pair (X,R), where X is an extremally disconnected compact Hausdorff space and R is an irreducible equiva...

We show that the category A(G) of actions of a locally compact group G on C∗-algebras (with equivariant nondegenerate ∗-homomorphisms into multiplier algebras) is equivalent, via a full-crossed-product functor, to a comma category of maximal coactions of G under the comultiplication (C∗(G), δG); and also that A(G) is equivalent, via a reduced-crossed-product functor, to a comma category of norm...