From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on inbox.vuxu.org X-Spam-Level: X-Spam-Status: No, score=-1.0 required=5.0 tests=DKIMWL_WL_MED,DKIM_SIGNED, DKIM_VALID,MAILING_LIST_MULTI,RCVD_IN_DNSWL_NONE,T_SCC_BODY_TEXT_LINE autolearn=ham autolearn_force=no version=3.4.4 Received: (qmail 10941 invoked from network); 3 Aug 2023 08:12:28 -0000 Received: from mail-lj1-x23e.google.com (2a00:1450:4864:20::23e) by inbox.vuxu.org with ESMTPUTF8; 3 Aug 2023 08:12:28 -0000 Received: by mail-lj1-x23e.google.com with SMTP id 38308e7fff4ca-2b9dc1bfdd2sf6974011fa.1 for ; Thu, 03 Aug 2023 01:12:28 -0700 (PDT) ARC-Seal: i=3; a=rsa-sha256; t=1691050344; cv=pass; d=google.com; s=arc-20160816; b=jAfdxWfO/wdmX/VnixLb+yw5wNqKw0tXbUurnqb7rZso7u/o9I8RWuyPaNlxu+mN6W Wqgrw7x6gW0JFudrmmKe6kcxO7jjRwWDcom/bJlW/xGmhyZtjCJ/aVkHgyD6yG0CLWQk Jgsz3OEZU07pwfyx9aP0/SEyJWrRo94yIiPT3gm3E3jSNZ59ywd/96N6ZiVTYMsjgero 9fDRtRqzRde7+oJFztoGZB3UavO/agXD2q15ArhXsypUuv9MOlNM2RfckhQBq7w21mgP UiOP1A9bOg+SaT3lQe56SrlqyJUUO3HgzQIAy9MMSNZW9ny0dawz81/L+CSBtu/08MJa AjKw== ARC-Message-Signature: i=3; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=list-unsubscribe:list-subscribe:list-archive:list-help:list-post :list-id:mailing-list:precedence:mime-version :content-transfer-encoding:content-id:content-language :accept-language:message-id:date:thread-index:thread-topic:subject :to:from:sender:dkim-signature; bh=sQRdxCN0nVqf1hO+f15ve2HTEUnXphes8b2zRRYlP0M=; fh=Bn0Ubts7J4KximQ9UJv4KplMzYKjy+HhLs2LULpBEd4=; b=DzLtdMQh9ENBrsYW/h9GOccjnNEgh4cWHRrmge7VPz/25Tvdq3cZ1QV46+PU3fRhqy /bdcuvGr5dFlEspbeq/1LKdrKr1iaYpobj5/q7NNPa18HpD0IbC4knqRK3PZrA+znb32 4yBhYG/Qg+ipaVNxAfkpDifua2oh7CizxAMnKLz1MeW+7qZhAaYLRn+HmUxXLVxfkR9R jXjw/x3oBZV1jdIm2fKyIqed/KPXMBkEehXjrbufl2JNcPI1LUTZ9cA3sMat+VwYCQna rcGP+s7wiBw7McRJWjqV/3lZNRrWY2CHuoVp3WT/AV+P1wyWz3BOUttBuLh9ITxgdSSm ikvA== ARC-Authentication-Results: i=3; gmr-mx.google.com; arc=pass (i=1 spf=pass spfdomain=manchester.ac.uk dkim=pass dkdomain=manchester.ac.uk dmarc=pass fromdomain=manchester.ac.uk); spf=pass (google.com: domain of nicola.gambino@manchester.ac.uk designates 2a01:111:f400:fe15::60d as permitted sender) smtp.mailfrom=Nicola.Gambino@manchester.ac.uk; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=manchester.ac.uk DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=20221208; t=1691050344; x=1691655144; h=list-unsubscribe:list-subscribe:list-archive:list-help:list-post :list-id:mailing-list:precedence:x-original-authentication-results :x-original-sender:mime-version:content-transfer-encoding:content-id :content-language:accept-language:message-id:date:thread-index :thread-topic:subject:to:from:sender:from:to:cc:subject:date :message-id:reply-to; bh=sQRdxCN0nVqf1hO+f15ve2HTEUnXphes8b2zRRYlP0M=; b=hXFrvGS5yUw0JK/BqhKEIerVwPPnnnKI3o3UwHtbBAVVvDW6c4FE3+/j8MsPXxNbqN vnDi1ykucFOjJA29st68uXApmkjZGYbmKcCTEJ3txGZZs2FB4my2OereDzYnqcTnJKID pC3veMtKL9LWPWEQvbM4GPUFMnk5dxH17nCycP0znCGCMEwknHzgb9ChgmVXPxE5EJFt bxPMz4Tn/zrtOHwYdY7CVbEFZJo6DLPIlKMTV08JB4D+0wDSe44UfDYaTh1iWdRzHsUF Ra/O4+lCzuiMP5eUFqwrc6Q2c+VMYtUqeG7NEb0/e0hJs/fNp+PYTvROoumt4CwgrTMI s4cQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20221208; t=1691050344; x=1691655144; h=list-unsubscribe:list-subscribe:list-archive:list-help:list-post :x-spam-checked-in-group:list-id:mailing-list:precedence :x-original-authentication-results:x-original-sender:mime-version :content-transfer-encoding:content-id:content-language :accept-language:message-id:date:thread-index:thread-topic:subject :to:from:x-beenthere:x-gm-message-state:sender:from:to:cc:subject :date:message-id:reply-to; bh=sQRdxCN0nVqf1hO+f15ve2HTEUnXphes8b2zRRYlP0M=; b=FJ/l1t+GdVaL9D7yTn/UEwfXDlcXeT23SL+sk9PJlQ9WXnFDw01lgBAxJQ9BYzciAg jNBAw+tmTSjO05p4wv1FlRoaTjEKXPYXJSYkp5qncjWvRRR9QsMoA9idrV/2ax622OeJ qf91MqF4nh4jKSCpf7M8KJ5oryzRJVtGfQ9Ls1qGQmxTf/fgrAtgFArTbZJfknvVP2kW 0lhLz3FdCwIRcR0CkPaHhN1NqR6mhm0+AEmlFROUzCFi5pC2AEdLQHBW5V9D2JP9Eopn I75oj9FtWk+QvP46RTZNTuknIIWzoOAVKTR2uUyWLuueNmrXUZY5lxpGmlmow3cAwU64 rcWw== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: ABy/qLYzB0LKSXT7AFx11M5ORwkEUhw2UmLvWGFvEfsffOJifbhpZdDo 1zOF84uSGblBI51y/89S0PY= X-Google-Smtp-Source: APBJJlHtYGt26YC1X+QoafWW10Jy3C+qV8buYdwJ57I+wtNsBfyzSyiY8tiz+0ZSAJWEiBa9pp8tgA== X-Received: by 2002:a2e:4942:0:b0:2b9:4413:864e with SMTP id b2-20020a2e4942000000b002b94413864emr6867248ljd.53.1691050343647; Thu, 03 Aug 2023 01:12:23 -0700 (PDT) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a2e:bc1d:0:b0:2b9:8c93:8c64 with SMTP id b29-20020a2ebc1d000000b002b98c938c64ls1794171ljf.1.-pod-prod-09-eu; Thu, 03 Aug 2023 01:12:20 -0700 (PDT) X-Received: by 2002:a2e:a40c:0:b0:2b9:afd1:b77a with SMTP id p12-20020a2ea40c000000b002b9afd1b77amr7454545ljn.0.1691050340103; Thu, 03 Aug 2023 01:12:20 -0700 (PDT) ARC-Seal: i=2; a=rsa-sha256; t=1691050340; cv=pass; d=google.com; s=arc-20160816; b=WB1miMPxFnQs3EFOqp+YQ2uMi7LXPIBpoP5JUlEDooDqEuzg6C+PIpokb3g9eYdgHL bxgr0DzUxci2FHAqq/AY8J4c8h14dpFGz/BHVaLaHsx1IA8ymPHe7oiNj1/5c0mZFpiU 8ublzdzr2jGMGliYPNY7+dizZkPwwGYa1t4QSjjgtAgO39lpJhQHg0sHPfk4WIeVKlbP llGPSUvDPWvYi3vZtGgPGTIOqW0AE/sYkLOqTN6flCZUoVU1bQ9ZVk47zW4B091VUiym HSUWJ1UcbvwFIlNqdxtypZENwvl0WQavGMYI5h32Cw+AnVC/+Ogl92Ohsrf7B2W7Gudn ORzg== ARC-Message-Signature: i=2; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=mime-version:content-transfer-encoding:content-id:content-language :accept-language:message-id:date:thread-index:thread-topic:subject :to:from; bh=Z21DaZKtOL3WQYvnnT349AI4cS/4Gcwc54UCtpY3l0Q=; fh=Bn0Ubts7J4KximQ9UJv4KplMzYKjy+HhLs2LULpBEd4=; b=LgR+Cv819bo06csZAH47jEw1l86zt+EfD/fxXK6iXRtRlVNIT073CnCaucsLNUhf5p 4e371ZifZ79pyeXC6+iw3LjVqc+4NZa6iCsTkU14xQv3Px+oBBBWHpnNbi9L6OiOP61S qs1zR7Fg+Pwhs7Q3NxozD7PGClBEK9W4hfa9MbaoGBzZ8b0rbkzQCCT8BVo3y9xBFwHX SRYjCV10e7DrpaGjk1ddQRPxqYVTfxN6IKajop2d70ocN7Woi4OeP/nJCOcP/a1DefRc S9Jx9IVWXva09G3WZ1uW14ZVCCFv9dZTqvwUkMfI8+b5oCFw2oZsz9nVQl/Uh6wtkY6L HrSw== ARC-Authentication-Results: i=2; gmr-mx.google.com; arc=pass (i=1 spf=pass spfdomain=manchester.ac.uk dkim=pass dkdomain=manchester.ac.uk dmarc=pass fromdomain=manchester.ac.uk); spf=pass (google.com: domain of nicola.gambino@manchester.ac.uk designates 2a01:111:f400:fe15::60d as permitted sender) smtp.mailfrom=Nicola.Gambino@manchester.ac.uk; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=manchester.ac.uk Received: from GBR01-LO2-obe.outbound.protection.outlook.com (mail-lo2gbr01on060d.outbound.protection.outlook.com. [2a01:111:f400:fe15::60d]) by gmr-mx.google.com with ESMTPS id h1-20020a2ebc81000000b002b9e701adbfsi673609ljf.1.2023.08.03.01.12.19 for (version=TLS1_2 cipher=ECDHE-ECDSA-AES128-GCM-SHA256 bits=128/128); Thu, 03 Aug 2023 01:12:19 -0700 (PDT) Received-SPF: pass (google.com: domain of nicola.gambino@manchester.ac.uk designates 2a01:111:f400:fe15::60d as permitted sender) client-ip=2a01:111:f400:fe15::60d; ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=faSwl4OL5GJWvtrECKSk3kea+Fm2TOG25d9xsZNsSySQf1CTKYK0LIJhujg2OschlbKOFVvc5sg4hRdnzqo9TldwgWt+99TDqfAoTcjm5HZFzBO5CDiUEdBJTf3MYFGCOMGNA8DX7+EBFBsE2HBvBHpRTCil5s+4I3m5tWqJDDFfzubRDHrkzGU7j1YT/ghoZAenVphtq+nkZg/HukRiZDTtaxW1lWWlPwinCqOu5M+9pau3js46lo30fbCbcbQTgAPWClP0O4SYM1DDZkqflrtVoW/ng/ZbG8+gQfTqnbT6jxPTT5IkfY6qsQ65k/QxWuIJIkMxvK5R4Zu8R/b9fA== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector9901; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-AntiSpam-MessageData-ChunkCount:X-MS-Exchange-AntiSpam-MessageData-0:X-MS-Exchange-AntiSpam-MessageData-1; bh=Z21DaZKtOL3WQYvnnT349AI4cS/4Gcwc54UCtpY3l0Q=; b=PtWAL67AxUYjyRg6QQEOHrJvXfwEBU6c/8q8kgkYZ15A8MIltToWzewC7S3/nDh0q/wVEw61tOnIL8PKun15zZ023WbzysFSWRudYf1J+FOVh3EootcM5hyP9wPo35oMeg2N3gl3dwNQ9VzdPvtXfwGaslHVtUO9gZjJprW0lX5S+p2fdcT5/+4F8UgoQp6oA8JrvxSiUSQXxR8eG4ui2E7xgztjK7M9tqM5nmX6/5LaILmV1eLS3DIyO0bZ3LwaB36+pwVE5y/zIfHqnHuDb8LukwmOhl+KSiM7OcHOwv1AQsJnWkztNG0TIcfCdCCKR52eYcqG4XhZa4YLCjSaDg== ARC-Authentication-Results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=manchester.ac.uk; dmarc=pass action=none header.from=manchester.ac.uk; dkim=pass header.d=manchester.ac.uk; arc=none Received: from LO2P265MB5040.GBRP265.PROD.OUTLOOK.COM (2603:10a6:600:22f::7) by LO4P265MB6026.GBRP265.PROD.OUTLOOK.COM (2603:10a6:600:29b::5) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.6631.47; Thu, 3 Aug 2023 08:12:18 +0000 Received: from LO2P265MB5040.GBRP265.PROD.OUTLOOK.COM ([fe80::dc65:8b79:af29:5f89]) by LO2P265MB5040.GBRP265.PROD.OUTLOOK.COM ([fe80::dc65:8b79:af29:5f89%6]) with mapi id 15.20.6631.046; Thu, 3 Aug 2023 08:12:18 +0000 From: Nicola Gambino To: "HomotopyTypeTheory@googlegroups.com" Subject: [HoTT] Peter Aczel Thread-Topic: Peter Aczel Thread-Index: AQHZxeI4VON70sFXHU+tQQl2ccl4Iw== Date: Thu, 3 Aug 2023 08:12:18 +0000 Message-ID: <1670F781-BEB6-45D0-9466-DA546711E329@manchester.ac.uk> Accept-Language: en-GB, en-US Content-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: x-ms-publictraffictype: Email x-ms-traffictypediagnostic: LO2P265MB5040:EE_|LO4P265MB6026:EE_ x-ms-office365-filtering-correlation-id: 43ab65b5-d54e-4abc-4a6e-08db93f95b03 x-ms-exchange-senderadcheck: 1 x-ms-exchange-antispam-relay: 0 x-microsoft-antispam: BCL:0; x-microsoft-antispam-message-info: +X3oMy7+zXsyVdRKKMqQnPF9LUqAJ0877DpeM54BNeeSdKgHQ9QCrJcOT4xz/wEPXdvNEpPVNVw6mv1q8c0hKVjfpoiKrwW7pxwjv6bmNQ3oUhkX2963aE2X3qJy1PTx7wmlUwgKYeMz2AMo1KEgysVH68fPZd+uUpumPiKPf5LoJJutx5Ub2He+OR/drXnG9QesTlCLPlvCX3/0wuUzVh7bzFcBeycPCRMny1GM3P2OyOAUgbLhMjaw9BRAieKnYtyNBwPUZF+yVTIsBVJxbsb7aVy0DHav3w4g9ixJOBklCbRhiym5d8uPd9jYiQDPh95UfsxsqQWgxmL9joJdghex1NaGs4FN9MEbsXbj17Guc0fiOalfxT63M0L//RZ+JtypEZM2UsSc4JvYsDPegjzeXSYDxJ8BFB9sWPFlwViiV6y5Oq6IvMDCDu637zNkjgwkoZvsWJZ7hFI8Eo4bBC56JXEt82HEVKEymod0YpEqMuadzTpGN12K2sj8iQXP+T2vtpU1GSuuDzBRJfuh6cjNvzsU6elYtgTJPQIr4PulPvL+SfWp/W0yzfiKtwt3P/VqH7rLhyRa+a2+PG0OvL5BDE3BcfyQ5ZDyI0d/1jzhyURrGgDZo7GW9/29XNd5qJZVK97gUR9eZH7vYPddzw== x-forefront-antispam-report: CIP:255.255.255.255;CTRY:;LANG:en;SCL:1;SRV:;IPV:NLI;SFV:NSPM;H:LO2P265MB5040.GBRP265.PROD.OUTLOOK.COM;PTR:;CAT:NONE;SFS:(13230028)(4636009)(39860400002)(136003)(346002)(396003)(366004)(376002)(451199021)(2616005)(83380400001)(6506007)(26005)(186003)(3480700007)(41300700001)(4744005)(2906002)(91956017)(66946007)(76116006)(64756008)(66446008)(66476007)(66556008)(5660300002)(6916009)(786003)(316002)(7116003)(8676002)(8936002)(6486002)(71200400001)(6512007)(478600001)(38100700002)(122000001)(33656002)(86362001)(36756003)(38070700005)(45980500001);DIR:OUT;SFP:1101; x-ms-exchange-antispam-messagedata-chunkcount: 1 x-ms-exchange-antispam-messagedata-0: =?us-ascii?Q?u9suCYL1R83YPoQ1vlfLy7V/sppQ3f+pwqjN2jPQHBGO3+5E63prKtxTOXLt?= =?us-ascii?Q?TkXZ+FjRBolfg+6cNMjGMct/v+JjuwHKkNshFCS2i+zAl7NhqNkcTJj5FL1v?= =?us-ascii?Q?adxu6LeDSs3bnPFPrZUmO4P8vreBae7T2SFf4Evvt9riDVZChrULRBYtt7KN?= =?us-ascii?Q?+3Geny8Q1QI+lM7cVDLWzTXb2COgk5xC4DEipmMZeyDq3QdbC/Z0jqcQvsk/?= =?us-ascii?Q?ASrJFGaxnE6uSPB4GEFTVnQFQW4ivM4Gweqgr6TxyhJVCkiT7MQGSjDbSQnZ?= =?us-ascii?Q?m1XB9CZydzjg25ppg2J0ELSLm/nFR9M9r6n3WpRpQVFQtu7RyFVypkHUcEzt?= =?us-ascii?Q?6L5PA2EZinDFRfFxdNjlbHcvNC+SEQQJXaBbfvCJhNDiYlmxZo1GDQaAm6FS?= =?us-ascii?Q?e14+OYf97UWz0bKn/D9GL8o+Gpx8dKHsLWlpzhPCFZI6HI+2+H9PGgUgEliT?= =?us-ascii?Q?0vfVxUw8LnVQibQIeK32NcKaF4A8zDlIU5cQrrArJBt0WxU8e+xWb2gwaOTw?= =?us-ascii?Q?JIAOe1JicZtDELtIyMnIShYKwZLsAxCEYCCSGVfenSQ/7eYVo0rRu/ASQNet?= =?us-ascii?Q?bsZgVurT9V1XcKt1rK1eAp/CGQuhHGKmZk1IZIPcpyvvYgc6xRfg6XpgxuVQ?= =?us-ascii?Q?P/rMc9XI41Zw0+yuCQLB0oFmxlPEAghynDA9Cm0R3mJ+7ln8IrAYdyQ3eTcH?= =?us-ascii?Q?2FILOvBArLO5pVFWMuP8+TO95uRu8Eod5CFrhMKACe2HaxEhibqlMVFvX4MM?= =?us-ascii?Q?ysa6wy1tK7gcVPCuhJHUr/Hy0exePc0Zcq7CsZvW9lK69F8aOWqH1z28c2LD?= =?us-ascii?Q?qxXQ3s1NtqXImgezVXLbVpkKTco/qWl+y6ARavdK/2nU13DXCZwOEZrHzOdY?= =?us-ascii?Q?E8J13WN/0vCw+nfQdTT7g/R2jJx3RnM+Yhs301d84UgFdpZO6Y2ZLIKzSW1m?= =?us-ascii?Q?yC27cQmjZv0tYYyb4MUnpcJKp/tzioKZ4f4sTmm2YNva7Vq///xPMk8ESeX3?= =?us-ascii?Q?T54tuD4AlZ1RD7PoUWYt5zDOnQFsnphW4F141jX9m7fRqL3/XQ22+HdOzzIS?= =?us-ascii?Q?e6uqNjDCikPadTx/+1RJiTjH0DTysaPSXFeabr7yP2PsvEc0mzJac7+ynmCW?= =?us-ascii?Q?EA2jP4gqYPt8bmrCuw6pvTGwBklss07BeyZjmFHJV77tmuKD3BgwVxJfdVu3?= =?us-ascii?Q?C59KorOUczFVogCD352D4q/chcq+guaHcjhsX/bi7jX8QwZIPchMDCmNclSC?= =?us-ascii?Q?s4iEIfLYa47qfbvbWrO377h1z5gvFIyxgdI3xeg5PzLBl5OxGBnssKK/kuDl?= =?us-ascii?Q?4MOFbG+j03gTrnarEWyDQmHKxVipFgRTeH4oOtVJp8b4f/IlQbQN99tsbngN?= =?us-ascii?Q?SC1JiBTp2CtHEVrMhMc5XKXVM7dgxSB8Esv0UKIZzk7jt3cZ7Xh2u/NlcHnZ?= =?us-ascii?Q?kvLzj57Wqvj9yQgx14nxKVVYFeeBN6RbgWwlJkJvIabzM5VQVZFmaxL3KXYg?= =?us-ascii?Q?hA4p+5Q3OuvS63BrEaYBZ7M1S5ayFQIiU7J4ZobiVaHCSwKSzbvhOdEI92eI?= =?us-ascii?Q?VWp0xRR39hGx0OpPwuzI42mOp6b6ajnRl8AfH+1x1nb4I1scLBTsBrZaediw?= =?us-ascii?Q?6n4As4IaLWaUT9UwmJNoa5A=3D?= Content-Type: text/plain; charset="UTF-8" Content-ID: <14DA71BFAC9567419A58DBC972479EF4@GBRP265.PROD.OUTLOOK.COM> Content-Transfer-Encoding: quoted-printable MIME-Version: 1.0 X-OriginatorOrg: manchester.ac.uk X-MS-Exchange-CrossTenant-AuthAs: Internal X-MS-Exchange-CrossTenant-AuthSource: LO2P265MB5040.GBRP265.PROD.OUTLOOK.COM X-MS-Exchange-CrossTenant-Network-Message-Id: 43ab65b5-d54e-4abc-4a6e-08db93f95b03 X-MS-Exchange-CrossTenant-originalarrivaltime: 03 Aug 2023 08:12:18.5901 (UTC) X-MS-Exchange-CrossTenant-fromentityheader: Hosted X-MS-Exchange-CrossTenant-id: c152cb07-614e-4abb-818a-f035cfa91a77 X-MS-Exchange-CrossTenant-mailboxtype: HOSTED X-MS-Exchange-CrossTenant-userprincipalname: DJrdzlzo3A1dKn75tEDsnV5ekkNkOxc3u1Cbku5EKoQtjUfg0Bt0J5RHrm4H7hxMXyULia0omyK95/YDehLbdsNsDW2IjxVwNPl65Ilroog= X-MS-Exchange-Transport-CrossTenantHeadersStamped: LO4P265MB6026 X-Original-Sender: nicola.gambino@manchester.ac.uk X-Original-Authentication-Results: gmr-mx.google.com; arc=pass (i=1 spf=pass spfdomain=manchester.ac.uk dkim=pass dkdomain=manchester.ac.uk dmarc=pass fromdomain=manchester.ac.uk); spf=pass (google.com: domain of nicola.gambino@manchester.ac.uk designates 2a01:111:f400:fe15::60d as permitted sender) smtp.mailfrom=Nicola.Gambino@manchester.ac.uk; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=manchester.ac.uk Precedence: list Mailing-list: list HomotopyTypeTheory@googlegroups.com; contact HomotopyTypeTheory+owners@googlegroups.com List-ID: X-Google-Group-Id: 1041266174716 List-Post: , List-Help: , List-Archive: , List-Unsubscribe: , Dear colleagues and friends, I write to let you know of the sad news that Peter Aczel passed away on Aug= ust 1st. As many readers of this list surely know, Peter made many fundamental and d= eeply influential contributions to Logic, Computer Science, Category Theory= , and Constructive Mathematics. He had an active interest in Homotopy Type = Theory and Univalent Foundations from the early days of the subjects, parti= cipating in the Oberwolfach meeting in 2011 and the Special Year at the Ins= titute for Advanced Study in 2012/13. I had the good fortune of having him as PhD supervisor and we remained in c= ontact since then. I always admired his clarity of thinking and his kindnes= s. He will be deeply missed. With best regards, Nicola =3D Dr Nicola Gambino Department of Mathematics, University of Manchester --=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 e= mail to HomotopyTypeTheory+unsubscribe@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/= HomotopyTypeTheory/1670F781-BEB6-45D0-9466-DA546711E329%40manchester.ac.uk.