Homomorphic static analysis

yes, the idea is pretty similar. It’s just that the categories you can use to do static analysis are simpler than the ones you would actually use to compile to categories