Abstract not found

Abstract not found

For a copy with the hand-drawn figures please email

Abstract. In the last years a new theory of Hopf algebras has begun to be developed: that of Hopf algebras in braided categories, or, briefly, braided Hopf algebras. This is a survey of general aspects of the theory with emphasis in H HYD, the Yetter–Drinfeld category over H, where H is the group algebra of a non abelian finite group Γ. We discuss a special class of braided graded Hopf algebras from different points of view following Lusztig, Nichols and Schauenburg. We present some finite dimensional examples arising in an unpublished work by Milinski and Schneider. Sinopsis. En los últimos años comenzó a ser desarrollada una nueva teoría de álgebras de Hopf en categorías trenzadas, o brevemente, álgebras de Hopf trenzadas. Presentamos aquí aspectos generales de la teoría con énfasis en H HYD, la categoría de Yetter–Drinfeld sobre H, donde H es el álgebra de grupo de un grupo finito no abeliano Γ. Discutimos una clase especial de álgebras de Hopf trenzadas graduadas desde diferentes puntos de vista, siguiendo a Lusztig, Nichols y Schauenburg. Presentamos algunos ejemplos de dimensión finita que aparecen en un trabajo inédito de Milinski y Schneider. 0. Introduction and notations 0.1. Introduction.

A 2-group is a ‘categorified ’ version of a group, in which the underlying set G has been replaced by a category and the multiplication map m: G×G → G has been replaced by a functor. Various versions of this notion have already been explored; our goal here is to provide a detailed introduction to two, which we call ‘weak ’ and ‘coherent ’ 2-groups. A weak 2-group is a weak monoidal category in which every morphism has an inverse and every object x has a ‘weak inverse’: an object y such that x ⊗ y ∼ = 1 ∼ = y ⊗ x. A coherent 2-group is a weak 2-group in which every object x is equipped with a specified weak inverse ¯x and isomorphisms ix: 1 → x ⊗ ¯x, ex: ¯x ⊗ x → 1 forming an adjunction. We describe 2-categories of weak and coherent 2-groups and an ‘improvement ’ 2-functor that turns weak 2-groups into coherent ones, and prove that this 2-functor is a 2-equivalence of 2-categories. We internalize the concept of coherent 2-group, which gives a quick way to define Lie 2-groups. We give a tour of examples, including the ‘fundamental 2-group ’ of a space and various Lie 2-groups. We also explain how coherent 2-groups can be classified in terms of 3rd cohomology classes in group cohomology. Finally, using this classification, we construct for any connected and simply-connected compact simple Lie group G a family of 2-groups G � ( � ∈ Z) having G as its group of objects and U(1) as the group of automorphisms of its identity object. These 2-groups are built using Chern–Simons theory, and are closely related to the Lie 2-algebras g � ( � ∈ R) described in a companion paper. 1 1

By Boolean category we mean something which is to a Boolean algebra what a category is to a poset. We propose an axiomatic system for Boolean categories, which is different in several respects from the ones proposed recently. In particular everything is done from the start in a *-autonomous category and not in a weakly distributive one, which simplifies issues like the Mix rule. An important axiom, which is introduced later, is a "graphical" condition, which is closely related to denotational semantics and the Geometry of Interaction. Then we show that a previously constructed category of proof nets is the free "graphical " Boolean category in our sense. This validates our categorical axiomatization with respect to a real-life example. Another important aspect of this work is that we do not assume a-priori the existence of units in the *-autonomous categories we use. This has some retroactive interest for the semantics of linear logic, and is motivated by the properties of our example with respect to units.

Vol. 2 (4:3) 2006, pp. 1–44 www.lmcs-online.org

this paper we will discuss the combination of two classical notions of category theory, both treated extensively in [CWM]. One of these is the notion of a monad or triple on a category, which goes back to Godement [G] and was rst developed by Eilenberg, Moore, Beck and others. The other is that of a monoidal category or tensor category, which originates with Benabou [Be] and with Mac Lane's famous coherence theorem [MacL], and which pervades much of present day mathematics. For a monad S on a tensor category, there is a natural additional structure that one can impose, namely that of a comparison map S(X

Abstract. This paper is concerned with a minimal resolution of the prop for bialgebras (Hopf algebras without unit, counit and antipode). We prove a theorem about the form of this resolution (Theorem 12) and give, in Section 5, a lot of explicit formulas for the differential. Our minimal model contains all information about the deformation theory of bialgebras and related cohomology. Algebras over this minimal model are strongly homotopy bialgebras, that is, homotopy invariant versions of bialgebras.

Abstract not found