Category theory was invented in the 1940s to unify and synthesize different areas in mathematics, and it has proven remarkably …
