Shortcuts
Top of page (Alt+0)
Page content (Alt+9)
Page menu (Alt+8)
Your browser does not support javascript, some WebOpac functionallity will not be available.
.
Default
.
PageMenu
-
Main Menu
-
Simple Search
.
Advanced Search
.
Journal Search
.
Refine Search Results
.
Preferences
.
Search Menu
Simple Search
.
Advanced Search
.
New Items Search
.
Journal Search
.
Refine Search Results
.
Bottom Menu
Help
Italian
.
English
.
German
.
New Item Menu
New Items Search
.
New Items List
.
Links
SISSA Library
.
ICTP library
.
Italian National web catalog (SBN)
.
Trieste University web catalog
.
Udine University web catalog
.
© LIBERO v6.4.1sp220816
Page content
You are here
:
Catalogue Display
Catalogue Display
Effective Kan Fibrations in Simplicial Sets
.
Bookmark this Record
Catalogue Record 53544
.
.
Author info on Wikipedia
.
.
LibraryThing
.
.
Google Books
.
.
Amazon Books
.
Catalogue Information
Catalogue Record 53544
.
Reviews
Catalogue Record 53544
.
British Library
Resolver for RSN-53544
Google Scholar
Resolver for RSN-53544
WorldCat
Resolver for RSN-53544
Catalogo Nazionale SBN
Resolver for RSN-53544
GoogleBooks
Resolver for RSN-53544
ICTP Library
Resolver for RSN-53544
.
Share Link
Jump to link
Catalogue Information
Field name
Details
Dewey Class
512.6
Title
Effective Kan Fibrations in Simplicial Sets ([EBook]) / Benno van den Berg, Eric Faber
Author
Berg, Benno van den
Added Personal Name
Faber, Eric
Publication
Cham : Springer International Publishing , 2023
Physical Details
: online resource (x, 230p., ill.)
Series
Lecture Notes in Mathematics
; 2321
ISBN
978-3-031-18900-5
Summary Note
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.(provided by publisher):
Mode of acces to digital resource
Digital reproduction.- Cham : Springer International Publishing, 2023. - Digital book. Cham Springer Nature 2023. - Mode of access: World Wide Web. System requirements: Internet Explorer 6.0 (or higher) or Firefox 2.0 (or higher). Available as searchable text in PDF format
System details note
Online access to this digital book is restricted to subscription institutions through IP address (only for SISSA internal users).
Internet Site
https://doi.org/10.1007/978-3-031-18900-5
Links to Related Works
Subject References:
Category Theory
.
Homological algebra
.
Mathematical logic
.
Authors:
Berg, Benno van den
.
Faber, Eric
.
Series:
Lecture Notes in Mathematics
.
Classification:
512.6
.
.
ISBD Display
Catalogue Record 53544
.
Tag Display
Catalogue Record 53544
.
Related Works
Catalogue Record 53544
.
Marc XML
Catalogue Record 53544
.
Add Title to Basket
Catalogue Record 53544
.
Catalogue Information 53544
Beginning of record
.
Catalogue Information 53544
Top of page
.
Download Title
Catalogue Record 53544
Export
This Record
As
Labelled Format
Bibliographic Format
ISBD Format
MARC Format
MARC Binary Format
MARCXML Format
User-Defined Format:
Title
Author
Series
Publication Details
Subject
To
File
Email
Reviews
This item has not been rated.
Add a Review and/or Rating
53544
1
53544
-
2
53544
-
3
53544
-
4
53544
-
5
53544
-
Quick Search
Search for