CATEGORICAL HARMONY AND PATH INDUCTION

DOI10.1017/S1755020317000077MaRDI QIDQ5274880zbMATH OpenOpenAlexFDO

Authors Patrick M. Walsh

Publication date 6 July 2017

Published in The Review of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/s1755020317000077

zbMATH Keywords

harmonycategory theoryhomotopy type theoryphilosophy of logic

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Categorical logic, topoi (03G30) Topological categories, foundations of homotopy theory (55U40)

Recommendations

• Categorical Harmony and Paradoxes in Proof-Theoretic Semantics
• Path categories and propositional identity types
• scientific article; zbMATH DE number 4023534
• Recursive categoricity and persistence
• Categorical pairs and the indicative shift
• Categorical models for path spaces
• Categoricity and generalized model completeness
• Partial Horn logic and Cartesian categories
• Coherence of proof-net categories
• On the Paths of Categories

Cites work

• scientific article; zbMATH DE number 5761737 (Why is no real title available?)
• scientific article; zbMATH DE number 3758289 (Why is no real title available?)
• scientific article; zbMATH DE number 709086 (Why is no real title available?)
• scientific article; zbMATH DE number 1078585 (Why is no real title available?)
• scientific article; zbMATH DE number 3275554 (Why is no real title available?)
• scientific article; zbMATH DE number 3370546 (Why is no real title available?)
• A judgmental reconstruction of modal logic
• Adjointness in Foundations
• Categorical Harmony and Paradoxes in Proof-Theoretic Semantics
• Categorical logic and type theory
• Does homotopy type theory provide a foundation for mathematics?
• Generalized definitional reflection and the inversion principle
• Homotopy type theory. Univalent foundations of mathematics
• Identity in homotopy type theory. Part I: The justification of path induction
• Not so stable
• Verificationism then and now
• What is Required of a Foundation for Mathematics?

Cited in

(3)

• Identity in homotopy type theory. Part I: The justification of path induction
• The hole argument, take \(n\)
• The justification of identity elimination in Martin-Löf's type theory

Describes a project that uses

Uses Software

• MathOverflow

This page was built for publication: CATEGORICAL HARMONY AND PATH INDUCTION

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