{"product_id":"effective-kan-fibrations-in-simplicial-sets-9783031188992","title":"Effective Kan Fibrations in Simplicial Sets","description":"\u003cp\u003e\u003c\/p\u003e\u003cblockquote\u003e\n\u003cbr\u003eThis book introduces the concept of effective Kan fibrations, which are maps of simplicial sets with a structured collection of lifts that satisfy certain non-trivial properties. It extends fundamental properties of ordinary Kan fibrations to explicit constructions on effective Kan fibrations, proving that they are stable under push forward, fibred exponentials, local, and completely determined by their fibers above representables. This solves an open problem in homotopy type theory and provides a step toward a constructive account of Voevodskys model of univalent type theory in simplicial sets. \u003c\/blockquote\u003e\u003cp\u003e\u003cstrong\u003eFormat\u003c\/strong\u003e: Paperback \/ softback\u003cbr\u003e\u003cstrong\u003eLength\u003c\/strong\u003e: 230 pages\u003cbr\u003e\u003cstrong\u003ePublication date\u003c\/strong\u003e: 10 December 2022\u003cbr\u003e\u003cstrong\u003ePublisher\u003c\/strong\u003e: Springer International Publishing AG\u003cbr\u003e\u003c\/p\u003e \u003cp\u003e\u003cbr\u003eThis book presents a groundbreaking concept known as an effective Kan fibration, a novel mathematical framework that empowers the study of simplicial homotopy theory. The primary objective is to enhance the applicability of simplicial homotopy theory to homotopy type theory. Effective Kan fibrations are intricate maps of simplicial sets adorned with a carefully selected set of lifts that adhere to specific non-trivial conditions. Here, it is unveiled that fundamental characteristics of ordinary Kan fibrations can be extended to explicit constructions on effective Kan fibrations. Specifically, a constructive (explicit) proof is provided that effective Kan fibrations remain stable under push forward, or fibered exponentials. Moreover, it is demonstrated that effective Kan fibrations are local, or entirely determined by their fibers above representables, and the maps that can be equipped with the structure of an effective Kan fibration are precisely the ordinary Kan fibrations. Consequently, implicitly, both notions continue to describe the same homotopy theory. These groundbreaking findings resolve an open problem in homotopy type theory and mark the initial step toward providing a constructive interpretation of Voevodskys model of univalent type theory in simplicial sets.\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003eWeight\u003c\/strong\u003e: 379g\u003cbr\u003e\u003cstrong\u003eDimension\u003c\/strong\u003e: 235 x 155 (mm)\u003cbr\u003e\u003cstrong\u003eISBN-13\u003c\/strong\u003e: 9783031188992\u003cbr\u003e \u003cstrong\u003eEdition number\u003c\/strong\u003e: 1st ed. 2022\u003c\/p\u003e","brand":"Benno van den Berg,Eric Faber","offers":[{"title":"Paperback \/ softback","offer_id":44295212269818,"sku":"9783031188992","price":45.8,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0522\/4297\/2845\/products\/noImage_1_3a5daf11-7aad-437e-81cf-4bcf79b429f7.jpg?v=1687522146","url":"https:\/\/shulphink.com\/products\/effective-kan-fibrations-in-simplicial-sets-9783031188992","provider":"Shulph Ink","version":"1.0","type":"link"}