jonjonc has 0 private notes and 1 public note for this article.
If a category A has a homotopy theory defined via a cocylinder, then this paper shows how to exten this to the category of Eilenberg-Moore algebras for a monad on A. They manage to do this for symmetric monoidal categories, but not sure how far this can be pushed in the categorical setting. I suppose they do the symmetric monoidal case by virtue of the coherence theorem, which allows it to be viewed as algebras for a monad on Cat. May be interesting to look at extending this to 2-Monads on Cat. Also, does this extend to the Koslowski definition of polycategories as a bicategory of (moandic?) spans?
jonjonc (public note) - 2006-05-20 13:10:52