书籍介绍
A classic exposition of a branch of mathematical logic that uses category theory, this text is suitable for advanced undergraduates and graduate students and accessible to both philosophically and mathematically oriented readers. Robert Goldblatt is Professor of Pure Mathematics at New Zealand's Victoria University. 1983 edition.
目录
1. Mathematics = Set Theory?
2. What Categories Are
3. Arrows Instead of Epsilon
4. Introducing Topoi
5. Topos Structure: First Steps
显示全部
用户评论
讲法过于冗长且古老,小孩梓不懂事当小说翻了一半,严肃学习朋友推荐sheaves in geometry and logic,或OLIVIA CARAMELLO的Theories, Sites, Toposes.
讲法过于冗长且古老,小孩梓不懂事当小说翻了一半,严肃学习朋友推荐sheaves in geometry and logic,或OLIVIA CARAMELLO的Theories, Sites, Toposes. @2021-11-17 23:16:14