Results 1  10
of
52
Higherdimensional algebra and topological quantum field theory
 Jour. Math. Phys
, 1995
"... For a copy with the handdrawn figures please email ..."
Abstract

Cited by 138 (14 self)
 Add to MetaCart
For a copy with the handdrawn figures please email
HigherDimensional Algebra I: Braided Monoidal 2Categories
 Adv. Math
, 1996
"... We begin with a brief sketch of what is known and conjectured concerning braided monoidal 2categories and their relevance to 4d TQFTs and 2tangles. Then we give concise definitions of semistrict monoidal 2categories and braided monoidal 2categories, and show how these may be unpacked to give lon ..."
Abstract

Cited by 53 (9 self)
 Add to MetaCart
We begin with a brief sketch of what is known and conjectured concerning braided monoidal 2categories and their relevance to 4d TQFTs and 2tangles. Then we give concise definitions of semistrict monoidal 2categories and braided monoidal 2categories, and show how these may be unpacked to give long explicit definitions similar to, but not quite the same as, those given by Kapranov and Voevodsky. Finally, we describe how to construct a semistrict braided monoidal 2category Z(C) as the `center' of a semistrict monoidal category C, in a manner analogous to the construction of a braided monoidal category as the center of a monoidal category. As a corollary this yields a strictification theorem for braided monoidal 2categories. 1 Introduction This is the first of a series of articles developing the program introduced in the paper `HigherDimensional Algebra and Topological Quantum Field Theory' [1], henceforth referred to as `HDA'. This program consists of generalizing algebraic concep...
Higher topos theory
, 2006
"... Let X be a topological space and G an abelian group. There are many different definitions for the cohomology group H n (X; G); we will single out three of them for discussion here. First of all, we have the singular cohomology groups H n sing (X; G), which are defined to be cohomology of a chain com ..."
Abstract

Cited by 48 (0 self)
 Add to MetaCart
Let X be a topological space and G an abelian group. There are many different definitions for the cohomology group H n (X; G); we will single out three of them for discussion here. First of all, we have the singular cohomology groups H n sing (X; G), which are defined to be cohomology of a chain complex of Gvalued singular cochains on X. An alternative is to regard H n (•, G) as a representable functor on the homotopy category
The elliptic curve in the Sduality theory and Eisenstein series for KacMoody groups
"... (0.1) The goal of this paper is to develop a certain mathematical framework underlying the Sduality conjecture of Vafa and Witten [VW]. Let us recall the formulation. Let S be a smooth projective surface over C and G a semisimple algebraic group. Denote by MG(S,n) the moduli space of semistable pri ..."
Abstract

Cited by 40 (0 self)
 Add to MetaCart
(0.1) The goal of this paper is to develop a certain mathematical framework underlying the Sduality conjecture of Vafa and Witten [VW]. Let us recall the formulation. Let S be a smooth projective surface over C and G a semisimple algebraic group. Denote by MG(S,n) the moduli space of semistable principal Gbundles on
Higherdimensional algebra IV: 2Tangles
"... Just as knots and links can be algebraically described as certain morphisms in the category of tangles in 3 dimensions, compact surfaces smoothly embedded in R 4 can be described as certain 2morphisms in the 2category of ‘2tangles in 4 dimensions’. Using the work of Carter, Rieger and Saito, we p ..."
Abstract

Cited by 35 (10 self)
 Add to MetaCart
Just as knots and links can be algebraically described as certain morphisms in the category of tangles in 3 dimensions, compact surfaces smoothly embedded in R 4 can be described as certain 2morphisms in the 2category of ‘2tangles in 4 dimensions’. Using the work of Carter, Rieger and Saito, we prove that this 2category is the ‘free semistrict braided monoidal 2category with duals on one unframed selfdual object’. By this universal property, any unframed selfdual object in a braided monoidal 2category with duals determines an invariant of 2tangles in 4 dimensions. 1
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 24 (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
Pseudo limits, biadjoints, and pseudo algebras: categorical foundations of conformal field theory
 Mem. Amer. Math. Soc
"... The purpose of this paper is to work out the categorical basis for the foundations of Conformal Field Theory. The definition of Conformal Field Theory was outlined in Segal [45] and recently given in [24] and [25]. Concepts of 2category theory, such as versions of algebra, limit, colimit, and adjun ..."
Abstract

Cited by 18 (8 self)
 Add to MetaCart
The purpose of this paper is to work out the categorical basis for the foundations of Conformal Field Theory. The definition of Conformal Field Theory was outlined in Segal [45] and recently given in [24] and [25]. Concepts of 2category theory, such as versions of algebra, limit, colimit, and adjunction, are necessary for this
Stacks of Twisted Modules and Integral Transforms
, 2000
"... Stacks were introduced by Grothendieck and Giraud and are, roughly speaking, sheaves of categories. Kashiwara developed the theory of twisted modules, which are objects of stacks locally equivalent to stacks of modules over sheaves of rings. In this paper we recall these notions, and we develop the ..."
Abstract

Cited by 15 (6 self)
 Add to MetaCart
Stacks were introduced by Grothendieck and Giraud and are, roughly speaking, sheaves of categories. Kashiwara developed the theory of twisted modules, which are objects of stacks locally equivalent to stacks of modules over sheaves of rings. In this paper we recall these notions, and we develop the formalism of operations for stacks of twisted modules. As an application, we state a twisted version of an adjunction formula which is of use in the theory of integral transforms for sheaves and Dmodules.