typo
typo
Finished section about finite type, finite presentation, coherence
Checked the constructive details for flatness vs. tensoring being exact
Ring and module axioms from the internal point of view