Effective Kan fibrations in simplicial sets

Authors
Publication date 2022
ISBN
  • 9783031188992
ISBN (electronic)
  • 9783031189005
Series Lecture Notes in Mathematics
Number of pages 230
Publisher Cham: Springer
Organisations
  • Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
Abstract Contributes to the emerging area of homotopy type theory.
Provides new effective foundations for simplicial homotopy theory.
Light on prerequisites (only basic category theory is required).
Document type Book
Note Available in university library UvA.
Language English
Published at https://doi.org/10.1007/978-3-031-18900-5
Permalink to this page
Back