# nLab Sheaves in Geometry and Logic

• , ,

• , ,

• ,

• /

• ,

• ,

• , , ,

• ,

• , ,

## Theorems

This entry collects hyperlinks related to the textbook

• Sheaves in Geometry and Logic – A first introduction to topos theory

Springer Verlag, 1992

on sheaf and topos theory and its application in categorical logic.

# Content

Examples:

## Appendix: Sites for Topoi

category: reference

Last revised on February 3, 2018 at 02:59:59. See the history of this page for a list of all contributions to it.