Michael Shulman
2-polycongruence

If you’ve read about 2-congruences and about familial regularity and exactness you should be able to figure out what a 2-polycongruence is. I don’t want to take the time to write it down precisely at the moment.