Awodey and Warren: homotopy-theoretic models of identity types

What changed

Built sound homotopy-theoretic models of identity types under model-category hypotheses.

Scientific scope

The record is the exact two-author 2009 journal paper, first published online in 2008. It generalizes the Hofmann–Streicher groupoid model but is not the later univalence axiom, the 2013 HoTT book or a claim that all homotopy type theory follows from this paper.

Evidence

The linked sources identify this contribution and its scope. WRS has not independently reconstructed the scientific claims. The record is the exact two-author 2009 journal paper, first published online in 2008. It generalizes the Hofmann–Streicher groupoid model but is not the later univalence axiom, the 2013 HoTT book or a claim that all homotopy type theory follows from this paper.

Contributors

• Steve Awodey · SCIENCE: Named source author of the scoped work; individual effort shares are not measured.
• Michael A. Warren · SCIENCE: Named source author of the scoped work; individual effort shares are not measured.

• Cambridge paper on identity-type models
• Author copy of Awodey–Warren paper

Provisional WRS assessment, edition 2026-10-16.1. Independent expert calibration is pending. This grade does not certify correctness or assign ownership.

Full scientific record · Browse contribution grades · Request a correction