{"product_id":"relative-category-theory-and-geometric-morphisms","title":"Relative Category Theory and Geometric Morphisms","description":"\u003cp\u003eTopos theory provides an important setting and language for much of mathematical logic and set theory. It is well known that a typed language can be given for a topos which allows a topos to be regarded as a category of sets. This enables a fruitful interplay between category theory and set theory.  However, one stumbling block to a logical approach to topos theory has been the treatment of geometric morphisms. This book presents a convenient\n\u003cbr\u003eand natural solution to this problem by developing  the notion of a frame relative to an elementary topos. The authors show how this technique enables a logical approach to be taken to topics such as\n\u003cbr\u003ecategory theory relative to a topos and the relative Giraud theorem.  The work is essentially self-contained except that the authors presuppose a familiarity with basic category theory and topos theory.\u003c\/p\u003e","brand":"Oxford University Press","offers":[{"title":"Default Title","offer_id":46059003248878,"sku":"9780198534341","price":66.31,"currency_code":"AUD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0630\/9612\/7726\/files\/9780198534341.jpg?v=1736488692","url":"https:\/\/bookland.com.au\/products\/relative-category-theory-and-geometric-morphisms","provider":"Book Land AU","version":"1.0","type":"link"}