2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/131273We 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.12 pages; added references; an alternative approach sketched; typos correctedCategory TheoryMathematical PhysicsK-Theory and Homology18A30, 18A35text