From mboxrd@z Thu Jan 1 00:00:00 1970 X-Received: by 2002:a2e:9dcd:: with SMTP id x13mr9317218ljj.120.1588584953009; Mon, 04 May 2020 02:35:53 -0700 (PDT) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a19:ae17:: with SMTP id f23ls1896334lfc.9.gmail; Mon, 04 May 2020 02:35:51 -0700 (PDT) X-Received: by 2002:a19:2286:: with SMTP id i128mr11172408lfi.109.1588584951453; Mon, 04 May 2020 02:35:51 -0700 (PDT) Return-Path: Received: from uidappmx05.nottingham.ac.uk (uidappmx05.nottingham.ac.uk. [128.243.43.128]) by gmr-mx.google.com with ESMTPS id a12si531405ljm.2.2020.05.04.02.35.51 for (version=TLS1_2 cipher=ECDHE-ECDSA-AES128-GCM-SHA256 bits=128/128); Mon, 04 May 2020 02:35:51 -0700 (PDT) Received-SPF: pass (google.com: domain of thorsten....@nottingham.ac.uk designates 128.243.43.128 as permitted sender) client-ip=128.243.43.128; Authentication-Results: gmr-mx.google.com; arc=fail (body hash mismatch); spf=pass (google.com: domain of thorsten....@nottingham.ac.uk designates 128.243.43.128 as permitted sender) smtp.mailfrom=Thorsten....@nottingham.ac.uk; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=nottingham.ac.uk Received: from uidappmx05.nottingham.ac.uk (localhost.localdomain [127.0.0.1]) by localhost (Email Security Appliance) with SMTP id C253C6D133B_EAFE1F6B for ; Mon, 4 May 2020 09:35:50 +0000 (GMT) Received: from smtp4.nottingham.ac.uk (smtp4.nottingham.ac.uk [128.243.220.65]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (Client did not present a certificate) by uidappmx05.nottingham.ac.uk (Sophos Email Appliance) with ESMTPS id 87CE572448B_EAFE1F6F for ; Mon, 4 May 2020 09:35:50 +0000 (GMT) Received: from uiwexedg02.ad.nottingham.ac.uk ([10.159.172.14]) by smtp4.nottingham.ac.uk with esmtp (Exim 4.85) (envelope-from ) id 1jVXVt-000124-V1 for homotopyt...@googlegroups.com; Mon, 04 May 2020 10:35:50 +0100 Received: from UiWexCHM01.ad.nottingham.ac.uk (10.159.186.12) by exchangeSMTP.nottingham.ac.uk (10.159.172.14) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_RSA_WITH_AES_128_CBC_SHA256) id 15.1.1531.3; Mon, 4 May 2020 10:35:49 +0100 Received: from UiWexCHM01.ad.nottingham.ac.uk (10.159.186.12) by UiWexCHM01.ad.nottingham.ac.uk (10.159.186.12) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_128_GCM_SHA256) id 15.1.1531.3; Mon, 4 May 2020 10:35:49 +0100 Received: from UiWexEDG02.ad.nottingham.ac.uk (10.159.172.14) by UiWexCHM01.ad.nottingham.ac.uk (10.159.186.12) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_128_CBC_SHA256) id 15.1.1531.3 via Frontend Transport; Mon, 4 May 2020 10:35:49 +0100 Received: from EUR01-VE1-obe.outbound.protection.outlook.com (128.243.226.54) by exchangeSMTP.nottingham.ac.uk (10.159.172.14) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_RSA_WITH_AES_128_CBC_SHA256) id 15.1.1531.3; Mon, 4 May 2020 10:35:49 +0100 ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=fPu5/XDexm017R9bu+w2uyaJKPzxPtVRerd8dEwsa1P/q7s+GeuRmvty4Tu++6/itn5WDrBX2INziT0egHMy77hXUV6nthFx3skbWCLIooazK1pVV/zvsDHUBr5aFb7RBI2RSvP3zQVXh4ZgsDPUtr5ScnCu82WGYDgWnVYue72XgQX75UEOzsoHgaVUm25ecOnXIvJrl5TiY1EJjuomXRNTEETEq1SK0eUeoRonMyULiW6dHn7SIzoEaudUAz9xb28NoTppHJxWBTWHKVTXs8kXz/jAMy8vkXgBXMZyB8XWpTMALGQZvAxZbii9rifuMcdLmt5veUdA26ZjCPpZTQ== 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-SenderADCheck; bh=slijG/5OJpuu+GVpql01wtiBaBjodSMc+RURG3gNhWk=; b=IhrTHSRDugZmmtCP4skoSin314wGV8wXDmO12AuMHNDr/dwcsFYE81Mtu2abQHlZCPKoRsFKQa2H26OneNy4dMQ6LzbJEGPazrj3OL8bXEYEpfBMOS+YvViSx9WpWyfuXtcadXPqBVSn9tqRwdDcXm0ey5ixHoL9xlaKSHxDWsJ/JP7H8J/gCjWKnRZI/DFt5RcXTJUXh77KL2xBlcrhJb0A9K1ZUxpJk5U2P+VT/wyrzfNbYT5gWG1P+mIKjd8DDVBLjtXUGNdZ5EmW5hodQvngZIAZCYdOqSyViIxRVEo4s2nOl7frhTQlJs2cDcbV/i1FS+vTjXPbk2vMADys5w== ARC-Authentication-Results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=exmail.nottingham.ac.uk; dmarc=pass action=none header.from=exmail.nottingham.ac.uk; dkim=pass header.d=exmail.nottingham.ac.uk; arc=none Received: from AM6PR06MB5879.eurprd06.prod.outlook.com (2603:10a6:20b:2c::24) by AM6PR06MB5414.eurprd06.prod.outlook.com (2603:10a6:20b:80::13) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.2958.27; Mon, 4 May 2020 09:35:48 +0000 Received: from AM6PR06MB5879.eurprd06.prod.outlook.com ([fe80::6427:d0c5:a0f3:68b1]) by AM6PR06MB5879.eurprd06.prod.outlook.com ([fe80::6427:d0c5:a0f3:68b1%4]) with mapi id 15.20.2958.030; Mon, 4 May 2020 09:35:48 +0000 From: Thorsten Altenkirch To: "homotopyt...@googlegroups.com" Subject: "Identifications" ? Thread-Topic: "Identifications" ? Thread-Index: AQHWIfdkjXqlf/k7YUmG/+lTb1bxCA== Date: Mon, 4 May 2020 09:35:48 +0000 Message-ID: Accept-Language: en-US Content-Language: en-GB X-MS-Has-Attach: X-MS-TNEF-Correlator: user-agent: Microsoft-MacOutlook/16.36.20041900 authentication-results: googlegroups.com; dkim=none (message not signed) header.d=none;googlegroups.com; dmarc=none action=none header.from=exmail.nottingham.ac.uk; x-originating-ip: [86.28.226.182] x-ms-publictraffictype: Email x-ms-office365-filtering-correlation-id: 7056c4b0-10eb-4a2e-2f9f-08d7f00e8758 x-ms-traffictypediagnostic: AM6PR06MB5414: x-microsoft-antispam-prvs: x-ms-oob-tlc-oobclassifiers: OLM:6108; x-forefront-prvs: 03932714EB x-ms-exchange-senderadcheck: 1 x-microsoft-antispam: BCL:0; x-microsoft-antispam-message-info: ExkPxNzmmlCxlcw+os36CnUVURNEJE/5s9VDXfpIW/YC728FoKIm5gybSyQ58UFZZ49M9e6NbaZnz/yq8+E+cN5QlT496Yo0arG/NSlIwoO9rHf6lgrtOXQP9T3wVYDn1dpcmntOvzyeV3hjedLoO4Gz8EtHE87zrwRMkc2ccNuGfBNZsch89Jk7Hh9ioTDgON5RCpWEcI296Wrj3ki5ZzHO0z4P9m3mS5lqVJjDo4mJzYGqpB0wCx71cH5kT2fv0zFPIoqOFU+OKzVjfo9AcLpGLWg6xmek2qJOHxMIO348KbSI239ZZjKmY2okJihQEyMyJGTu6jN7eFQrV03CoGRk0eT9zrYkowBPPwWsAlI85JlOSWCzTMJstU8pP3t8EhAvx/C8AF+zi3swweSVe5A3JImScYwTfHIyWeBrFpm6zNqI1Gt7Trfz5wJ2CSf8 x-forefront-antispam-report: CIP:255.255.255.255;CTRY:;LANG:en;SCL:1;SRV:;IPV:NLI;SFV:NSPM;H:AM6PR06MB5879.eurprd06.prod.outlook.com;PTR:;CAT:NONE;SFTY:;SFS:(346002)(136003)(396003)(366004)(376002)(39860400002)(76116006)(8676002)(91956017)(9686003)(86362001)(8936002)(478600001)(5660300002)(33656002)(4744005)(2906002)(71200400001)(6486002)(186003)(66946007)(6512007)(26005)(55236004)(36756003)(786003)(6506007)(66446008)(66476007)(64756008)(6916009)(66556008)(316002);DIR:OUT;SFP:1102; x-ms-exchange-antispam-messagedata: /4v3fv5XgR81MmbtOXvUFyVFpYynisYC5AOGYqLOmY8f0F1b89AlBQKPb1CbUEfITzt/g3W7AfRfFizFotQZnosJsw/1EzhfeZCItZM20oqBGVqb1uDJ94auF4zjR4Oc2gceI8fs8/wvEBgy9kj7GwW9p4guzaFPc+iKxo3tgDSXjzHmpYgCY0NXwgzjVV6O9763qQHkg/RKLl/FTZ+aebcuhdfU3KaIuYJzxjRs0N4ZszlgrYPeN3Z/V3HooU4VR2ek1evif3dAQdE6GeGZ8bdOrxyFuufCWBHqkqQEMHDOxyUWStBR/XVhNHOrnmrANjjbCfi3RW0lFjbMDPmXFtzvGrERl1Lww1L6GdFMNhmqSP3TNnlMj9tnAjCIqhSoqq9CpXVILgm0BiHmuTq+8GkUmpDdiDOHy0beUEnJtKfCqkDUOozT+gc/PcyucLCVM4iboH8ycmgxeTPTunbST5smh/TZe27GFv6koMgd6y4UlEpTCkNtBwjZoXGRj+36TdPYEBI9USQ7FSPwQDT/4QkpZvr8JgvfihUUtYKXzOnQFeREnJV3IJH5xAZO3D5zhUaIaM49LHQmatlJQoBA/8FF9MsKH0eHFCpYCdh2vZg0LnPC2mKaomUbrhUYpA8mo1oC1D09PsF/8UejHqg1PNs63Z7YOKnTothD5mubSo33W0HxkxtGyDTfYAOLoWPwRUfcmd30TIfvlmCo1IYgeB9+usgyql2OKDaEh6s9KPo3j7RHgw+WaQJ23+G670c52Lelr+MEb2veqm/3h2sOOMFD4C8k5auH8mbf2KD/t6M= x-ms-exchange-transport-forked: True Content-Type: multipart/alternative; boundary="_000_BBC0B8F3AB164196B9B9B1B3031B2D7Dnottinghamacuk_" MIME-Version: 1.0 X-MS-Exchange-CrossTenant-Network-Message-Id: 7056c4b0-10eb-4a2e-2f9f-08d7f00e8758 X-MS-Exchange-CrossTenant-originalarrivaltime: 04 May 2020 09:35:48.6037 (UTC) X-MS-Exchange-CrossTenant-fromentityheader: Hosted X-MS-Exchange-CrossTenant-id: 67bda7ee-fd80-41ef-ac91-358418290a1e X-MS-Exchange-CrossTenant-mailboxtype: HOSTED X-MS-Exchange-CrossTenant-userprincipalname: d4o/jMqUklKCSBzOu7Iy/TuvKIouWGIE19OnWUJrwgLrR7RmOLg1c79c1jJCHu7I7SJr42CfmwiMMkjZN3OILtThRgpV0kksjlcQNU3midctvP8r5ipj4kEtrj0bbOBO X-MS-Exchange-Transport-CrossTenantHeadersStamped: AM6PR06MB5414 X-OriginatorOrg: exmail.nottingham.ac.uk X-Spam-Score: 0.0 (/) X-SASI-RCODE: 200 --_000_BBC0B8F3AB164196B9B9B1B3031B2D7Dnottinghamacuk_ Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: base64 SSBhbSBqdXN0IHJlYWRpbmcgYSBwYXBlciB3aGljaCB1c2VzIHRoZSB3b3JkIOKAnElkZW50aWZp Y2F0aW9u4oCdIGluc3RlYWQgb2YgZXF1YWxpdHkuIEkgdGhpbmsgdGhpcyBoYXMgYmVlbiBwcm9w b3NlZCBieSBCb2IgSGFycGVyLiBDYW4gYW55Ym9keSBlbmxpZ2h0ZW4gbWUgd2hhdCBpcyB0aGUg ZGlmZmVyZW5jZSBiZXR3ZWVuIGlkZW50aWZpY2F0aW9ucyBhbmQgZXF1YWxpdHk/IE1heWJlIHRo ZXJlIGlzIGFuIGlkZW50aWZpY2F0aW9uIGJldHdlZW4gdGhlbSBidXQgdGhleSBhcmUgbm90IGVx dWFsPyBBcmUgdGhlIHJlYWwgbnVtYmVycyAwLjk5OeKApiBpZGVudGlmaWVkIG9yIGFyZSB0aGV5 IGVxdWFsPw0KDQpUaG9yc3Rlbg0KCgoKVGhpcyBtZXNzYWdlIGFuZCBhbnkgYXR0YWNobWVudCBh cmUgaW50ZW5kZWQgc29sZWx5IGZvciB0aGUgYWRkcmVzc2VlCmFuZCBtYXkgY29udGFpbiBjb25m aWRlbnRpYWwgaW5mb3JtYXRpb24uIElmIHlvdSBoYXZlIHJlY2VpdmVkIHRoaXMKbWVzc2FnZSBp biBlcnJvciwgcGxlYXNlIGNvbnRhY3QgdGhlIHNlbmRlciBhbmQgZGVsZXRlIHRoZSBlbWFpbCBh bmQKYXR0YWNobWVudC4gCgpBbnkgdmlld3Mgb3Igb3BpbmlvbnMgZXhwcmVzc2VkIGJ5IHRoZSBh dXRob3Igb2YgdGhpcyBlbWFpbCBkbyBub3QKbmVjZXNzYXJpbHkgcmVmbGVjdCB0aGUgdmlld3Mg b2YgdGhlIFVuaXZlcnNpdHkgb2YgTm90dGluZ2hhbS4gRW1haWwKY29tbXVuaWNhdGlvbnMgd2l0 aCB0aGUgVW5pdmVyc2l0eSBvZiBOb3R0aW5naGFtIG1heSBiZSBtb25pdG9yZWQgCndoZXJlIHBl cm1pdHRlZCBieSBsYXcuCgoKCgo= --_000_BBC0B8F3AB164196B9B9B1B3031B2D7Dnottinghamacuk_ Content-Type: text/html; charset="utf-8" Content-ID: <3FDCA6D5E84FD642...@eurprd06.prod.outlook.com> Content-Transfer-Encoding: base64 PGh0bWwgeG1sbnM6bz0idXJuOnNjaGVtYXMtbWljcm9zb2Z0LWNvbTpvZmZpY2U6b2ZmaWNlIiB4 bWxuczp3PSJ1cm46c2NoZW1hcy1taWNyb3NvZnQtY29tOm9mZmljZTp3b3JkIiB4bWxuczptPSJo dHRwOi8vc2NoZW1hcy5taWNyb3NvZnQuY29tL29mZmljZS8yMDA0LzEyL29tbWwiIHhtbG5zPSJo dHRwOi8vd3d3LnczLm9yZy9UUi9SRUMtaHRtbDQwIj4NCjxoZWFkPg0KPG1ldGEgaHR0cC1lcXVp dj0iQ29udGVudC1UeXBlIiBjb250ZW50PSJ0ZXh0L2h0bWw7IGNoYXJzZXQ9dXRmLTgiPg0KPG1l dGEgbmFtZT0iR2VuZXJhdG9yIiBjb250ZW50PSJNaWNyb3NvZnQgV29yZCAxNSAoZmlsdGVyZWQg bWVkaXVtKSI+DQo8c3R5bGU+PCEtLQ0KLyogRm9udCBEZWZpbml0aW9ucyAqLw0KQGZvbnQtZmFj ZQ0KCXtmb250LWZhbWlseToiQ2FtYnJpYSBNYXRoIjsNCglwYW5vc2UtMToyIDQgNSAzIDUgNCA2 IDMgMiA0O30NCkBmb250LWZhY2UNCgl7Zm9udC1mYW1pbHk6Q2FsaWJyaTsNCglwYW5vc2UtMToy IDE1IDUgMiAyIDIgNCAzIDIgNDt9DQovKiBTdHlsZSBEZWZpbml0aW9ucyAqLw0KcC5Nc29Ob3Jt YWwsIGxpLk1zb05vcm1hbCwgZGl2Lk1zb05vcm1hbA0KCXttYXJnaW46MGNtOw0KCW1hcmdpbi1i b3R0b206LjAwMDFwdDsNCglmb250LXNpemU6MTIuMHB0Ow0KCWZvbnQtZmFtaWx5OiJDYWxpYnJp IixzYW5zLXNlcmlmOw0KCW1zby1mYXJlYXN0LWxhbmd1YWdlOkVOLVVTO30NCnNwYW4uRW1haWxT dHlsZTE3DQoJe21zby1zdHlsZS10eXBlOnBlcnNvbmFsLWNvbXBvc2U7DQoJZm9udC1mYW1pbHk6 IkNhbGlicmkiLHNhbnMtc2VyaWY7DQoJY29sb3I6d2luZG93dGV4dDt9DQouTXNvQ2hwRGVmYXVs dA0KCXttc28tc3R5bGUtdHlwZTpleHBvcnQtb25seTsNCglmb250LXNpemU6MTIuMHB0Ow0KCWZv bnQtZmFtaWx5OiJDYWxpYnJpIixzYW5zLXNlcmlmOw0KCW1zby1mYXJlYXN0LWxhbmd1YWdlOkVO LVVTO30NCkBwYWdlIFdvcmRTZWN0aW9uMQ0KCXtzaXplOjYxMi4wcHQgNzkyLjBwdDsNCgltYXJn aW46NzIuMHB0IDcyLjBwdCA3Mi4wcHQgNzIuMHB0O30NCmRpdi5Xb3JkU2VjdGlvbjENCgl7cGFn ZTpXb3JkU2VjdGlvbjE7fQ0KLS0+PC9zdHlsZT4NCjwvaGVhZD4NCjxib2R5IGxhbmc9IkVOLUdC IiBsaW5rPSIjMDU2M0MxIiB2bGluaz0iIzk1NEY3MiI+DQo8ZGl2IGNsYXNzPSJXb3JkU2VjdGlv bjEiPg0KPHAgY2xhc3M9Ik1zb05vcm1hbCI+PHNwYW4gc3R5bGU9ImZvbnQtc2l6ZToxMS4wcHQi PkkgYW0ganVzdCByZWFkaW5nIGEgcGFwZXIgd2hpY2ggdXNlcyB0aGUgd29yZCDigJxJZGVudGlm aWNhdGlvbuKAnSBpbnN0ZWFkIG9mIGVxdWFsaXR5LiBJIHRoaW5rIHRoaXMgaGFzIGJlZW4gcHJv cG9zZWQgYnkgQm9iIEhhcnBlci4gQ2FuIGFueWJvZHkgZW5saWdodGVuIG1lIHdoYXQgaXMgdGhl IGRpZmZlcmVuY2UgYmV0d2VlbiBpZGVudGlmaWNhdGlvbnMgYW5kDQogZXF1YWxpdHk/IE1heWJl IHRoZXJlIGlzIGFuIGlkZW50aWZpY2F0aW9uIGJldHdlZW4gdGhlbSBidXQgdGhleSBhcmUgbm90 IGVxdWFsPyBBcmUgdGhlIHJlYWwgbnVtYmVycyAwLjk5OeKApiBpZGVudGlmaWVkIG9yIGFyZSB0 aGV5IGVxdWFsPzxvOnA+PC9vOnA+PC9zcGFuPjwvcD4NCjxwIGNsYXNzPSJNc29Ob3JtYWwiPjxz cGFuIHN0eWxlPSJmb250LXNpemU6MTEuMHB0Ij48bzpwPiZuYnNwOzwvbzpwPjwvc3Bhbj48L3A+ DQo8cCBjbGFzcz0iTXNvTm9ybWFsIj48c3BhbiBzdHlsZT0iZm9udC1zaXplOjExLjBwdCI+VGhv cnN0ZW48bzpwPjwvbzpwPjwvc3Bhbj48L3A+DQo8L2Rpdj4NCjxQUkU+CgpUaGlzIG1lc3NhZ2Ug YW5kIGFueSBhdHRhY2htZW50IGFyZSBpbnRlbmRlZCBzb2xlbHkgZm9yIHRoZSBhZGRyZXNzZWUK YW5kIG1heSBjb250YWluIGNvbmZpZGVudGlhbCBpbmZvcm1hdGlvbi4gSWYgeW91IGhhdmUgcmVj ZWl2ZWQgdGhpcwptZXNzYWdlIGluIGVycm9yLCBwbGVhc2UgY29udGFjdCB0aGUgc2VuZGVyIGFu ZCBkZWxldGUgdGhlIGVtYWlsIGFuZAphdHRhY2htZW50LiAKCkFueSB2aWV3cyBvciBvcGluaW9u cyBleHByZXNzZWQgYnkgdGhlIGF1dGhvciBvZiB0aGlzIGVtYWlsIGRvIG5vdApuZWNlc3Nhcmls eSByZWZsZWN0IHRoZSB2aWV3cyBvZiB0aGUgVW5pdmVyc2l0eSBvZiBOb3R0aW5naGFtLiBFbWFp bApjb21tdW5pY2F0aW9ucyB3aXRoIHRoZSBVbml2ZXJzaXR5IG9mIE5vdHRpbmdoYW0gbWF5IGJl IG1vbml0b3JlZCAKd2hlcmUgcGVybWl0dGVkIGJ5IGxhdy4KCgoKPC9QUkU+PC9ib2R5Pg0KPC9o dG1sPg0K --_000_BBC0B8F3AB164196B9B9B1B3031B2D7Dnottinghamacuk_--