Results 1  10
of
16
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
From Finite Sets to Feynman Diagrams
 Mathematics Unlimited  2001 And Beyond
, 2001
"... ‘Categorification ’ is the process of replacing equations by isomorphisms. We describe some of the ways a thoroughgoing emphasis on categorification can simplify and unify mathematics. We begin with elementary arithmetic, where the category of finite sets serves as a categorified version of the set ..."
Abstract

Cited by 51 (7 self)
 Add to MetaCart
‘Categorification ’ is the process of replacing equations by isomorphisms. We describe some of the ways a thoroughgoing emphasis on categorification can simplify and unify mathematics. We begin with elementary arithmetic, where the category of finite sets serves as a categorified version of the set of natural numbers, with disjoint union and Cartesian product playing the role of addition and multiplication. We sketch how categorifying the integers leads naturally to the infinite loop space Ω ∞ S ∞ , and how categorifying the positive rationals leads naturally to a notion of the ‘homotopy cardinality ’ of a tame space. Then we show how categorifying formal power series leads to Joyal’s espèces des structures, or ‘structure types’. We also describe a useful generalization of structure types called ‘stuff types’. There is an inner product of stuff types that makes the category of stuff types into a categorified version of the Hilbert space of the quantized harmonic oscillator. We conclude by sketching how this idea gives a nice explanation of the combinatorics of Feynman diagrams. 1
Structures and Diagrammatics of Four Dimensional Topological Lattice Field Theories
 Advances in Math. 146
, 1998
"... Crane and Frenkel proposed a state sum invariant for triangulated 4manifolds. They defined and used new algebraic structures called Hopf categories for their construction. Crane and Yetter studied Hopf categories and gave some examples using group cocycles that are associated to the Drinfeld double ..."
Abstract

Cited by 20 (5 self)
 Add to MetaCart
Crane and Frenkel proposed a state sum invariant for triangulated 4manifolds. They defined and used new algebraic structures called Hopf categories for their construction. Crane and Yetter studied Hopf categories and gave some examples using group cocycles that are associated to the Drinfeld double of a finite group. In this paper we define a state sum invariant of triangulated 4manifolds using CraneYetter cocycles as Boltzmann weights. Our invariant generalizes the 3dimensional invariants defined by Dijkgraaf and Witten and the invariants that are defined via Hopf algebras. We present diagrammatic methods for the study of such invariants that illustrate connections between Hopf categories and moves to triangulations. 1 Contents 1 Introduction 3 2 Quantum 2 and 3 manifold invariants 4 Topological lattice field theories in dimension 2 . . . . . . . . . . . . . . . . . . . 4 Pachner moves in dimension 3 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7 TuraevViro inv...
Pasting Diagrams in nCategories with Applications to Coherence Theorems and Categories of Paths
, 1987
"... This document was typeset using L ..."
Pseudodistributive laws
, 2004
"... We address the question of how elegantly to combine a number of different structures, such as finite product structure, monoidal structure, and colimiting structure, on a category. Extending work of Marmolejo and Lack, we develop the definition of a pseudodistributive law between pseudomonads, and ..."
Abstract

Cited by 11 (0 self)
 Add to MetaCart
We address the question of how elegantly to combine a number of different structures, such as finite product structure, monoidal structure, and colimiting structure, on a category. Extending work of Marmolejo and Lack, we develop the definition of a pseudodistributive law between pseudomonads, and we show how the definition and the main theorems about it may be used to model several such structures simultaneously. Specifically, we address the relationship between pseudodistributive laws and the lifting of one pseudomonad to the 2category of algebras and to the Kleisli bicategory of another. This, for instance, sheds light on the preservation of some structures but not others along the Yoneda embedding. Our leading examples are given by the use of open maps to model bisimulation and by the logic of bunched implications.
Distributive Laws For Pseudomonads
 T. A. C
, 1999
"... . We define distributive laws between pseudomonads in a Graycategory A, as the classical two triangles and the two pentagons but commuting only up to isomorphism. These isomorphisms must satisfy nine coherence conditions. We also define the Graycategory PSM(A) of pseudomonads in A, and define a l ..."
Abstract

Cited by 10 (1 self)
 Add to MetaCart
. We define distributive laws between pseudomonads in a Graycategory A, as the classical two triangles and the two pentagons but commuting only up to isomorphism. These isomorphisms must satisfy nine coherence conditions. We also define the Graycategory PSM(A) of pseudomonads in A, and define a lifting to be a pseudomonad in PSM(A). We define what is a pseudomonad with compatible structure with respect to two given pseudomonads. We show how to obtain a pseudomonad with compatible structure from a distributive law, how to get a lifting from a pseudomonad with compatible structure, and how to obtain a distributive law from a lifting. We show that one triangle suffices to define a distributive law in case that one of the pseudomonads is a (co)KZdoctrine and the other a KZdoctrine. 1. Introduction Distributive laws for monads were introduced by J. Beck in [2]. As pointed out by G. M. Kelly in [7], strict distributive laws for higher dimensional monads are rare. We need then a study ...
On PropertyLike Structures
, 1997
"... A category may bear many monoidal structures, but (to within a unique isomorphism) only one structure of "category with finite products". To capture such distinctions, we consider on a 2category those 2monads for which algebra structure is essentially unique if it exists, giving a precise mathemat ..."
Abstract

Cited by 9 (3 self)
 Add to MetaCart
A category may bear many monoidal structures, but (to within a unique isomorphism) only one structure of "category with finite products". To capture such distinctions, we consider on a 2category those 2monads for which algebra structure is essentially unique if it exists, giving a precise mathematical definition of "essentially unique" and investigating its consequences. We call such 2monads propertylike. We further consider the more restricted class of fully propertylike 2monads, consisting of those propertylike 2monads for which all 2cells between (even lax) algebra morphisms are algebra 2cells. The consideration of lax morphisms leads us to a new characterization of those monads, studied by Kock and Zoberlein, for which "structure is adjoint to unit", and which we now call laxidempotent 2monads: both these and their colaxidempotent duals are fully propertylike. We end by showing that (at least for finitary 2monads) the classes of propertylikes, fully propertylike...
Homotopytheoretic aspects of 2–monads
 J. Homotopy Relat. Struct
"... We study 2monads and their algebras using a Catenriched version of Quillen model categories, emphasizing the parallels between the homotopical and 2categorical points of view. Every 2category with finite limits and colimits has a canonical model structure in which the weak equivalences are the e ..."
Abstract

Cited by 6 (0 self)
 Add to MetaCart
We study 2monads and their algebras using a Catenriched version of Quillen model categories, emphasizing the parallels between the homotopical and 2categorical points of view. Every 2category with finite limits and colimits has a canonical model structure in which the weak equivalences are the equivalences; we use these to construct more interesting model structures on 2categories, including a model structure on the 2category of algebras for a 2monad T, and a model structure on a 2category of 2monads on a fixed 2category K. 1
An Australian conspectus of higher categories

, 2004
"... Much Australian work on categories is part of, or relevant to, the development of higher categories and their theory. In this note, I hope to describe some of the origins and achievements of our efforts that they might perchance serve as a guide to the development of aspects of higherdimensional wo ..."
Abstract

Cited by 6 (0 self)
 Add to MetaCart
Much Australian work on categories is part of, or relevant to, the development of higher categories and their theory. In this note, I hope to describe some of the origins and achievements of our efforts that they might perchance serve as a guide to the development of aspects of higherdimensional work. I trust that the somewhat autobiographical style will add interest rather than be a distraction. For so long I have felt rather apologetic when describing how categories might be helpful to other mathematicians; I have often felt even worse when mentioning enriched and higher categories to category theorists. This is not to say that I have doubted the value of our work, rather that I have felt slowed down by the continual pressure to defend it. At last, at this meeting, I feel justified in speaking freely amongst motivated researchers who know the need for the subject is well established. Australian Category Theory has its roots in homology theory: more precisely, in the treatment of the cohomology ring and the Künneth formulas in the book by Hilton and Wylie [HW]. The first edition of the book had a mistake concerning the cohomology ring of a product. The Künneth formulas arise from splittings of the natural short exact sequences
Symmetric monoidal categories model all connective spectra. Theory and
 Applications of Categories, 1:78118
, 1995
"... Abstract. The classical in nite loopspace machines in fact induce an equivalence of categories between a localization of the category of symmetric monoidal categories and the stable homotopy category of1connective spectra. ..."
Abstract

Cited by 5 (0 self)
 Add to MetaCart
Abstract. The classical in nite loopspace machines in fact induce an equivalence of categories between a localization of the category of symmetric monoidal categories and the stable homotopy category of1connective spectra.