Results 1  10
of
50
BASIC CONCEPTS OF ENRICHED CATEGORY THEORY
 REPRINTS IN THEORY AND APPLICATIONS OF CATEGORIES
, 2005
"... ..."
Higherdimensional algebra and topological quantum field theory
 Jour. Math. Phys
, 1995
"... For a copy with the handdrawn figures please email ..."
Abstract

Cited by 140 (14 self)
 Add to MetaCart
For a copy with the handdrawn figures please email
Braided Hopf algebras over non abelian finite groups
 Acad. Nac. Ciencias (Córdoba
"... 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 al ..."
Abstract

Cited by 40 (11 self)
 Add to MetaCart
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.
Monads on Tensor Categories
 J. Pure Appl. Algebra
, 2002
"... 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 ..."
Abstract

Cited by 25 (1 self)
 Add to MetaCart
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
Higher dimensional algebra V: 2groups
 Theory Appl. Categ
"... A 2group 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 tw ..."
Abstract

Cited by 25 (2 self)
 Add to MetaCart
A 2group 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 ’ 2groups. A weak 2group 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 2group is a weak 2group 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 2categories of weak and coherent 2groups and an ‘improvement ’ 2functor that turns weak 2groups into coherent ones, and prove that this 2functor is a 2equivalence of 2categories. We internalize the concept of coherent 2group, which gives a quick way to define Lie 2groups. We give a tour of examples, including the ‘fundamental 2group ’ of a space and various Lie 2groups. We also explain how coherent 2groups can be classified in terms of 3rd cohomology classes in group cohomology. Finally, using this classification, we construct for any connected and simplyconnected compact simple Lie group G a family of 2groups G � ( � ∈ Z) having G as its group of objects and U(1) as the group of automorphisms of its identity object. These 2groups are built using Chern–Simons theory, and are closely related to the Lie 2algebras g � ( � ∈ R) described in a companion paper. 1 1
From proof nets to the free * autonomous category
 Logical Methods in Computer Science, 2(4:3):1–44, 2006. Available from: http://arxiv.org/abs/cs/0605054. [McK05] Richard McKinley. Classical categories and deep inference. In Structures and Deduction 2005 (Satellite Workshop of ICALP’05
, 2005
"... Vol. 2 (4:3) 2006, pp. 1–44 www.lmcsonline.org ..."
L.: Constructing free Boolean categories
, 2005
"... 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 ..."
Abstract

Cited by 21 (6 self)
 Add to MetaCart
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
A resolution (minimal model) of the PROP for bialgebras, preprint math.AT/0209007
"... 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 conta ..."
Abstract

Cited by 19 (4 self)
 Add to MetaCart
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.