I'm learning about category theory from this video: He says:
The purpose of objects is to mark the start and end of morphisms.
This seems somewhat strange.
It's like morphisms and objects are in some type of fabricated interdependence. We can't have morphisms without objects and we can't have objects with no morphisms. And this chicken and egg like situation creates a category.
Is this correct? Or i'm just reading too much into it?
Can a category have just objects and no morphisms? But then the objects should not be there in the first place. There is no
end to mark if there is no morphism. So there should be no objects. Which maybe implies no category.
So are there categories with no morphisms? Or at least one category with no morphisms? I'm trying to make sure i rely understand what a category is. Sorry if this sounds like a dumb question. Thanks.