论文信息 - Categories, toposes and sets - 字舞流文

Categories, toposes and sets

[1] S. Maclane. Sets, Topoi, and Internal Logic in Categories , 1975 .

[2] John L. Bell,et al. Boolean-valued models and independence proofs in set theory , 1977 .

[3] R. Goldblatt. Topoi, the Categorial Analysis of Logic , 1979 .

[4] D. Scott,et al. Sheaves and logic , 1979 .

[5] S. Maclane,et al. Categories for the Working Mathematician , 1971 .

[6] D. Scott,et al. Applications of sheaves , 1979 .

[7] Peter Freyd,et al. Aspects of topoi , 1972, Bulletin of the Australian Mathematical Society.