Copied Effective Kan Fibrations in Simplicial Sets
Effective Kan Fibrations in Simplicial Sets
This book introduces the notion of an effective Kan fibration, a new mathematical structure which can be used to study simplicial homotopy theory. The main motivation is to make simplicial homotopy theory suitable for homotopy type theory. Effective Kan fibrations are maps of simplicial sets equipped with a structured collection of chosen lifts that satisfy certain non-trivial properties. Here it is revealed that fundamental properties of ordinary Kan fibrations can be extended to explicit constructions on effective Kan fibrations. In particular, a constructive (explicit) proof is given that effective Kan fibrations are stable under push forward, or fibred exponentials. Further, it is shown that effective Kan fibrations are local, or completely determined by their fibres above representables, and the maps which can be equipped with the structure of an effective Kan fibration are precisely the ordinary Kan fibrations. Hence implicitly, both notions still describe the same homotopy theory. These new results solve an open problem in homotopy type theory and provide the first step toward giving a constructive account of Voevodskys model of univalent type theory in simplicial sets.
Price Comparison
| Seller | Contact Seller | List Price | On Sale | Shipping | Best Promo | Final Price | Volume Discount | Financing | Availability | Seller's Page |
|---|---|---|---|---|---|---|---|---|---|---|
|
BEST PRICE 1 Product Purchase
|
|
$49.99 | $49.99 |
|
$49.99 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Cooperative Game Theory Tools in Coalitional Control Networks
$169.99
Emerging Digital Spaces in Contemporary Society
$54.99
A First Course in Modular Forms
$54.99
Begrndung, Kritik und Rationalitt
$49.99
El nico destino
$8.21
Methods of Algebraic Geometry in Control Theory: Part II
$59.99
Fuzzy Sets in Approximate Reasoning and Information Systems
$219.99
Theoretische Grundlagen der Elektrotechnik 1
$69.99
Health Information Science
$49.99
The Economics of Postal Service
$109.99
Game Equilibrium Models IV
$109.99
Starr-plastische Traglastberechnungen mittels der Methode der Finiten Elemente
$49.99
Ad-Hoc, Mobile, and Wireless Networks
$54.99
Impulse Breakdown of Liquids
$129.00
Hidden Geographies
$179.99
Numerical Flow Simulation III
$129.00
Direct Marketing
$59.99
Nuclear Medicine Radiation Dosimetry
$89.00
Two Millennia of Mathematics
$69.99
Transmedia Archaeology
$70.00
Die bertragung von Familienvermgen
$69.99
Security in Wireless Sensor Networks
$109.99
Ireland and Masculinities in History
$99.00
Psychotherapie von Anfang bis Ende
$34.99
Soft Computing in Ontologies and Semantic Web
$109.99
Intelligence and Realism
$45.00
Endoscopy of the Paranasal Sinuses
$109.99
Composite Structures 3
$429.00
Hmatologische Erkrankungen
$129.00
IFAE 2006
$109.99
Steroid Receptors in Health and Disease
$39.99
Regional Hydrological Response to Climate Change
$39.99
Topology Optimization of Structures and Composite Continua
$169.99
Holographie
$69.99
Wideband Low Noise Amplifiers Exploiting Thermal Noise Cancellation
$179.99
Einfhrung in den Gutachtenstil
$24.99
Security and Trust Management
$39.99
PRICAI 2008: Trends in Artificial Intelligence
$129.00
The Belt and Road Initiative Green Development Case Studies Report 2020
$59.99
