From professional translators, enterprises, web pages and freely available translation repositories.
"* peter t. johnstone (2002) "sketches of an elephant: a topos theory compendium".
* peter t. johnstone: "sketches of an elephant: a topos theory compendium", oxford science publications, oxford, 2002.
* saunders mac lane and ieke moerdijk (1992) "sheaves in geometry and logic: a first introduction to topos theory".
http://publish.uwo.ca/~jbell/catlogprime.pdf (pdf)* saunders mac lane and ieke moerdijk: "sheaves in geometry and logic: a first introduction to topos theory", springer, new york, 1992.