I will start by discussing 'frequently occurring congruences' and the related notion of congruence sheaves. I will then introduce
a method to construct lifts of differential equations by using generalized Taylor's formula in a systematic way.
The talk is based on joint work with Ilia Gaiur.
Links:
[1] https://www.mpim-bonn.mpg.de/de/taxonomy/term/39
[2] https://www.mpim-bonn.mpg.de/de/node/3444
[3] https://www.mpim-bonn.mpg.de/de/node/246