Venus Homotopically.

The identity concept developed in the Homotopy Type theory (HoTT) sup- ports an analysis of Frege’s famous Venus example, which explains how empiri- cal evidences justify judgements about identities. In the context of this analysis we consider the traditional distinction between the extension and the intension of concepts as it appears in HoTT, discuss an ontological significance of this dis- tinction and, finally, provide a homotopical reconstruction of a basic kinematic scheme, which is used in the Classical Mechanics, and discuss its relevance in the Quantum Mechanics.

Authors

• Andrei Rodin

Keywords

• Identity
• Homotopy type theory
• Intension
• Kinematics