{"product_id":"relative-category-theory-and-geometric-morphisms","title":"Relative Category Theory and Geometric Morphisms","description":"Topos 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.\n\nHowever, one stumbling block to a logical approach to topos theory has been the treatment of geometric morphisms. This book presents a convenient and 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 category theory relative to a topos and the relative Giraud theorem.\n\nThe work is essentially self-contained except that the authors presuppose a familiarity with basic category theory and topos theory.","brand":"Oxford University Press","offers":[{"title":"Default Title","offer_id":54230267461976,"sku":"9780198534341","price":43.99,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0278\/1295\/4195\/files\/9780198534341_9f05d25f-404b-4e7a-b010-c2516ffb61bc.jpg?v=1778535956","url":"https:\/\/agendabookshop.com\/products\/relative-category-theory-and-geometric-morphisms","provider":"Agenda Bookshop","version":"1.0","type":"link"}