From mboxrd@z Thu Jan 1 00:00:00 1970 X-Received: by 10.25.155.208 with SMTP id d199mr2521249lfe.10.1466494068883; Tue, 21 Jun 2016 00:27:48 -0700 (PDT) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 10.25.144.145 with SMTP id s139ls78627lfd.58.gmail; Tue, 21 Jun 2016 00:27:48 -0700 (PDT) X-Received: by 10.25.80.7 with SMTP id e7mr2512654lfb.7.1466494068094; Tue, 21 Jun 2016 00:27:48 -0700 (PDT) Return-Path: Received: from mail-lb0-x234.google.com (mail-lb0-x234.google.com. [2a00:1450:4010:c04::234]) by gmr-mx.google.com with ESMTPS id e2si649521lbv.0.2016.06.21.00.27.48 for (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Tue, 21 Jun 2016 00:27:48 -0700 (PDT) Received-SPF: pass (google.com: domain of guillaume...@gmail.com designates 2a00:1450:4010:c04::234 as permitted sender) client-ip=2a00:1450:4010:c04::234; Authentication-Results: gmr-mx.google.com; dkim=pass head...@gmail.com; spf=pass (google.com: domain of guillaume...@gmail.com designates 2a00:1450:4010:c04::234 as permitted sender) smtp.mailfrom=guillaume...@gmail.com; dmarc=pass (p=NONE dis=NONE) header.from=gmail.com Received: by mail-lb0-x234.google.com with SMTP id xp5so4311001lbb.0 for ; Tue, 21 Jun 2016 00:27:48 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:from:date:message-id:subject:to :content-transfer-encoding; bh=MgQPktXx0hlBs66QfkMKtN51MvJyulDmocVVgjYvnWY=; b=JkKfEeSjHp1kjaOSU6/DzCzHx1VK0Hv5Y06As8YCmMWv4wCIpLlfkRX9Kw5mOsr0Va OePkLXBawClf7HqlSFrId7YhL+cDIlMLdH6xpOsbW9Fw61DJJGgWJ28l+SSwPlV8no0m Bcwvox5d1covLCHls/alrDN5rHV5n79i3ZjHrZGEkVNfxGBC5EI4x2lTSnOeIfCzmVhm TyDkZFgu1rxjkQ+Hjn68HK2AgHbl8JEp3Y5I95/hGVQFS7ZR6dUryyRgvFtkKR0GjNp+ 8OTtasc5Z4RA2oclorUuP+YwJalUinRC2ev3Nv5hnjq1Y+WWkxAxeL78fWT1ODQtZF/U 7pOA== X-Gm-Message-State: ALyK8tKBdAEfyBy77aaB70IgygRMxeeWH0r4WhYjCqd2n6lbL4ykQzm8ZsID7KN6RTtBApznlDIbRdxxb01TZg== X-Received: by 10.194.123.73 with SMTP id ly9mr20031788wjb.21.1466494067716; Tue, 21 Jun 2016 00:27:47 -0700 (PDT) MIME-Version: 1.0 Received: by 10.28.64.67 with HTTP; Tue, 21 Jun 2016 00:27:33 -0700 (PDT) From: Guillaume Brunerie Date: Tue, 21 Jun 2016 09:27:33 +0200 Message-ID: Subject: PhD thesis: On the homotopy groups of spheres in homotopy type theory To: "HomotopyT...@googlegroups.com" Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable Dear all, 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 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. Best, Guillaume