Book contents
- What Is a Mathematical Concept?
- What Is a Mathematical Concept?
- Copyright page
- Contents
- Images
- Notes on Contributors
- Introduction
- Part I
- Part II
- Part III
- Part IV
- 7 Homotopy Type Theory and the Vertical Unity of Concepts in Mathematics
- 8 The Perfectoid Concept: Test Case for an Absent Theory
- Part V
- Part VI
- Part VII
- Part VIII
- Index
- References
7 - Homotopy Type Theory and the Vertical Unity of Concepts in Mathematics
from Part IV
Published online by Cambridge University Press: 26 July 2017
- What Is a Mathematical Concept?
- What Is a Mathematical Concept?
- Copyright page
- Contents
- Images
- Notes on Contributors
- Introduction
- Part I
- Part II
- Part III
- Part IV
- 7 Homotopy Type Theory and the Vertical Unity of Concepts in Mathematics
- 8 The Perfectoid Concept: Test Case for an Absent Theory
- Part V
- Part VI
- Part VII
- Part VIII
- Index
- References
- Type
- Chapter
- Information
- What is a Mathematical Concept? , pp. 125 - 142Publisher: Cambridge University PressPrint publication year: 2017