Equalizers in the category of cocomplete cocategories
Category Theory
2007-06-13 v3 Mathematical Physics
K-Theory and Homology
math.MP
Abstract
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.
Cite
@article{arxiv.math/0612175,
title = {Equalizers in the category of cocomplete cocategories},
author = {Bernhard Keller and Oleksandr Manzyuk},
journal= {arXiv preprint arXiv:math/0612175},
year = {2007}
}
Comments
12 pages; added references; an alternative approach sketched; typos corrected