Identity in Homotopy Type Theory, Part I: The Justification of Path Induction

Philosophia Mathematica - United Kingdom
doi 10.1093/philmat/nkv014
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Oxford University Press (OUP)

Related search

The Homotopy Theory of Type Theories

Advances in Mathematics
Mathematics
2018English

Type Theory and Homotopy

2012English

Modal Homotopy Type Theory

2020English

Homotopy-Initial Algebras in Type Theory

Journal of the ACM
ControlSystems EngineeringInformation SystemsHardwareArchitectureArtificial IntelligenceSoftware
2017English

Homotopy Equivariance, Strict Equivariance and Induction Theory

Proceedings of the Edinburgh Mathematical Society
Mathematics
1992English

Free Higher Groups in Homotopy Type Theory

2018English

Correction To: Expressing ‘The Structure Of’ in Homotopy Type Theory

Synthese
PhilosophySocial Sciences
2018English

Homotopy Theory of Rigid Profinite Spaces. I

Pacific Journal of Mathematics
Mathematics
1979English

The Homotopy Type of the Space of Diffeomorphisms. I

Transactions of the American Mathematical Society
MathematicsApplied Mathematics
1974English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy