Results 1  10
of
11
Operads In HigherDimensional Category Theory
, 2004
"... The purpose of this paper is to set up a theory of generalized operads and multicategories and to use it as a language in which to propose a definition of weak ncategory. Included is a full explanation of why the proposed definition of ncategory is a reasonable one, and of what happens when n <= 2 ..."
Abstract

Cited by 32 (2 self)
 Add to MetaCart
The purpose of this paper is to set up a theory of generalized operads and multicategories and to use it as a language in which to propose a definition of weak ncategory. Included is a full explanation of why the proposed definition of ncategory is a reasonable one, and of what happens when n <= 2. Generalized operads and multicategories play other parts in higherdimensional algebra too, some of which are outlined here: for instance, they can be used to simplify the opetopic approach to ncategories expounded by Baez, Dolan and others, and are a natural language in which to discuss enrichment of categorical structures.
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
Homotopy algebras for operads
"... We present a definition of homotopy algebra for an operad, and explore its consequences. The paper should be accessible to topologists, category theorists, and anyone acquainted with operads. After a review of operads and monoidal categories, the definition of homotopy algebra is given. Specifically ..."
Abstract

Cited by 6 (1 self)
 Add to MetaCart
We present a definition of homotopy algebra for an operad, and explore its consequences. The paper should be accessible to topologists, category theorists, and anyone acquainted with operads. After a review of operads and monoidal categories, the definition of homotopy algebra is given. Specifically, suppose that M is a monoidal category in which it makes sense to talk about algebras for some operad P. Then our definition says what a homotopy Palgebra in M is, provided only that some of the morphisms in M have been marked out as ‘homotopy equivalences’. The bulk of the paper consists of examples of homotopy algebras. We show that any loop space is a homotopy monoid, and, in fact, that any nfold loop space is an nfold homotopy monoid in an appropriate sense. We try to compare weakened algebraic structures such as A∞spaces, A∞algebras and nonstrict monoidal categories to our homotopy algebras, with varying degrees of success. We also prove results on ‘change of base’, e.g. that the classifying space of a homotopy monoidal category is a homotopy topological monoid. Finally, we
Paths in double categories
 Theory Appl. Categ
"... Abstract. Two constructions of paths in double categories are studied, providing algebraic versions of the homotopy groupoid of a space. Universal properties of these constructions are presented. The first is seen as the codomain of the universal oplax morphism of double categories and the second, w ..."
Abstract

Cited by 5 (1 self)
 Add to MetaCart
Abstract. Two constructions of paths in double categories are studied, providing algebraic versions of the homotopy groupoid of a space. Universal properties of these constructions are presented. The first is seen as the codomain of the universal oplax morphism of double categories and the second, which is a quotient of the first, gives the universal normal oplax morphism. Normality forces an equivalence relation on cells, a special case of which was seen before in the free adjoint construction. These constructions are the object part of 2comonads which are shown to be oplax idempotent. The coalgebras for these comonads turn out to be Leinster’s fcmulticategories, with representable identities in the second case.
Generic morphisms, parametric representations and weakly cartesian monads
 THEORY APPL. CATEG
, 2004
"... ..."
A UNIFIED FRAMEWORK FOR GENERALIZED MULTICATEGORIES
"... Abstract. Notions of generalized multicategory have been defined in numerous contexts throughout the literature, and include such diverse examples as symmetric multicategories, globular operads, Lawvere theories, and topological spaces. In each case, generalized multicategories are defined as the “l ..."
Abstract

Cited by 4 (0 self)
 Add to MetaCart
Abstract. Notions of generalized multicategory have been defined in numerous contexts throughout the literature, and include such diverse examples as symmetric multicategories, globular operads, Lawvere theories, and topological spaces. In each case, generalized multicategories are defined as the “lax algebras ” or “Kleisli monoids ” relative to a “monad ” on a bicategory. However, the meanings of these words differ from author to author, as do the specific bicategories considered. We propose a unified framework: by working with monads on double categories and related structures (rather than bicategories), one can define generalized multicategories in a way that unifies all previous
THE SPAN CONSTRUCTION
"... Abstract. We present two generalizations of the Span construction. The first generalization ..."
Abstract

Cited by 2 (0 self)
 Add to MetaCart
Abstract. We present two generalizations of the Span construction. The first generalization
Contents
, 2008
"... In this paper, firstly, we introduce a higherdimensional analogue of hypergraphs, namely ωhypergraphs. This notion is thoroughly flexible because unlike ordinary ωgraphs, an ndimensional edge called an ncell has many sources and targets. Moreover, cells have polarity, with which pasting of cell ..."
Abstract
 Add to MetaCart
In this paper, firstly, we introduce a higherdimensional analogue of hypergraphs, namely ωhypergraphs. This notion is thoroughly flexible because unlike ordinary ωgraphs, an ndimensional edge called an ncell has many sources and targets. Moreover, cells have polarity, with which pasting of cells is implicitly defined. As examples, we also give some known structures in terms of ωhypergraphs. Then we specify a special type of ωhypergraph, namely directed ωhypergraphs, which are made of cells with direction. Finally, besed on them, we construct our weak ωcategories. It is an ωdimensional variant of the weak ncategoreis given by Baez and Dolan [2]. We introduce ωidentical, ωinvertible and ωuniversal cells instead of universality and balancedness in [2]. The whole process of our definition is in parallel with the way of regarding categories as graphs with composition and identities.