Category theory is a mathematical theory that deals in an abstract way with mathematical structures and relationships between them.