I’m not familiar with category theory, but I’d be curious to know if there is a relationship between the two. It makes sense that if you add a line in a patch it adds something to the build cache and if you remove a line it removes something from the build cache. The idea behind it is if I pull a patch from someone, I can also pull the relevant entries from the build cache and avoid having to rebuild everything. But maybe that’s a stupid idea 