Skip to main content
MathOverflow

Return to Question

added 7 characters in body
Source Link
Lunasaurus Rex
Lunasaurus Rex
  • 319
  • 1
  • 11

Let $\mathcal{A}$ be a small category with some ( maybe noneno) colimits. What I would like to be able to do is add the rest of the colimits in a universal way. The Yoneda lemma will not work, since this simply adds all colimits formally. That is to say that you have new colimits that are different than the old. We do have maps from the newly created colimits to the old. The question is can we localize about these morphisms making the old and new colimits isomorphic?

Let $\mathcal{A}$ be a small category with some ( maybe none). What I would like to be able to do is add the rest of the colimits in a universal way. The Yoneda lemma will not work, since this simply adds all colimits formally. That is to say that you have new colimits that are different than the old. We do have maps from the newly created colimits to the old. The question is can we localize about these morphisms making the old and new colimits isomorphic?

Let $\mathcal{A}$ be a small category with some ( maybe no) colimits. What I would like to be able to do is add the rest of the colimits in a universal way. The Yoneda lemma will not work, since this simply adds all colimits formally. That is to say that you have new colimits that are different than the old. We do have maps from the newly created colimits to the old. The question is can we localize about these morphisms making the old and new colimits isomorphic?

Source Link
Lunasaurus Rex
Lunasaurus Rex
  • 319
  • 1
  • 11

Given a small category with some colimits, can the rest of the colimits be added?

Let $\mathcal{A}$ be a small category with some ( maybe none). What I would like to be able to do is add the rest of the colimits in a universal way. The Yoneda lemma will not work, since this simply adds all colimits formally. That is to say that you have new colimits that are different than the old. We do have maps from the newly created colimits to the old. The question is can we localize about these morphisms making the old and new colimits isomorphic?