Abstraction, equality and univalence
Article in Philosophical Transactions of the Royal Society A Mathematical Physical and Engineering Sciences (July 2023)
Axiomatic Method and Category Theory
Overview of attention for book
Table of Contents
-
Altmetric BadgeBook Overview
-
Altmetric BadgeChapter 1 Introduction
-
Altmetric BadgeChapter 2 Euclid: Doing and Showing
-
Altmetric BadgeChapter 3 Hilbert: Making It Formal
-
Altmetric BadgeChapter 4 Formal Axiomatic Method and the Twentieth Century Mathematics
-
Altmetric BadgeChapter 5 Lawvere: Pursuit of Objectivity
-
Altmetric BadgeChapter 6 Identity in Classical and Constructive Mathematics
-
Altmetric BadgeChapter 7 Identity Through Change, Category Theory and Homotopy Theory
-
Altmetric BadgeChapter 8 How Mathematical Concepts Get Their Bodies
-
Altmetric BadgeChapter 9 Categories Versus Structures
-
Altmetric BadgeChapter 10 New Axiomatic Method (Instead of Conclusion)