Category theory formalizes mathematical structure and its concepts in terms of a labeled directed graph called a category, whose nodes are called objects, and whose labelled directed edges are called arrows (or morphisms). A category has two basic properties: the ability to compose the arrows associatively, and the existence of an identity arrow for each object. The language of category theory has been used to formalize concepts of other high-level abstractions such as sets, rings, and groups. Informally, category theory is a general theory of functions.
Category Theory in Context
by
Mathematical structures of natural intelligence
by
Search for more titles in Library Portal.
This site contains links to third-party websites. These websites are provided only as a convenience to visitors and does not imply any endorsement of the linked sites by Nanyang Polytechnic. The linked sites are not under the control of Nanyang Polytechnic, and Nanyang Polytechnic is NOT responsible for the contents or communication of any linked site or any link contained in a link site.
