Category theory

From Wikipedia, the free encyclopedia
Jump to: navigation, search

Category theory is a type of mathematics. Category theorists show how different ideas in mathematics are the same. 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.

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 can not count them.

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.