Shipping Estimate
USA
- USA
- CAN
- USA
- CAN
Ships within 48 hours Β· Estimated delivery Jul 5 - Jul 10
Promo Codes Available:
For Your Every Summer RSVP, with Code: SUMMER15
Description
An introduction to fibrations, topos theory, the effective topos and modest setsThis book describes Hyland's effective topos, which provides a category theoretic realizability model of higher order type theory and quantification over types. Along the way, it provides an introduction to fibrations and topos theory, suitable for readers with a basic background in mathematical logic and category theory. It is based on a 1992 lecture series at the University of Edinburgh.
This book describes Hyland's effective topos, which provides a category-theoretic realizability model of higher-order type theory and quantification over types. Along the way, it provides an introduction to fibrations and topos theory, suitable for readers with a basic background in mathematical logic and category theory. It is based on a 1992 lecture series at the University of Edinburgh.
Shipping Notes
- Free Standard Shipping on $100+ Orders to the USA.
- Except Preorder products are shipped in 48 hours.
- Delivery to the USA:
- Standard Shipping : 3-10 business days
- If time is of the essence, please consider selecting expedited delivery for faster service.
Exchange/Return Notes
- We offer a 30-day return/exchange service after receiving.
- Final sale items are not eligible for returns or exchanges.
- To process your return/exchange, please contact us at [email protected]
- Please click here for more details>>> Return & Exchange Policy