We introduce functors as the natural definition of a morphism of categories using the Data, Structure, Properties of the theory of a category.
No download links available.
