[FOM] Identity of isomorphic structures

[Bas Spitters]

Please note that the book is freely available under the very
permissive CC-BY-SA license.
http://homotopytypetheory.org/

You might enjoy this blog-post about the spirit in which the book was written:
http://math.andrej.com/2013/06/20/the-hott-book/

On Wed, Apr 9, 2014 at 12:40 AM, 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