Category theory is a type of mathematics. Category theorists show how different ideas in mathematics are alike. For example, some ideas from topology and abstract algebra are similar. Ideas in category theory are written down in formulas or diagrams. Category theory can be used to make computer programs more secure or easy to write.
 | This article does not have any sources. (July 2024) |
A category is a mathematical object. It can be drawn with dots and arrows. Each arrow goes from one dot to one other dot. There can be many dots, sometimes so many that you cannot count them. An arrow is the abstract idea of a function and the dots are the domain and codomain of the function.
Composition is a way to make a new arrow out of two arrows. If two arrows form an elbow shape, then they have a composition arrow from the start of the first to the end of the second. Composition obeys some axioms, or equations.
Many ideas in abstract algebra are examples of categories or can be used to make categories. Often, this makes the ideas seem more similar.
Wikiwand in your browser!
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.
