Results 1 
5 of
5
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.
Homotopical Algebraic Geometry I: Topos theory
, 2002
"... This is the first of a series of papers devoted to lay the foundations of Algebraic Geometry in homotopical and higher categorical contexts. In this first part we investigate a notion of higher topos. For this, we use Scategories (i.e. simplicially enriched categories) as models for certain kind of ..."
Abstract

Cited by 29 (18 self)
 Add to MetaCart
This is the first of a series of papers devoted to lay the foundations of Algebraic Geometry in homotopical and higher categorical contexts. In this first part we investigate a notion of higher topos. For this, we use Scategories (i.e. simplicially enriched categories) as models for certain kind of ∞categories, and we develop the notions of Stopologies, Ssites and stacks over them. We prove in particular, that for an Scategory T endowed with an Stopology, there exists a model
Toën, Simplicial localization of monoidal structures and a nonlinear version of Deligne’s conjecture
 Compos. Math
"... Abstract. We show that if (M, ⊗, I) is a monoidal model category then REnd ..."
Abstract

Cited by 7 (1 self)
 Add to MetaCart
Abstract. We show that if (M, ⊗, I) is a monoidal model category then REnd
SIMPLICIAL LOCALIZATION OF MONOIDAL STRUCTURES, AND A NONLINEAR VERSION OF DELIGNE’S CONJECTURE JOACHIM KOCK AND BERTRAND TO ËN
, 2003
"... is a (weak) 2monoid in sSet. This applies in particular when M is the category of Abimodules over a simplicial monoid A: the derived endomorphisms of A then form its Hochschild cohomology, which therefore becomes a simplicial 2monoid. Deligne’s conjecture. Deligne’s conjecture (stated informally ..."
Abstract
 Add to MetaCart
is a (weak) 2monoid in sSet. This applies in particular when M is the category of Abimodules over a simplicial monoid A: the derived endomorphisms of A then form its Hochschild cohomology, which therefore becomes a simplicial 2monoid. Deligne’s conjecture. Deligne’s conjecture (stated informally in a letter in 1993) states that the Hochschild cohomology HH(A) of an associative algebra A is a 2algebra — this means that up to homotopy it has two compatible multiplication laws.
SIMPLICIAL LOCALIZATION OF MONOIDAL STRUCTURES, AND A NONLINEAR VERSION OF DELIGNE’S CONJECTURE JOACHIM KOCK AND BERTRAND TO ËN
, 2003
"... is a (weak) 2monoid in sSet. This applies in particular when M is the category of Abimodules over a simplicial monoid A: the derived endomorphisms of A then form its Hochschild cohomology, which therefore becomes a simplicial 2monoid. Deligne’s conjecture. Deligne’s conjecture (stated informally ..."
Abstract
 Add to MetaCart
is a (weak) 2monoid in sSet. This applies in particular when M is the category of Abimodules over a simplicial monoid A: the derived endomorphisms of A then form its Hochschild cohomology, which therefore becomes a simplicial 2monoid. Deligne’s conjecture. Deligne’s conjecture (stated informally in a letter in 1993) states that the Hochschild cohomology HH(A) of an associative algebra A is a 2algebra — this means that up to homotopy it has two compatible multiplication laws.