starting a writeup about eisenstein functors