David Corfield

The sequel to MHTT. Updates on each chapter + Friedman chapter.

Chapter 1: Types

Any mentions in types in philosophical literature, much here that’s not dependent?, Lotze, fundamental categories. Univocality/equivocality. TypeType and Type +Type^+, account on ‘Modal type’ of green, but now via 1Type1 \to Type, filtering out of EntitiesEntities those that are XEntitiesX-Entities.

Chapter 2: Dependent types

Mike’s nn-theories; questions; extended anaphora case.

Chapter 3: Homotopy types

Equivalence relation, book up to identity; Univalence for structures;

Chapter 4: Modal type

Graded modalities; Leverhulme application; temporal modality; Peirce – coloured modes; inductive, probabilistic; equivariant.

Chapter 5: Spatial types

condensed vs cohesive;

Chapter 6: Friedman

Last revised on March 18, 2021 at 04:25:02. See the history of this page for a list of all contributions to it.