The following question eats my brain: The standard definition of a "category" and a list of examples following this definition confuses me. My question is simple:
(Q1)If someone write "the category of finite groups" what are the objects of this category? Surely, $\mathbb{Z}_6$ is in this category. What about the other instances of $\mathbb{Z}_6?$ What prohibits to add extra copies of $\mathbb{Z}_6$ into objects? There is no "equality" of objects on "objects" other than the "standard equality class" of the object which models its theory. But the theory of an "object" is not included in the category. Let us formalize the theory of $\mathbb{Z}_6$ groups by adding extra conditions to the axioms of groups so that if a usual group satisfies these extra conditions then its isomorphic to $\mathbb{Z}_6.$ Now, is every model of these abstract conditions in our category? Or not? Do you include model theoretic semantic into category or not?
What does category theory give different than the model theory then?
(Q2) If someone chooses objects up to isomorphisms then why a "functor" (should be morphism) is called isomorphism? I saw somewhere that there is a mono which is not a monomorphism in the usual sense. So are there , for instance finite groups, which are isomorphic in the categoric sense but not isomorphic in the normal sense? Please note that finite group category is just an example, you are welcome to add interesting examples.
Thank you.
Edit: "functor" of Q2 should be "morphism".