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