I think the query category is the pattern, as you say, and the target category is [original category + copy + edges between them]. That way, if the matching process returns a match, that match corresponds to a path-that-is-equivalent-to-the-path-in-the-query-category.
I think the query category is the pattern, as you say, and the target category is [original category + copy + edges between them]. That way, if the matching process returns a match, that match corresponds to a path-that-is-equivalent-to-the-path-in-the-query-category.
But the pattern was already defined as [original category + copy + edges between them + path equivalences] :(
I believe query and target category are the same here, but after reading it again, I see that I don’t fully understand the respective paragraph.