Effective Kan Fibrations in Simplicial Sets Image close
Effective Kan Fibrations in Simplicial Sets by Benno van den Berg
Effective Kan Fibrations in Simplicial Sets by Benno van den Berg
Show Hide Adult Content
Effective Kan Fibrations in Simplicial Sets close

Non-Fiction Books:

Home  
Books  
Non-Fiction  
Maths & Science  
Mathematics  
Mathematical foundations

Effective Kan Fibrations in Simplicial Sets

Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

By:

Format:

Paperback / softback
$160.99
Available from supplier

The item is brand new and in-stock with one of our preferred suppliers. The item will ship from a Mighty Ape warehouse within the timeframe shown.

Usually ships in 3-4 weeks
0 in Trolley

Buy Now, Pay Later with:

4 payments of $40.25 with Afterpay Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 14-26 June using International Courier

Explore more Lecture Notes in Mathematics

See all products in this series

Rank 2 Amalgams and Fusion Systems by Martin van Beek
$162.99
Rank 2 Amalgams and Fusion Systems
by Martin van Beek ~ Paperback / softback
Available - Usually ships in 3-4 weeks
K-Theory and Operator Algebras
$112.99
K-Theory and Operator Algebras
Paperback / softback
Available - Usually ships in 3-4 weeks
Cylindric Set Algebras by L. Henkin
$148.99
Cylindric Set Algebras
by L. Henkin ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Iwahori-Hecke Algebras and their Representation Theory by Ivan Cherednik
$123.99
Iwahori-Hecke Algebras and their Representation Theory
by Ivan Cherednik ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Fractals and Hyperspaces by Keith R Wicks
$94.99
Fractals and Hyperspaces
by Keith R Wicks ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Constructive Mathematics
$160.99
Constructive Mathematics
Paperback / softback
Available - Usually ships in 3-4 weeks
ISILC - Proof Theory Symposion
$125.99
ISILC - Proof Theory Symposion
Paperback / softback
Available - Usually ships in 3-4 weeks
Intersection Spaces, Spatial Homology Truncation, and String Theory by Markus Banagl
$146.99
Intersection Spaces, Spatial Homology Truncation, and String Theory
by Markus Banagl ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Polynomes Orthogonaux Formels - Applications on Paperback by A. Draux Save $43
$154.99
$197.99
Polynomes Orthogonaux Formels - Applications
by A. Draux ~ Paperback
Available - Usually ships in 3-4 weeks
Minimal Free Resolutions over Complete Intersections by Irena Peeva
$120.99
Minimal Free Resolutions over Complete Intersections
by Irena Peeva ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Algebraic Topology of Finite Topological Spaces and Applications by Jonathan A. Barmak
$120.99
Algebraic Topology of Finite Topological Spaces and Applications
by Jonathan A. Barmak ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Algebraic K — Theory
$175.99
Algebraic K — Theory
Paperback / softback
Available - Usually ships in 3-4 weeks
Simplicial Complexes of Graphs by Jakob Jonsson
$173.99
Simplicial Complexes of Graphs
by Jakob Jonsson ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Logic Year 1979-80
$159.99
Logic Year 1979-80
Paperback / softback
Available - Usually ships in 3-4 weeks
Approximation Theory in Tensor Product Spaces by William A Light
$107.99
Approximation Theory in Tensor Product Spaces
by William A Light ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Asymptotic Cyclic Cohomology by Michael Puschnigg
$178.99
Asymptotic Cyclic Cohomology
by Michael Puschnigg ~ Paperback / softback
Available - Usually ships in 3-4 weeks

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 Voevodsky’s model of univalent type theory in simplicial sets.
Release date Australia
December 10th, 2022
Audience
  • Professional & Vocational
Edition
1st ed. 2022
Illustrations
1 Illustrations, black and white; X, 230 p. 1 illus.
Pages
230
ISBN-13
9783031188992
Product ID
35984534

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Recommended for you

Recommended from your browsing history

Help & options

Filed under...

Books >
Non-Fiction >
Maths & Science >
Mathematics >
Mathematical foundations
Books >
Non-Fiction >
Maths & Science >
Mathematics >
Topology >
Algebraic topology