finished the proof of lemma that pushforwards and pullbacks of C-isos are C-isos
added statement about C-isos being multiplicative