Category is a mathematical structure consisting of objects and morphisms between objects with some specific properties. Categories examine in abstract way the properties of particular mathematical concepts by formalizing them as collections of objects and morphisms. Categorical structures are widely used in computer science for exact mathematical modeling. This paper highlights the most typical use of categories for constructing the model of part of differential calculus by using special category named arrow category; and codomain and domain functors.
展开▼
