A categorical question [closed]

Hi everyone, I want to know the descriptive translation and explanation of a paragraph of EGAI, (chapter 0, 3.1.3)

Supposons que $K$ soit la catégorie définie par une « espèce de structure avec morphismes » $\Sigma$, les objets de $K$ étant donc les ensembles munis de structures d'espèce $Sigma$ et les morphismes ceux de $S$.

Thanks

-

closed as off topic by Qiaochu Yuan, Reid Barton, Loop Space, Charles Siegel, José Figueroa-O'FarrillJan 11 '10 at 15:29

Questions on MathOverflow are expected to relate to research level mathematics within the scope defined by the community. Consider editing the question or leaving comments for improvement if you believe the question can be reworded to fit within the scope. Read more about reopening questions here.If this question can be reworded to fit the rules in the help center, please edit the question.

Sigma=$\Sigma$ S at the end of the paragraph is again $\Sigma$ – Mehdi Omidali Jan 11 '10 at 12:41
There are many, many online translation services that could do this for you. – Qiaochu Yuan Jan 11 '10 at 12:42
Yes, but translation services are usually quite bad at technical language. Here's a translation; althugh it's really so close to the English that it's a bit embarrassing to write it down: "Let us suppose that K is the category defined by a "kind of structure with morphisms" Sigma, the objects of K being thus the sets provided with a structure of the kind Sigma and the morphisms those of Sigma. – José Figueroa-O'Farrill Jan 11 '10 at 15:28
Google Translate learns if you correct it, so it will get better at technical language as more mathematicians use it. – Ben Webster Jan 11 '10 at 18:40

We suppose that $K$ is a category defined by a "species of structures with morphisms" $\Sigma$, the objects of $K$ are thus the sets endowed with structure of species $\Sigma$ and the morphisms those of $\Sigma$.
Here first Grothendieck defines a solution to a universal problem in a category $K$. He's actually defining a limit, but for diagrams that look like a cover. He also defines a sheaf with values in an arbitrary category $K$, giving the extra condition on a presheaf. Then he restricts to the case where $K$ is made of objects with extra structures as above, and assumes that $K$ satisfies a further property: that a solution to a universal problem in $K$ remains a solution in the category of sets if we forget the structures. Then he says that in this case a sheaf with values in $K$ is also a sheaf of sets.