Stephen Wolfram's: A New Kind of Science | Online
Jump to Page
Look Up in Index

Chapter 12 Notes > Section 9 > Page 1154 > Note (b) Previous note-----Next note
Notes for: The Principle of Computational Equivalence | Implications for Mathematics and Its Foundations

*Category theory

Developed in the 1940s as a way to organize constructs in algebraic topology, category theory works at the level of whole mathematical objects rather than their elements. In the basic axioms given here the variables represent morphisms that correspond to mappings between objects. (Often morphisms are shown as arrows in diagrams, and objects as nodes.) The axioms specify that when morphisms are composed their domains and codomains must have appropriately matching types. Some of the methodology of category theory has become widely used in mathematics, but until recently the basic theory itself was not extensively studied--and its axiomatic status remains unclear. Category theory can be viewed as a formalization of operations on abstract data types in computer languages--though unlike in Mathematica it normally requires that functions take a single bundle of data as an argument.


Page image


Pages related to this note:


All notes on this page:

* Real algebra [and axioms]
* [Axioms for] geometry
* Category theory
* Set theory [and axioms]
* All notes for this section
* Downloadable programs for this page
* Downloadable images
* Search Forum for this page
* Post a comment
* NKS | Online FAQs
From Stephen Wolfram: A New Kind of Science [citation] Previous note-----Next note