Category Theory and Programming

Category theory is providing the abstract of the mathematics. Category theory formalize mathematics structure. Category theory is used to develop common language between mathematics. In category theory, object and arrows (or morphisms) between objects. For each object there is a identity morphism and object arrows/functions/morphisms can be composed in associative fashion For example: A — f() … Continue reading Category Theory and Programming