Skip to main content
2 of 2
added 43 characters in body
varkor
  • 10.6k
  • 29
  • 72
  1. The creation of weighted limits by the forgetful functor from the $\mathscr V$-category of algebras for an enriched (relative) monad is proven in Proposition 2.5 of Arkor–McDermott's Relative monadicity. I'm not aware of a reference for the creation of colimits.

  2. The creation of bilimits by the forgetful pseudofunctor for a pseudomonad is proven in Theorem 6.3.1.6 of Osmond's A categorical study of spectral dualities. (The creation of conical bicolimits that are preserved by the pseudomonad is also claimed in Lemma 2.7 of Osmond's Codescent and bicolimits of pseudo-algebras without proof.)

varkor
  • 10.6k
  • 29
  • 72