This article is available for purchase or by subscription. See below.
Abstract
|
|
We define the notion of a multi-sorted algebraic theory, which is a generalization of
an algebraic theory in which the objects are of different “sorts.” We prove a
rigidification result for simplicial algebras over these theories, showing that there is a
Quillen equivalence between a model category structure on the category of strict
algebras over a multi-sorted theory and an appropriate model category structure on
the category of functors from a multi-sorted theory to the category of simplicial sets.
In the latter model structure, the fibrant objects are homotopy algebras
over that theory. Our two main examples of strict algebras are operads in
the category of simplicial sets and simplicial categories with a given set of
objects.
|
PDF Access Denied
Warning:
We have not been able to recognize your IP address 47.88.87.18
as that of a subscriber to this journal.
Online access to the content of recent issues is by
subscription, or purchase of single articles.
Please contact your institution's librarian suggesting a subscription, for example by using our journal-recommendation form.
Or, visit our
subscription page
for instructions on purchasing a subscription.
You may also contact us at
contact@msp.org or by using our contact form.
Or, you may purchase this single article for USD 29.95:
Keywords
algebraic theories, model categories, operads, simplicial
categories
|
Mathematical Subject Classification 2000
Primary: 18C10
Secondary: 18G30, 18E35, 55P48
|
Publication
Received: 9 August 2005
Revised: 8 September 2006
Accepted: 29 September 2006
Published: 14 November 2006
|
|
