{"product_id":"an-introduction-to-fibrations-topos-theory-the-effective-topos","title":"An introduction to fibrations, topos theory, the effective topos","description":"\u003cp\u003eThis 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.\u003c\/p\u003e","brand":"BooksWholesale","offers":[{"title":"Hardcover","offer_id":44598111469729,"sku":"sephard3280","price":36.46,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0462\/1120\/3233\/files\/1g8vpqj8-front-shortedge-384.jpg?v=1725411748","url":"https:\/\/bookswholesale.myshopify.com\/products\/an-introduction-to-fibrations-topos-theory-the-effective-topos","provider":"BooksWholesale","version":"1.0","type":"link"}