pullbacks from complete, not cocomplete
minor tweaks
minor edit
bunch of edits & reorganization