| Version 2 |
Version 1 |
| A {\em topos} is a Cartesian closed category of sheaves on a Grothendieck site with all the applicable colimits of finite index categories, a subobject classifier and an exponential object. The plurals {\em toposes} and {\em topoi} are encountered with about equal frequency in the literature. Alexander Grothendieck and Jean Giraud were the pioneers of topos theory. |
A {\em topos} is a Cartesian closed category of sheaves on a Grothendieck site with all the applicable colimits of finite index categories, a subobject classifier and an exponential object. The plurals {\em toposes} and {\em topoi} are encountered with about equal frequency in the literature. Alexander Grothendieck and Jean Giraud were the pioneers of topos theory. |
|
|
| \begin{thebibliography}{1} |
\begin{thebibliography}{1} |
| \bibitem M. Barr \& C. Wells {\it Toposes, Triples and Theories} Montreal: McGill University (2000) |
\bibitem M. Barr \& C. Wells {\it Toposes, Triples and Theories} Montreal: McGill University (2000) |
| \end{thebibliography} |
\end{thebibliography} |
