On Hilton and Stammbach's homological algebra book, end of chap. 2, they wrote in general $F(\mathfrak{C})$ is not a category at all in general. But I don't quite get it. I checked the axioms of a category for the image, and I think they are all satisfied. Am I missing something? Thanks.

  • 4
    $\begingroup$ Now I see what I was missing is that morphisms previously unable to composite can composite after the functor. $\endgroup$ – Anonymous Coward Jun 6 '13 at 16:43
  • $\begingroup$ I don't understand this. The "naive image" is just a collection of objects, and therefore can be regarded as a full subcategory. You can only restrict to morphisms which are induced by the functor. But again this is a subcategory. $\endgroup$ – Martin Brandenburg Jun 7 '13 at 10:17
  • 1
    $\begingroup$ @MartinBrandenburg: the concept you are describing seems to be called "full image" on nCatLab: ncatlab.org/nlab/show/full+image. $\endgroup$ – Blaisorblade Sep 17 '14 at 0:50

Consider the category $C$ with four objects, $a,b,c,d$ and, other than identity arrows, a single arrow $a\to b$ and a single arrow $c\to d$. Now consider the category $D$ with three objects $x,y,z$, and, aside from identity arrows, the arrows $x\to y$, $y\to z$, and $x\to z$. Now, consider the functor $F:C\to D$ with $F(a)=x$, $F(b)=F(c)=y$, and $F(d)=z$ (extended uniquely to arrows). Its image is not a category.

This business is related to the fact that epis in $Cat$ are not so simple at all. In work of Isbell epis in $Cat$ are characterized. It's worth noting that regular epis, split epis, etc. in $Cat$ are quite different, attesting again to the subtlety of epis.


Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.