Graphs are to categories as lists are to monoids https://alhassy.github.io/PathCat/