Scratch
January 7, 2017
12:16 PM
I should investigate a possible "solvable decomposition / filtration" for arrows in arrow diagrams.