[FOM] Identity of isomorphic structures

[Steve Awodey]

The article in question is also available on my website.
Another survey article, less philosophical and more mathematical, is the following:

Voevodsky's Univalence Axiom in homotopy type theory
Steve Awodey, Álvaro Pelayo, Michael A. Warren
Notices of the American Mathematical Society
Volume 60,  Issue 09, October 2013, pp. 1164–67.

Available on the arXiv and here:

http://arxiv.org/pdf/1302.4731v1.pdf

Thanks for your interest,

Steve

On Apr 8, 2014, at 6:40 PM, Ian Grant <ian.a.n.grant at googlemail.com> wrote:

> Dear FOM
> 
> This is a particular interest of mine, and I would like to comment,
> but I find that the article in question is available only to
> subscribers:
> 
>  Pay per View - If you would like to purchase short-term access you must have a
>     personal account.  Please sign in with your personal user name and password
>     or Register to obtain a user name name and password for free. You may
>     access this article for 1 day for US$38.00.
> 
> Unfortunately I do not have $38.00 to spend on this. I live in
> Bolivia, and I do not have a credit card. The relevance of Bolivia is
> that here $40 will pay the rent for a student's accommodation for one
> month.
> 
> This is but one instance of a more general problem. In Bolivia we have
> no access to JStor. So we cannot read Church's 1940 paper on the
> Simple Theory of Types, for example.  A more general question still
> is: what is the value of peer review if it results in restricted
> availability of the work?
> 
> If anyone on this list is inclined to support our campaign to allow
> free access to historic papers on JStor, then please send me an email
> indicating your sympathy, and with any suggestions you may have for
> ways forward. I promise not to forward your e-mail address to anyone
> else, and not to send more than one document summarising the results.
> 
> Ian Grant
> _______________________________________________
> FOM mailing list
> FOM at cs.nyu.edu
> http://www.cs.nyu.edu/mailman/listinfo/fom