Translator's introduction \ Preface \ Part I: topos, or logics of ontology: An introduction for philosophers \ 1. General aim \ 2. First definitions \ 3. The size of a category \ 4. Limit and universality \ 5. Some fundamental concepts \ 6. Duality \ 7. Isomorphism \ 8. Exponentiation \ 9. Universe 1: closed Cartesian categories \ 10. Structures of immanence 1: philosophical grounds \ 11. Immanence 2: sub-object \ 12. Immanence 3: elements of an object \ 13. 'Elementary' clarification of exponentiation \ 14. Logic 1: central object (or sub-object classifier) \ 15. True, false, negation and more \ 16. Central object as linguistic power \ 17. Universe 2: the concept of Topos \ 18. Ontology of the void and of difference \ 19. Mono., Epi., Iso., Equa., and other arrows \ 20. Topoi as logical places \ 21. Internal algebra of 1 \ 22. Ontology of the void and excluded middle \ 23. A classical miniature \ 24. A non-classical miniature \ Part II: Being-There \ Introduction \ A. Transcendental structures \ B. Transcendental connections \ B2. Of transcendental connections and logic in its usual sense (propositional logic and first order logic of predicates)\ B3. Transcendental connections and the general theory of localisations: topology \ C. Theory of appearing and of objectivity \ D. Transcendental projections: theory of localisation \ E. Theory of relations: the status of worlds \ Index

This book may be interesting and useful both for a philosophical reader who wants to learn some basics elements of category and topos theory, and for a mathematical reader interested in philosophical interpretations of these theories.