It looks like you're new here. If you want to get involved, click one of these buttons!
In Seven sketches, categorical schemas are talked about a lot. They're given by a graph and a path equivalence relation on that graph. It seems very much like the construction of the quotient category (https://en.wikipedia.org/wiki/Quotient_category), which identifies sets of morphisms as well.
Is there perhaps a subtle difference between these two? Seven sketches doesn't seem to mention quotient categories at any point