They overlap in part because the latter two topics are used to abstract over any mathematics.