Paper available

Dear categorists, The following paper, in which perhaps some of you might have an interest, is now available: "Homotopy theoretic models of identity types" by Steve Awodey and Michael A. Warren Abstract: "This paper presents a novel connection between homotopical algebra and mathematical logic. It is shown that a form of intensional type theory is valid in any Quillen model category, generalizing the Hofmann-Streicher groupoid model of Martin-Loef type theory." The paper may be found on the arXiv as 0709.0248v1 (math.LO): <http://arxiv.org/abs/0709.0248> Best regards, Michael Warren