From mboxrd@z Thu Jan  1 00:00:00 1970
X-Received: by 2002:a9d:4915:: with SMTP id e21-v6mr20824649otf.17.1525692532645;
        Mon, 07 May 2018 04:28:52 -0700 (PDT)
X-BeenThere: homotopytypetheory@googlegroups.com
Received: by 2002:aca:110f:: with SMTP id 15-v6ls659999oir.7.gmail; Mon, 07
 May 2018 04:28:51 -0700 (PDT)
X-Received: by 2002:aca:b3c1:: with SMTP id c184-v6mr17997979oif.21.1525692531864;
        Mon, 07 May 2018 04:28:51 -0700 (PDT)
ARC-Seal: i=1; a=rsa-sha256; t=1525692531; cv=none;
        d=google.com; s=arc-20160816;
        b=ejOgO4kJWLOf8jmk9yPf0xIOY9dfg0KrvA8lo1yZfnjFqoju1IEKhOcCIzN4aCWcSk
         EmOzHn/K/qiC2DVW1utY/rivaHJbO9ZeHJ49vuUzUxsRvHOPX+aYtLsrjtlIlR15Ixtw
         a1VNZ9HmgDTbRbwRk8hd+cyvW8HxBDlqA/r7p4rTZj3E6T8gDNHrJAiWtoPaaYvOJk6d
         PLtnSara18jzlnzumaWnLQ3KKkWiG16mChqt1cZxMCesbSy4YjJukJJe5m6li2l/KnO/
         ZbUXd+djmHT484eWnVnWh2e37R1qZ0y3h6AM9rfznUVRhN83V47vhJ9j3fn7CIGy2t49
         8y/g==
ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816;
        h=to:subject:message-id:date:from:mime-version:dkim-signature
         :arc-authentication-results;
        bh=xsruwst2pe5MfXH0pVjtYfRGkQe9T1z1LgOLZtv0DXw=;
        b=a7Fv+hqd7FkZIf3LjxH8NZOVE9jwKvP8mSE9HXKfT4QtE6HMK84n7Ez1r1/C8+eQQk
         kHnyXQMfDE4+AWU1zis3u0NPaYIta4TSYo4Ogvm9jFb2leO7gc0M69boGqjU92UzfAW/
         b8Ex4eQIoKftIv7zgmHCiApXxvNeYhCvDBag6w5+nejwfKdFnLT5liAF+/eFQ+1A7MZY
         RRNnDAAU084AsF7GjQ1EOw4EhEiz9y3x6iTiLbZfVMyqTW+RVDiZ09/i3nTlOe/atpTL
         xHpA/ZWpbD8rU8XnvSaAUrRP3TUoG9z/CEZBkrOp4/ATM3S3jsaaEYF7G1TowZWxP+Dz
         /h7w==
ARC-Authentication-Results: i=1; gmr-mx.google.com;
       dkim=pass head...@sandiego-edu.20150623.gappssmtp.com header.s=20150623 header.b=uhLn2gXT;
       spf=neutral (google.com: 2607:f8b0:4002:c09::22b is neither permitted nor denied by domain of shu...@sandiego.edu) smtp.mailfrom=shu...@sandiego.edu
Return-Path: <shu...@sandiego.edu>
Received: from mail-yb0-x22b.google.com (mail-yb0-x22b.google.com. [2607:f8b0:4002:c09::22b])
        by gmr-mx.google.com with ESMTPS id k23-v6si901199oiw.0.2018.05.07.04.28.51
        for <homotopyt...@googlegroups.com>
        (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128);
        Mon, 07 May 2018 04:28:51 -0700 (PDT)
Received-SPF: neutral (google.com: 2607:f8b0:4002:c09::22b is neither permitted nor denied by domain of shu...@sandiego.edu) client-ip=2607:f8b0:4002:c09::22b;
Authentication-Results: gmr-mx.google.com;
       dkim=pass head...@sandiego-edu.20150623.gappssmtp.com header.s=20150623 header.b=uhLn2gXT;
       spf=neutral (google.com: 2607:f8b0:4002:c09::22b is neither permitted nor denied by domain of shu...@sandiego.edu) smtp.mailfrom=shu...@sandiego.edu
Received: by mail-yb0-x22b.google.com with SMTP id y5-v6so9812851ybg.0
        for <homotopyt...@googlegroups.com>; Mon, 07 May 2018 04:28:51 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=sandiego-edu.20150623.gappssmtp.com; s=20150623;
        h=mime-version:from:date:message-id:subject:to;
        bh=xsruwst2pe5MfXH0pVjtYfRGkQe9T1z1LgOLZtv0DXw=;
        b=uhLn2gXT2+/E2IKKRAlLSF8BJ3QcJiQaK0N/rYMbc84UojkCABnfCI6z54/6m/kChD
         Te1IoLhGIz6/JVoyUIDqGVpLasW/KZj/9h61jEzFQUtSB4N1yAKmnM/Cw7tzHBWXSDRl
         oAkWWzIXteXAe2JWUblwkpLxgt3mrDDorAlVQ3X433thCRNHxfYM6SSHfRqRurMrR6Jr
         OVXB+BWdYrgT8RzejFsO/9hVR3XhbgIfndT/apNjd+59wiPHJg0uybOLY3S8MbwTuMkE
         Rw3WXFX5FJC4i5FwzF7/NQyh0z4Ol9Yn44BcD/qdfnG58XvwpWPrWy3MICaSKWTMWUMK
         GQPQ==
X-Gm-Message-State: ALQs6tDLja09IsR/zMzB21EPrB/G4MtjHinthHSTAjJespt605WtffeJ
	sO4tNKfIL/B8ne5E6CFI+S6WKLlp
X-Received: by 2002:a25:98c9:: with SMTP id m9-v6mr22634873ybo.452.1525692531313;
        Mon, 07 May 2018 04:28:51 -0700 (PDT)
Return-Path: <shu...@sandiego.edu>
Received: from mail-yw0-f171.google.com (mail-yw0-f171.google.com. [209.85.161.171])
        by smtp.gmail.com with ESMTPSA id v21-v6sm88119ywc.94.2018.05.07.04.28.50
        for <homotopyt...@googlegroups.com>
        (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128);
        Mon, 07 May 2018 04:28:50 -0700 (PDT)
Received: by mail-yw0-f171.google.com with SMTP id l15-v6so8491381ywk.3
        for <homotopyt...@googlegroups.com>; Mon, 07 May 2018 04:28:50 -0700 (PDT)
X-Received: by 2002:a81:70d0:: with SMTP id l199-v6mr15841408ywc.178.1525692530286;
 Mon, 07 May 2018 04:28:50 -0700 (PDT)
MIME-Version: 1.0
Received: by 2002:a25:d297:0:0:0:0:0 with HTTP; Mon, 7 May 2018 04:28:49 -0700 (PDT)
From: Michael Shulman <shu...@sandiego.edu>
Date: Mon, 7 May 2018 04:28:49 -0700
X-Gmail-Original-Message-ID: <CAOvivQziFdqaGwGexJOe39eg...@mail.gmail.com>
Message-ID: <CAOvivQziFdqaGwGexJOe39egH1SSTR+KKeox7EcGr-A4SysmaA@mail.gmail.com>
Subject: UF-IAS-2012 wiki archived
To: "HomotopyT...@googlegroups.com" <homotopyt...@googlegroups.com>
Content-Type: text/plain; charset="UTF-8"

The wiki used for the 2012-2013 Univalent Foundations program at the
Institute for Advanced Study was hosted at a provider called
Wikispaces.  After the program was over, the wiki was no longer used,
but was kept around for historical and archival purposes; much of it
is out of date, but it still contains some content that hasn't been
reproduced anywhere else.

Unfortunately, Wikispaces is closing, so the UF-IAS-2012 wiki will no
longer be accessible there.  With the help of Richard Williamson, we
have migrated all of its content to a new archival copy hosted on the
nLab server:

https://ncatlab.org/ufias2012/published/HomePage

Let us know if you find any formatting or other problems.