Is it true that morphisms need not necessarily be “functions” between the source and target? Can we arbitrarily define morphisms between objects of a category as long as the definition of composition follows the axioms.
What are the benefits of treating a Mathematical Structure from categorical viewpoint instead of observing its internal set theoretic structure.