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}
}
  • J. Bergner
  • Published 2006
  • Mathematics
  • Algebraic & Geometric Topology
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
Rigidification of Algebras Over Algebraic Theories in Diagram Categories
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 forExpand
Rigidification of homotopy algebras over finite product sketches
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
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 orExpand
Rigidification of Algebras Over Essentially Algebraic Theories
  • J. Rosický
  • Mathematics, Computer Science
  • Appl. Categorical Struct.
  • 2015
TLDR
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
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 asExpand
Weakly enriched categories over a symmetric monoidal category
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. WeExpand
0 A ug 2 00 6 PSEUDO ALGEBRAS AND PSEUDO DOUBLE CATEGORIES
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 pseudoExpand
THREE MODELS FOR THE HOMOTOPY THEORY OF HOMOTOPY THEORIES
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” ofExpand
A Colimit Decomposition for Homotopy Algebras in Cat
  • John Bourke
  • 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
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 resultsExpand
...
1
2
3
4
5
...

References

SHOWING 1-10 OF 23 REFERENCES
Stable homotopy of algebraic theories
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 completelyExpand
CHAPTER 2 – Homotopy Theories and Model Categories
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 weakExpand
Algebraic theories in homotopy theory
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 preservingExpand
THREE MODELS FOR THE HOMOTOPY THEORY OF HOMOTOPY THEORIES
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” ofExpand
Simplicial monoids and Segal categories
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 categoryExpand
Spaces of algebra structures and cohomology of operads
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 weakExpand
Algebra objects and algebra families for finite limit theories
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
'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 structuresExpand
On homotopy varieties
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 characterizationExpand
Categories for the Working Mathematician
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. LargeExpand
...
1
2
3
...