expanded on proof of lemma
added the definiton of multiplicative
added the lemma that shows a pushforward and pullback of C-isos are C-isos
added partial proof to why C-isos are closed under pushforwards and pullbacks