Results 11  20
of
32
Monad interleaving: a construction of the operad for Leinster’s weak ωcategories, Preprint, 2003, available at http://arxiv.org/abs/math/0309336
"... We show how to “interleave ” the monad for operads and the monad for contractions on the category Coll of collections, to construct the monad for the operadswithcontraction of Leinster. We first decompose the adjunction for operads and the adjunction for contractions into a chain of adjunctions ea ..."
Abstract

Cited by 3 (1 self)
 Add to MetaCart
We show how to “interleave ” the monad for operads and the monad for contractions on the category Coll of collections, to construct the monad for the operadswithcontraction of Leinster. We first decompose the adjunction for operads and the adjunction for contractions into a chain of adjunctions each of which acts on only one dimension of the underlying globular sets at a time. We then exhibit mutual stability conditions that enable us to alternate the dimensionbydimension free functors. Hence we give an explicit construction of a left adjoint
Customizing an XML–Haskell data binding with type isomorphism inference in Generic Haskell
"... Customizing an XML–Haskell data binding ..."
A PREHISTORY OF nCATEGORICAL PHYSICS
, 2008
"... We begin with a chronology tracing the rise of symmetry concepts in physics, starting with groups and their role in relativity, and leading up to more sophisticated concepts from ncategory theory, which manifest themselves in Feynman diagrams and their higherdimensional generalizations: strings, me ..."
Abstract

Cited by 1 (1 self)
 Add to MetaCart
We begin with a chronology tracing the rise of symmetry concepts in physics, starting with groups and their role in relativity, and leading up to more sophisticated concepts from ncategory theory, which manifest themselves in Feynman diagrams and their higherdimensional generalizations: strings, membranes and spin foams.
Comparing operadic theories of ncategory
, 2008
"... We give a framework for comparing on the one hand theories of ncategories that are weakly enriched operadically, and on the other hand ncategories given as algebras for a contractible globular operad. Examples of the former are the definition by Trimble and variants (ChengGurski) and examples of ..."
Abstract

Cited by 1 (0 self)
 Add to MetaCart
We give a framework for comparing on the one hand theories of ncategories that are weakly enriched operadically, and on the other hand ncategories given as algebras for a contractible globular operad. Examples of the former are the definition by Trimble and variants (ChengGurski) and examples of the latter are the definition by Batanin and variants (Leinster). We will show how to take a theory of ncategories of the former kind and produce a globular operad whose algebras are the ncategories we started with. We first provide a generalisation of Trimble’s original theory that allows for the use of other parametrising operads in a very general way, via the notion of categories weakly enriched in V where the weakness is parametrised by an operad P in the category V. We define weak ncategories by iterated weak enrichment using a series of parametrising operads Pi. We then show how to construct from such a theory an ndimensional globular operad for each n ≥ 0 whose algebras
Abstract
, 1999
"... In this paper we describe how to give a particular global category of rings and modules the structure of a relaxed multi category, and we describe an algebra in this relaxed multi category such that vertex algebras appear as such algebras. Key words: Multicategory, relaxed multicategory, vertex alge ..."
Abstract
 Add to MetaCart
In this paper we describe how to give a particular global category of rings and modules the structure of a relaxed multi category, and we describe an algebra in this relaxed multi category such that vertex algebras appear as such algebras. Key words: Multicategory, relaxed multicategory, vertex algebra, ring and module. Our intention for this paper is to describe a method for giving the category of modules for a cocommutative, coassociative Hopf algebra, the structure of a
Comparing definitions of weak higher categories, I
, 2009
"... The theory of operads, defined through categories of labeled graphs, is generalized to suit definitions of higher categories with arbitrary basic shapes. Constructions of cubical, globular and opetopic weak higher categories are obtained as examples. 1 ..."
Abstract
 Add to MetaCart
The theory of operads, defined through categories of labeled graphs, is generalized to suit definitions of higher categories with arbitrary basic shapes. Constructions of cubical, globular and opetopic weak higher categories are obtained as examples. 1
Combinatorial nfold monoidal categories and nfold operads
, 2008
"... Operads were originally defined as Voperads, that is, enriched in a symmetric or braided monoidal category V. The symmetry or braiding in V is required in order to describe the associativity axiom the operads must obey, as well as the associativity that must be a property of the action of an operad ..."
Abstract
 Add to MetaCart
Operads were originally defined as Voperads, that is, enriched in a symmetric or braided monoidal category V. The symmetry or braiding in V is required in order to describe the associativity axiom the operads must obey, as well as the associativity that must be a property of the action of an operad on any of its algebras. A sequence of categorical types that filter the category of monoidal categories and monoidal functors is given by Balteanu, Fiedorowicz, Schwänzl and Vogt in [2]. These subcategories of MonCat have objects that are called nfold monoidal categories. A k– fold monoidal category is nfold monoidal for all n ≤ k, and a symmetric monoidal category is nfold monoidal for all n. After a review of the role of operads in loop space theory and higher categories we go over definitions of iterated monoidal categories and introduce the lower branches of an extended family tree of simple examples. Then we generalize the definition of operad by defining nfold operads and their algebras in an iterated monoidal category. It is seen that the interchanges in an iterated monoidal category are the natural requirement for expressing operad associativity. The definition is developed from the starting point of iterated monoids in a category of collections. Since monoids are special cases of enriched categories this allows us to describe the iterated monoidal and higher dimensional categorical structure of iterated operads. We show that for V kfold monoidal the structure of a (k − n)fold monoidal strict ncategory is possessed by the category of nfold operads in V. We discuss examples of these operads that live in the previously described categories. Finally we describe the algebras of nfold Voperads and their products.