category theory: Branch of mathematics that formalizes structure using labeled, directed graphs </>