Category theory, K theory, and homological algebra are interconnected fields ... Category Theory: A branch of mathematics that deals with abstract structures and relationships between them ...