Two homological proofs of the Noetherianity of $FI_G$

Abstract

We give two homological proofs of the Noetherianity of the category $FI$, a fundamental result discovered by Church, Ellenberg, Farb, and Nagpal.