From mboxrd@z Thu Jan 1 00:00:00 1970 X-Received: by 10.13.215.148 with SMTP id z142mr25793184ywd.4.1466516831774; Tue, 21 Jun 2016 06:47:11 -0700 (PDT) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 10.157.40.163 with SMTP id s32ls3505331ota.55.gmail; Tue, 21 Jun 2016 06:47:11 -0700 (PDT) X-Received: by 10.157.36.116 with SMTP id p107mr23448441ota.9.1466516831254; Tue, 21 Jun 2016 06:47:11 -0700 (PDT) Return-Path: Received: from smtp.andrew.cmu.edu (SMTP.ANDREW.CMU.EDU. [128.2.157.39]) by gmr-mx.google.com with ESMTPS id n132si1078129ywb.1.2016.06.21.06.47.11 for (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Tue, 21 Jun 2016 06:47:11 -0700 (PDT) Received-SPF: pass (google.com: best guess record for domain of awo...@cmu.edu designates 128.2.157.39 as permitted sender) client-ip=128.2.157.39; Authentication-Results: gmr-mx.google.com; spf=pass (google.com: best guess record for domain of awo...@cmu.edu designates 128.2.157.39 as permitted sender) smtp.mailfrom=awo...@cmu.edu Received: from awodey-lap.math.su.se (awodey-lap.math.su.se [130.237.198.204]) (user=awodey mech=PLAIN (0 bits)) by smtp.andrew.cmu.edu (8.15.2/8.15.1) with ESMTPSA id u5LDl83M130310 (version=TLSv1 cipher=DHE-RSA-AES256-SHA bits=256 verify=NOT); Tue, 21 Jun 2016 09:47:09 -0400 Content-Type: text/plain; charset=utf-8 Mime-Version: 1.0 (Mac OS X Mail 8.2 \(2104\)) Subject: Re: [HoTT] PhD thesis: On the homotopy groups of spheres in homotopy type theory From: Steve Awodey In-Reply-To: Date: Tue, 21 Jun 2016 15:47:08 +0200 Cc: "HomotopyT...@googlegroups.com" Content-Transfer-Encoding: quoted-printable Message-Id: <5894DC52-C8AC-4E95-86E2-FDA174ED9B81@cmu.edu> References: To: Guillaume Brunerie X-Mailer: Apple Mail (2.2104) X-PMX-Version: 6.3.0.2556906, Antispam-Engine: 2.7.2.2107409, Antispam-Data: 2016.6.21.133615 X-SMTP-Spam-Clean: 8% ( HTML_00_01 0.05, HTML_00_10 0.05, KNOWN_FREEWEB_URI 0.05, MIME_LOWER_CASE 0.05, BODYTEXTP_SIZE_3000_LESS 0, BODY_SIZE_1000_1099 0, BODY_SIZE_2000_LESS 0, BODY_SIZE_5000_LESS 0, BODY_SIZE_7000_LESS 0, ECARD_KNOWN_DOMAINS 0, FROM_EDU_TLD 0, IN_REP_TO 0, LEGITIMATE_NEGATE 0, MSG_THREAD 0, MULTIPLE_RCPTS_RND 0, REFERENCES 0, __ANY_URI 0, __BOUNCE_CHALLENGE_SUBJ 0, __BOUNCE_NDR_SUBJ_EXEMPT 0, __C230066_P1_5 0, __CANPHARM_UNSUB_LINK 0, __CP_URI_IN_BODY 0, __CT 0, __CTE 0, __CT_TEXT_PLAIN 0, __FORWARDED_MSG 0, __FRAUD_BODY_WEBMAIL 0, __FRAUD_COMMON 0, __FRAUD_WEBMAIL 0, __FRAUD_WINNER 0, __HAS_CC_HDR 0, __HAS_FROM 0, __HAS_MSGID 0, __HAS_X_MAILER 0, __HTTPS_URI 0, __IN_REP_TO 0, __KNOWN_FREEWEB_URI3 0, __MIME_TEXT_ONLY 0, __MIME_VERSION 0, __MSGID_APPLEMAIL 0, __MULTIPLE_URI_TEXT 0, __PHISH_SPEAR_STRUCTURE_1 0, __REFERENCES 0, __SANE_MSGID 0, __SUBJ_ALPHA_END 0, __SUBJ_ALPHA_NEGATE 0, __TO_MALFORMED_2 0, __URI_IN_BODY 0, __URI_NO_WWW 0, __URI_NS , __URI_WITH_PATH 0, __USER_AGENT_APPLEMAIL 0, __X_MAILER_APPLEMAIL 0) X-SMTP-Spam-Score: 8% X-Scanned-By: MIMEDefang 2.78 on 128.2.157.39 Congratulations Guillaume! > On Jun 21, 2016, at 9:27 AM, Guillaume Brunerie = wrote: >=20 > Dear all, >=20 > I successfully defended my PhD thesis last week, and I=E2=80=99m happy to > announce that it is now available on the arXiv: > http://arxiv.org/abs/1606.05916 >=20 > The main result of my thesis is the fact that pi_4(S^3) =3D Z/2Z in > HoTT. I tried to write it in a self-contained way in the sense that it > is not necessary to have read the HoTT book first, the introduction > and the first two chapters review all basic concepts and results of > homotopy type theory that are needed in the rest of the thesis. >=20 > Best, > Guillaume >=20 > --=20 > You received this message because you are subscribed to the Google Groups= "Homotopy Type Theory" group. > To unsubscribe from this group and stop receiving emails from it, send an= email to HomotopyTypeThe...@googlegroups.com. > For more options, visit https://groups.google.com/d/optout.