search

ryankeleti / ega

amateur translation project of Grothendieck's EGA.
https://ryankeleti.com/ega
317 stars 33 forks source link

0.11.5 #206

Open wayneyang108 opened 8 months ago

wayneyang108 commented 8 months ago

Finished 0.11.5

thosgood commented 8 months ago

I don't mean this in a rude way, but have you been using machine translation (google translate or something) for any of this? Just the first three sentences alone don't make much sense. I'm really happy that you're contributing, and even just typing out the LaTeX for the mathematical parts is such a great help! But before I merge this I would have to go through and edit it quite heavily.

(There are also some maths words that look like false friends or have a different order of adjectives in English, like "inductive limit filtrants" → "filtrant inductive limits", and "inf limit complexes" → "bounded-below complexes").

wayneyang108 commented 8 months ago

I must admit I am still learning all of these including French and mathematics. Indeed I use google translation for the reference. I hope it wouldn’t be too difficult to edit it. I will pause here and study more.

BachoSeven commented 7 months ago

"inductive limit filtrants" → "filtrant inductive limits", and "inf limit complexes" → "bounded-below complexes").

btw, I think filtered is more commonly used in this context, see e.g. https://ncatlab.org/nlab/show/filtered+limit or https://stacks.math.columbia.edu/tag/04AX