Results 1  10
of
44
Tensor products of modules for a vertex operator algebras and vertex tensor categories
 in: Lie Theory and Geometry, in honor of Bertram Kostant
, 1994
"... In this paper, we present a theory of tensor products of classes of modules for a vertex operator algebra. We focus on motivating and explaining new structures and results in this theory, rather than on proofs, which are being presented in a series of papers beginning with [HL4] and [HL5]. An announ ..."
Abstract

Cited by 44 (5 self)
 Add to MetaCart
In this paper, we present a theory of tensor products of classes of modules for a vertex operator algebra. We focus on motivating and explaining new structures and results in this theory, rather than on proofs, which are being presented in a series of papers beginning with [HL4] and [HL5]. An announcement has also appeared [HL1].
Higherdimensional algebra II: 2Hilbert spaces
"... A 2Hilbert space is a category with structures and properties analogous to those of a Hilbert space. More precisely, we define a 2Hilbert space to be an abelian category enriched over Hilb with a ∗structure, conjugatelinear on the homsets, satisfying 〈fg,h 〉 = 〈g,f ∗ h 〉 = 〈f,hg ∗ 〉. We also ..."
Abstract

Cited by 43 (13 self)
 Add to MetaCart
A 2Hilbert space is a category with structures and properties analogous to those of a Hilbert space. More precisely, we define a 2Hilbert space to be an abelian category enriched over Hilb with a ∗structure, conjugatelinear on the homsets, satisfying 〈fg,h 〉 = 〈g,f ∗ h 〉 = 〈f,hg ∗ 〉. We also define monoidal, braided monoidal, and symmetric monoidal versions of 2Hilbert spaces, which we call 2H*algebras, braided 2H*algebras, and symmetric 2H*algebras, and we describe the relation between these and tangles in 2, 3, and 4 dimensions, respectively. We prove a generalized DoplicherRoberts theorem stating that every symmetric 2H*algebra is equivalent to the category Rep(G) of continuous unitary finitedimensional representations of some compact supergroupoid G. The equivalence is given by a categorified version of the Gelfand transform; we also construct a categorified version of the Fourier transform when G is a compact abelian group. Finally, we characterize Rep(G) by its universal properties when G is a compact classical group. For example, Rep(U(n)) is the free connected symmetric 2H*algebra on one even object of dimension n. 1
Frobenius monads and pseudomonoids
 2CATEGORIES COMPANION 73
, 2004
"... Six equivalent definitions of Frobenius algebra in a monoidal category are provided. In a monoidal bicategory, a pseudoalgebra is Frobenius if and only i f it is star autonomous. Autonomous pseudoalgebras are also Frobenius. What i t means for a morphism of a bicategory to be a projective equivalenc ..."
Abstract

Cited by 19 (4 self)
 Add to MetaCart
Six equivalent definitions of Frobenius algebra in a monoidal category are provided. In a monoidal bicategory, a pseudoalgebra is Frobenius if and only i f it is star autonomous. Autonomous pseudoalgebras are also Frobenius. What i t means for a morphism of a bicategory to be a projective equivalence is defined; this concept is related to "strongly separable " Frobenius algebras and "weak monoidal Morita equivalence". Wreath products of Frobenius algebras are discussed.
Quantum categories, star autonomy, and quantum groupoids
 in "Galois Theory, Hopf Algebras, and Semiabelian Categories", Fields Institute Communications 43 (American Math. Soc
, 2004
"... Abstract A useful general concept of bialgebroid seems to be resolving itself in recent publications; we give a treatment in terms of modules and enriched categories. Generalizing this concept, we define the term "quantum category"in a braided monoidal category with equalizers distributed ..."
Abstract

Cited by 19 (8 self)
 Add to MetaCart
Abstract A useful general concept of bialgebroid seems to be resolving itself in recent publications; we give a treatment in terms of modules and enriched categories. Generalizing this concept, we define the term "quantum category"in a braided monoidal category with equalizers distributed over by tensoring with an object. The definition of antipode for a bialgebroid is less resolved in the literature. Our suggestion is that the kind of dualization occurring in Barr's starautonomous categories is more suitable than autonomy ( = compactness = rigidity). This leads to our definition of quantum groupoid intended as a "Hopf algebra with several objects". 1.
The representation category of the quantum group of a nondegenerate bilinear form
 Comm. Algebra
"... We show that the representation category of the quantum group of a nondegenerate bilinear form is monoidally equivalent to the representation category of the quantum group SLq(2) for a wellchosen nonzero parameter q. The key ingredient for the proof of this result is the direct and explicit const ..."
Abstract

Cited by 14 (2 self)
 Add to MetaCart
We show that the representation category of the quantum group of a nondegenerate bilinear form is monoidally equivalent to the representation category of the quantum group SLq(2) for a wellchosen nonzero parameter q. The key ingredient for the proof of this result is the direct and explicit construction of an appropriate Hopf bigalois extension. Then we get, when the base field is of characteristic zero, a full description of cosemisimple Hopf algebras whose representation semiring is isomorphic to the one of SL(2).
Adjointable monoidal functors and quantum groupoids, Hopf algebras in noncommutative geometry and physics
 Lecture Notes in Pure and
"... Abstract. Every monoidal functor G: C → M has a canonical factorization through the category RMR of bimodules in M over some monoid R in M in which the factor U: C → RMR is strongly unital. Using this result and the characterization of the forgetful functors MA → RMR of bialgebroids A over R given b ..."
Abstract

Cited by 13 (2 self)
 Add to MetaCart
Abstract. Every monoidal functor G: C → M has a canonical factorization through the category RMR of bimodules in M over some monoid R in M in which the factor U: C → RMR is strongly unital. Using this result and the characterization of the forgetful functors MA → RMR of bialgebroids A over R given by Schauenburg [15] together with their bimonad description given by the author in [18] here we characterize the ”long ” forgetful functors MA → RMR → M of both bialgebroids and weak bialgebras. 1.
The monoidal EilenbergMoore construction and bialgebroids
"... Abstract. Monoidal functors U: C → M with left adjoints determine, in a universal way, monoids T in the category of oplax monoidal endofunctors on ”quantum groupoids ” we derive Tannaka duality between left adjointable monoidal functors and bimonads. Bialgebroids, i.e., Takeuchi’s ×Rbialgebras, app ..."
Abstract

Cited by 12 (3 self)
 Add to MetaCart
Abstract. Monoidal functors U: C → M with left adjoints determine, in a universal way, monoids T in the category of oplax monoidal endofunctors on ”quantum groupoids ” we derive Tannaka duality between left adjointable monoidal functors and bimonads. Bialgebroids, i.e., Takeuchi’s ×Rbialgebras, appear as the special case when T has also a right adjoint. Street’s 2category of monads then leads to a natural definition of the 2category of bialgebroids. Contents
Quantum and classical structures in nondeterministic computation
 Proceedings of Quanum Interaction 2009, Lecture
"... Abstract. In categorical quantum mechanics, classical structures characterize the classical interfaces of quantum resources on one hand, while on the other hand giving rise to some quantum phenomena. In the standard Hilbert space model of quantum theories, classical structures over a space correspon ..."
Abstract

Cited by 9 (2 self)
 Add to MetaCart
Abstract. In categorical quantum mechanics, classical structures characterize the classical interfaces of quantum resources on one hand, while on the other hand giving rise to some quantum phenomena. In the standard Hilbert space model of quantum theories, classical structures over a space correspond to its orthonormal bases. In the present paper, we show that classical structures in the category of relations correspond to direct sums of abelian groups. Although relations are, of course, not an interesting model of quantum computation, this result has some interesting computational interpretations. If relations are viewed as denotations of nondeterministic programs, it uncovers a wide variety of nonstandard quantum structures in this familiar area of classical computation. Ironically, it also opens up a version of what in philosophy of quantum mechanics would be called an onticepistemic gap, as it provides no interface to these nonstandard quantum structures. 1
Representations of algebraic quantum groups and reconstruction theorems for tensor categories
"... We give a pedagogical survey of those aspects of the abstract representation theory of quantum groups which are related to the TannakaKrein reconstruction problem. We show that every concrete semisimple tensor ∗category with conjugates is equivalent to the category of finite dimensional nondegene ..."
Abstract

Cited by 8 (4 self)
 Add to MetaCart
We give a pedagogical survey of those aspects of the abstract representation theory of quantum groups which are related to the TannakaKrein reconstruction problem. We show that every concrete semisimple tensor ∗category with conjugates is equivalent to the category of finite dimensional nondegenerate ∗representations of a discrete algebraic quantum group. Working in the selfdual framework of algebraic quantum groups, we then relate this to earlier results of S. L. Woronowicz and S. Yamagami. We establish the relation between braidings and Rmatrices in this context. Our approach emphasizes the role of the natural transformations of the embedding functor. Thanks to the semisimplicity of our categories and the emphasis on representations rather than corepresentations, our proof is more direct and conceptual than previous reconstructions. As a special case, we reprove the classical TannakaKrein result for compact groups. It is only here that analytic aspects enter, otherwise we proceed in a purely algebraic way. In particular, the existence of a Haar functional is reduced to a well known general result concerning discrete multiplier Hopf ∗algebras. 1
Integral noncommutative spaces
 J. Algebra
"... Abstract. This paper concerns the closed points, closed subspaces, open subspaces, weakly closed and weakly open subspaces, and effective divisors, on a noncommutative space. 1. ..."
Abstract

Cited by 8 (1 self)
 Add to MetaCart
Abstract. This paper concerns the closed points, closed subspaces, open subspaces, weakly closed and weakly open subspaces, and effective divisors, on a noncommutative space. 1.