We should just use category-theoretic diagrams for everything.