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