Comment by ants_everywhere

It's IMO the right setting to talk about logic. That's one of the reasons it unifies ideas in math.

Computer science is mostly an application of logic which is why category theory has become a useful tool in theoretical computer science.