Handbook of Categorical Algebra:Volume 3, Sheaf Theory (Encyclopedia of Mathematics and its Applications, Vol. 52) '94
Borceux, F. 著
内容
目次
Preface; Introduction to the handbook; 1. Locales; 2. Sheaves; 3.Grothendieck toposes; 4. The classifying topos; 5. Elementary toposes; 6.Internal logic of a topos; 7. The law of excluded middle; 8. The axiom ofinfinity; 9. Sheaves in a topos; Index.