Gurkenglas comments on Category Theory Without The Baggage

[Gurkenglas]

But the pattern was already defined as [original category + copy + edges between them + path equivalences] :(

[Rafael Harth]

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.