In a category a subobject of an object is an object such that there exists a monic . Simple enough.
But I need to show that if is a subobject of and is a subobject of , then .
It looks obvious but I think I am missing something.
In a category a subobject of an object is an object such that there exists a monic . Simple enough.
But I need to show that if is a subobject of and is a subobject of , then .
It looks obvious but I think I am missing something.