内容简介
A classic introduction to mathematical logic from the perspective of category theory, this text is suitable for advanced undergraduates and graduate students and accessible to both philosophically and mathematically oriented readers. Its approach moves always from the particular to the general, following through the steps of the abstraction process until the abstract concept emerges naturally.
Beginning with a survey of set theory and its role in mathematics, the text proceeds to definitions and examples of categories and explains the use of arrows in place of set-membership. The introduction to topos structure covers topos logic, algebra of subobjects, and intuitionism and its logic, advancing to the concept of functors, set concepts and validity, and elementary truth. Explorations of categorial set theory, local truth, and adjointness and quantifiers conclude with a study of logical geometry.
关于退货规则：由于按需印刷商品版图书属于定制类商品，根据订单递交成功再安排印刷，因此不接受7天无理由退换货。您付款的同时，我们已安排下厂印刷。如有质量问题的商品，可以接受退货，但不接受换货。如果退货后依然需要此商品，自快递签收日起的5日内，可联系当当客服退货后再重新下单，并且保持出售时原状和收货单据的齐全。
Beginning with a survey of set theory and its role in mathematics, the text proceeds to definitions and examples of categories and explains the use of arrows in place of set-membership. The introduction to topos structure covers topos logic, algebra of subobjects, and intuitionism and its logic, advancing to the concept of functors, set concepts and validity, and elementary truth. Explorations of categorial set theory, local truth, and adjointness and quantifiers conclude with a study of logical geometry.
关于退货规则：由于按需印刷商品版图书属于定制类商品，根据订单递交成功再安排印刷，因此不接受7天无理由退换货。您付款的同时，我们已安排下厂印刷。如有质量问题的商品，可以接受退货，但不接受换货。如果退货后依然需要此商品，自快递签收日起的5日内，可联系当当客服退货后再重新下单，并且保持出售时原状和收货单据的齐全。