# Rigidification of algebras over multi-sorted theories

@article{Bergner2006RigidificationOA, title={Rigidification of algebras over multi-sorted theories}, author={J. Bergner}, journal={Algebraic \& Geometric Topology}, year={2006}, volume={6}, pages={1925-1955} }

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… Expand

#### 59 Citations

Rigidification of Algebras Over Algebraic Theories in Diagram Categories

- Mathematics
- 2018

The notion of an algebraic theory, which is able to describe many algebraic structures, has been used extensively since itsintroduction by Lawvere in 1963. This perspective has been very fruitful for… Expand

Rigidification of homotopy algebras over finite product sketches

- Mathematics
- 2015

Abstract Multi-sorted algebraic theories provide a formalism for describing various structures on spaces that are of interest in homotopy theory. The results of Badzioch (2002) [1] and Bergner (2006)… Expand

PSEUDO ALGEBRAS AND PSEUDO DOUBLE CATEGORIES

- Mathematics
- 2007

As an example of the categorical apparatus of pseudo algebras over 2-theories, we show that pseudo algebras over the 2-theory of categories can be viewed as pseudo double categories with folding or… Expand

Rigidification of Algebras Over Essentially Algebraic Theories

- Mathematics, Computer Science
- Appl. Categorical Struct.
- 2015

The question is whether this result can be extended from algebraic theories to finite limit theories and from simplicial sets to more general monoidal model categories. Expand

Ju n 20 07 PSEUDO ALGEBRAS AND PSEUDO DOUBLE CATEGORIES

- 2008

As an example of the categorical apparatus of pseudo algebras over 2-theories, we show that pseudo algebras over the 2theory of categories can be viewed as pseudo double categories with folding or as… Expand

Weakly enriched categories over a symmetric monoidal category

- Mathematics
- 2012

In this thesis we develop a theory of weakly enriched categories . By 'weakly' we mean an enriched category where the composition is not strictly associative but associative up-to-homotopy. We… Expand

0 A ug 2 00 6 PSEUDO ALGEBRAS AND PSEUDO DOUBLE CATEGORIES

- 2008

As an example of the categorical apparatus employed to give a rigorous definition of conformal field theory, we show that pseudo algebras over the 2-theory of categories can be viewed as pseudo… Expand

THREE MODELS FOR THE HOMOTOPY THEORY OF HOMOTOPY THEORIES

- Mathematics
- 2005

Abstract Given any model category, or more generally any category with weak equivalences, its simplicial localization is a simplicial category which can rightfully be called the “homotopy theory” of… Expand

A Colimit Decomposition for Homotopy Algebras in Cat

- Mathematics, Computer Science
- Appl. Categorical Struct.
- 2014

Badzioch showed that in the category of simplicial sets each homotopy algebra of a Lawvere theory is weakly equivalent to a strict algebra. In seeking to extend this result to other contexts Rosický… Expand

Localization of algebras over coloured operads

- Mathematics
- 2010

We give sufficient conditions for homotopical localization functors to preserve algebras over coloured operads in monoidal model categories. Our approach encompasses a number of previous results… Expand

#### References

SHOWING 1-10 OF 23 REFERENCES

Stable homotopy of algebraic theories

- Mathematics
- 2001

Abstract The simplicial objects in an algebraic category admit an abstract homotopy theory via a Quillen model category structure. We show that the associated stable homotopy theory is completely… Expand

CHAPTER 2 – Homotopy Theories and Model Categories

- Mathematics
- 1995

This chapter explains homotopy theories and model categories. A model category is just an ordinary category with three specified classes of morphisms—fibrations, cofibrations, and weak… Expand

Algebraic theories in homotopy theory

- Mathematics
- 2001

It is well known in homotopy theory that given a loop space X one can always find a simplicial group G weakly equivalent to X, such that the weak equivalence can be realized by maps preserving… Expand

THREE MODELS FOR THE HOMOTOPY THEORY OF HOMOTOPY THEORIES

- Mathematics
- 2005

Abstract Given any model category, or more generally any category with weak equivalences, its simplicial localization is a simplicial category which can rightfully be called the “homotopy theory” of… Expand

Simplicial monoids and Segal categories

- Mathematics
- 2005

Much research has been done on structures equivalent to topological or simplicial groups. In this paper, we consider instead simplicial monoids. In particular, we show that the usual model category… Expand

Spaces of algebra structures and cohomology of operads

- Mathematics
- 1996

The aim of this paper is two-fold. First, we compare two notions of a "space" of algebra structures over an operad A: 1. the classification space, which is the nerve of the category of weak… Expand

Algebra objects and algebra families for finite limit theories

- Mathematics
- 1992

Diers [l] has introduced the notion of locally representable functors. Let % be a category. A functor F : % + Set is locally representable if it is isomorphic to a sum of representable functors %--+… Expand

Operads in algebra, topology, and physics

- Mathematics
- 2002

'Operads are powerful tools, and this is the book in which to read about them' - ""Bulletin of the London Mathematical Society"". Operads are mathematical devices that describe algebraic structures… Expand

On homotopy varieties

- Mathematics
- 2005

Given an algebraic theory T, a homotopy T-algebra is a simplicial set where all equations from T hold up to homotopy. All homotopy T-algebras form a homotopy variety. We will give a characterization… Expand

Categories for the Working Mathematician

- Mathematics
- 1971

I. Categories, Functors and Natural Transformations.- 1. Axioms for Categories.- 2. Categories.- 3. Functors.- 4. Natural Transformations.- 5. Monics, Epis, and Zeros.- 6. Foundations.- 7. Large… Expand