Venus homotopically

MaRDI QIDQ5215797zbMATH OpenFDO

Authors Andrei Rodin

Publication date 13 February 2020

zbMATH Keywords

homotopy type theoryidentityintensionkinematics

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Logic in the philosophy of science (03A10) Type theory (03B38) General and philosophical questions in quantum theory (81P05)

Recommendations

• Identity in homotopy type theory. II: The conceptual and philosophical status of identity in HoTT
• Homotopy type theory
• Identity in homotopy type theory. Part I: The justification of path induction
• Identity and intensionality in univalent foundations and philosophy
• \(\pi _{n }(S ^{n })\) in homotopy type theory

Cited in

(2)

• Identity in homotopy type theory. II: The conceptual and philosophical status of identity in HoTT
• Models of HoTT and the Constructive View of Theories

This page was built for publication: Venus homotopically

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5215797)