Cataloging the HoTT book

[dan]

Do people have any suggestions for the IAS math librarian about 

which Library of Congress classification

number to use for the HoTT book?  Reasonable choices include 

QA612.7 homotopy theory, QA76.7 programming languages (like Streicher's

book), QA9 logic, and QA9.54 proof theory.

Sadly, the Library of Congress doesn't make their scheme publicly available

on their web site, but one can search their catalog for type theory items:

http://catalog.loc.gov/cgi-bin/Pwebrecon.cgi?DB=local&Search_Arg=type+theory&Search_Code=GKEY%5E*&CNT=100&type=quick

[Steve Awodey]

I would vote for these (in this order):

QA9 logic

QA612.7 homotopy theory

Steve

--
You received this message because you are subscribed to the Google Groups "IAS Univalent Foundations" group.
To unsubscribe from this group and stop receiving emails from it, send an email to univalent-founda...@googlegroups.com.
To post to this group, send email to univalent-...@googlegroups.com.
Visit this group at http://groups.google.com/group/univalent-foundations.
For more options, visit https://groups.google.com/groups/opt_out.

[Bas Spitters]

On the arxiv we used:
Logic (math.LO); Programming Languages (cs.PL); Algebraic Topology
(math.AT); Category Theory (math.CT)

[Michael Nahas]

For what it's worth:

Russell and Whitehead's "Principia Mathematica" is in Logic.
QA9 .W52 1997

Per Martin-Lof's "Notes on Constructive Mathematics" is in Logic

QA9 .M34

[Daniel R. Grayson]

It seems that QA9 is the popular choice.  Thank you!