November 2017
Intermediate to advanced
670 pages
17h 35m
English
Category theory is a branch of mathematics that deals with structure, rather than with particulars. It deals with the kinds of structures that make programs composable.
Category theory is a branch of mathematics that is similar to Set theory. A basic example of a category is the category of sets, where the objects are sets and the arrows are functions from one set to another. Objects of a category need are typically sets, and arrows are typically functions. Any way of formalizing a mathematical concept so that it meets the basic conditions on the behavior of objects and arrows is a valid category.