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.