Equalizers in the category of cocomplete cocategories

Bernhard Keller and Oleksandr Manzyuk

We prove existence of equalizers in certain categories of cocomplete cocategories. This allows us to complete the proof of the fact that \ainf-functor categories arise as internal Hom\n-objects in the category of differential graded cocomplete augmented cocategories.

Journal of Homotopy and Related Structures, Vol. 2(2007), No. 1, pp. 85-97