All Questions
1 question
2
votes
1
answer
776
views
Mathematical background required to learn about sheaves
Due to my interest in type theory (and higher type theory), I have found that learning about sheaves might be useful (for, e.g., sheaf models of type theories). There is Kashiwara and Schapira's ...
- 1,094