Results 1 
9 of
9
The EckmannHilton argument, higher operads and Enspaces, available at http://www.ics.mq.edu.au
 mbatanin/papers.html of Homotopy and Related Structures
"... The classical EckmannHilton argument shows that two monoid structures on a set, such that one is a homomorphism for the other, coincide and, moreover, the resulting monoid is commutative. This argument immediately gives a proof of the commutativity of the higher homotopy groups. A reformulation of ..."
Abstract

Cited by 32 (5 self)
 Add to MetaCart
The classical EckmannHilton argument shows that two monoid structures on a set, such that one is a homomorphism for the other, coincide and, moreover, the resulting monoid is commutative. This argument immediately gives a proof of the commutativity of the higher homotopy groups. A reformulation of this argument in the language of higher categories is: suppose we have a one object, one arrow 2category, then its Homset is a commutative monoid. A similar argument due to A.Joyal and R.Street shows that a one object, one arrow tricategory is ‘the same’ as a braided monoidal category. In this paper we extend this argument to arbitrary dimension. We demonstrate that for an noperad A in the author’s sense there exists a symmetric operad S n (A) called the nfold suspension of A such that the
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
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
Algebras of higher operads as enriched categories II
 In preparation
"... Abstract. One of the open problems in higher category theory is the systematic construction of the higher dimensional analogues of the Gray tensor product. In this paper we begin to adapt the machinery of globular operads [1] to this task. We present a general construction of a tensor product on the ..."
Abstract

Cited by 6 (4 self)
 Add to MetaCart
Abstract. One of the open problems in higher category theory is the systematic construction of the higher dimensional analogues of the Gray tensor product. In this paper we begin to adapt the machinery of globular operads [1] to this task. We present a general construction of a tensor product on the category of nglobular sets from any normalised (n + 1)operad A, in such a way that the algebras for A may be recaptured as enriched categories for the induced tensor product. This is an important step in reconciling the globular and simplicial approaches to higher category theory, because in the simplicial approaches one proceeds inductively following the idea that a weak (n + 1)category is something like a category enriched in weak ncategories. In this paper we reveal how such an intuition may be formulated in terms of globular operads.
A 2categories companion
"... Abstract. This paper is a rather informal guide to some of the basic theory of 2categories and bicategories, including notions of limit and colimit, 2dimensional universal algebra, formal category theory, and nerves of bicategories. 1. Overview and basic examples This paper is a rather informal gu ..."
Abstract

Cited by 4 (0 self)
 Add to MetaCart
Abstract. This paper is a rather informal guide to some of the basic theory of 2categories and bicategories, including notions of limit and colimit, 2dimensional universal algebra, formal category theory, and nerves of bicategories. 1. Overview and basic examples This paper is a rather informal guide to some of the basic theory of 2categories and bicategories, including notions of limit and colimit, 2dimensional universal algebra, formal category theory, and nerves of bicategories. As is the way of these things, the choice of topics is somewhat personal. No attempt is made at either rigour or completeness. Nor is it completely introductory: you will not find a definition of bicategory; but then nor will you really need one to read it. In keeping with the philosophy of category theory, the morphisms between bicategories play more of a role than the bicategories themselves. 1.1. The key players. There are bicategories, 2categories, and Catcategories. The latter two are exactly the same (except that strictly speaking a Catcategory should have small homcategories, but that need not concern us here). The first two are nominally different — the 2categories are the strict bicategories, and not every bicategory is strict — but every bicategory is biequivalent to a strict one, and biequivalence is the right general notion of equivalence for bicategories and for 2categories. Nonetheless, the theories of bicategories, 2categories, and Catcategories have rather different flavours.
Coherence for categorified operadic theories
"... It has long been known that every weak monoidal category A is equivalent via monoidal functors and monoidal natural transformations to a strict monoidal category st(A). We generalise the definition of weak monoidal category to give a definition of weak Pcategory for any strongly regular (operadic) ..."
Abstract

Cited by 2 (0 self)
 Add to MetaCart
It has long been known that every weak monoidal category A is equivalent via monoidal functors and monoidal natural transformations to a strict monoidal category st(A). We generalise the definition of weak monoidal category to give a definition of weak Pcategory for any strongly regular (operadic) theory P, and show that every weak Pcategory is equivalent via Pfunctors and Ptransformations to a strict Pcategory. This strictification functor is then shown to have an interesting universal property. 1
Multitensors and monads on categories of enriched graphs
"... Abstract. In this paper we unify the developments of [Batanin, 1998], [BataninWeber, 2011] and [Cheng, 2011] into a single framework in which the interplay between multitensors on a category V, and monads on the category GV of graphs enriched in V, is taken as fundamental. The material presented he ..."
Abstract

Cited by 2 (2 self)
 Add to MetaCart
Abstract. In this paper we unify the developments of [Batanin, 1998], [BataninWeber, 2011] and [Cheng, 2011] into a single framework in which the interplay between multitensors on a category V, and monads on the category GV of graphs enriched in V, is taken as fundamental. The material presented here is the conceptual background for subsequent work: in [BataninCisinskiWeber, 2012] the Gray tensor product of 2categories and the Crans tensor product [Crans, 1999] of Gray categories are exhibited as existing within our framework, and in [Weber, 2013] the explicit construction of the funny tensor product of categories is generalised to a large class of Batanin operads. 1.
HigmanThompson groups and iterated monoidal categories.
, 2008
"... General theorems with applications to presentations of ..."