Compare Prices | Create Shopping Lists with Price Drop Alerts | Set Coupons, Promo Codes & Sales Alerts | Get Access to Exclusive Deals and Much More... All in One Place | Read all about it here

Effective Kan Fibrations in Simplicial Sets

Effective Kan Fibrations in Simplicial Sets

Brand
Springer Nature
Manufacturer
N/A
Part Number
0
GTIN
9783031188992
Condition
New
Product Description

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.

Available Colors
Available Sizes
1 Offer Price Range: $49.99 - $49.99
BEST PRICE

Single Product Purchase

$49.99
@ Link.springer.com     BUY Now

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
@ Link.springer.com
Contact Store Call Store Contact Support
$49.99 $49.99

$49.99
See Site In stock Visit Store

Similar Products

Pizza Shark (Hardcover)

$11.24

Yearbook of International Sports Arbitration 2017

$139.99

Schedule-Based Modeling of Transportation Networks

$84.99

The Elusive Quest for European Security

$54.99

Elite Schooling and Social Inequality

$89.00

The Lattice Boltzmann Method

$99.99

Das Gleitsystem des Bewegungsapparates (Schleimbeutel, Sehnenscheiden) und seine Erkrankungen

$84.99

A Critique of Nicotine Addiction

$129.00

Applied Algebra, Algebraic Algorithms and Error-Correcting Codes

$39.99

Computational Science and Its Applications - ICCSA 2010

$109.99

Orthopaedic Allograft Surgery

$39.99

C++ for VB Programmers

$54.99

The Classical Theory of Fields

$54.99

Insect Hearing

$84.99

Algorithmic Learning Theory

$54.99

Branes and DAHA Representations

$49.99

Contemporary Issues in Modeling Psychopathology

$169.99

Emergency Contact By Mary H. K. Choi

$12.99

Leichte Bewegung - Gewinn fr Herz und Hirn

$19.99

The Governance, Security and Development Nexus

$39.99

Die Bercksichtigung von Steuern im Rahmen der Unternehmensbewertung

$84.99

Exportfinanzierung

$59.99

Percy Jackson & the Olympians: The Lightning Thief

$6.38

Medizinisch-technische Assistenz in der modernen Strahlentherapie

$74.99

Beginning SVG

$64.99

Intellectual Disabilities and Autism: Ethics and Practice

$139.99

Multiple Representations in Physics Education

$169.99

Geburt ohne Angst

$29.99

Ein Dyopolmodell mit Gleichgewichtslsungen

$69.99

Arbeitsmarktflexibilitt

$59.99

A Season of Sight Words - Winter: It's Cookie Time!

$3.71

Russian Legal Realism

$139.99

Interkulturelles Marketing

$69.99

Proceedings of the Fourth Seattle Symposium in Biostatistics: Clinical Trials

$169.99

The Fundamental Concept of Crime in International Criminal Law

$109.99

Data Science and Machine Learning

$79.99

Autonome Mobile Systeme 1994

$59.99

Rationality in Extensive Form Games

$109.99

Biographies in the History of Physics

$199.99

Neural Network Perception for Mobile Robot Guidance

$109.99