#
nLab

model structure on coalgebras over a comonad

Contents
### Context

#### Model category theory

**model category**

## Definitions

## Morphisms

## Universal constructions

## Refinements

## Producing new model structures

## Presentation of $(\infty,1)$-categories

## Model structures

### for $\infty$-groupoids

for ∞-groupoids

### for equivariant $\infty$-groupoids

### for rational $\infty$-groupoids

### for rational equivariant $\infty$-groupoids

### for $n$-groupoids

### for $\infty$-groups

### for $\infty$-algebras

#### general

#### specific

### for stable/spectrum objects

### for $(\infty,1)$-categories

### for stable $(\infty,1)$-categories

### for $(\infty,1)$-operads

### for $(n,r)$-categories

### for $(\infty,1)$-sheaves / $\infty$-stacks

# Contents

## Idea

model category structures on Eilenberg-Moore categories of coalgebras over a comonad.

## References

Sufficient conditions for the exstence of a model structure on coalgebras over a comonad are stated as theorem 5.8 in

This refers to the concept of “Postnikov presentation” of model categories due to appendix section 5 of

- Kathryn Hess,
*Homotopic Hopf-Galois extensions: foundations and examples*, New topological contexts for Galois theory and algebraic geometry (BIRS 2008), Geom. Topol. Monogr., vol. 16, Geom. Topol. Publ., Coventry, 2009, pp. 79–132. MR 2544387 (2010j:55010) (arXiv:0902.3393)

Last revised on March 7, 2017 at 14:40:42.
See the history of this page for a list of all contributions to it.