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 30115 invoked from network); 14 Apr 2022 10:42:45 -0000 Received: from mail-lj1-x23b.google.com (2a00:1450:4864:20::23b) by inbox.vuxu.org with ESMTPUTF8; 14 Apr 2022 10:42:45 -0000 Received: by mail-lj1-x23b.google.com with SMTP id e3-20020a2e9303000000b00249765c005csf976112ljh.17 for ; Thu, 14 Apr 2022 03:42:45 -0700 (PDT) ARC-Seal: i=2; a=rsa-sha256; t=1649932964; cv=pass; d=google.com; s=arc-20160816; b=mHpcQ0mjBjJuJ59gnajoFgmwf1lob8knr+w5s51WYBh6YMRnQe0u2cIrYZQRs4o6BT 23iN2IARa/d7s33F+8PO4cuc4b8vDQ3pXLJ4sgLxDj8K4mnl73vzvOp+J2Fo856pUxPt jHuWke6iXDyljSYIMppU5R1mYV9SGBJ3Dz+pUofClfC5vZucosqyjfnFpLuP5ijGIb2L HX6qlJ3fTUkcrbfEL2x6VmwfASmEinvDhggXpQRJy/byF56j9Xej9y7IBAF6h/RH9TT4 4bbQ6lZ48M/n9QoTcmaYlyXnmDdFnWEb51hp1NuRR/fjN+kHLGFYSEU6cHWwnHshMaR8 /PHQ== ARC-Message-Signature: i=2; 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:user-agent:in-reply-to :content-disposition:mime-version:references:message-id:subject:cc :to:from:date:sender:dkim-signature; bh=s0MymgLODG+OHU4cU3iZsjOTTxX5gd/9IXF2KrIuTHA=; b=B5hnUsdjPQJ+2xh3b8iWf8ufLkibaM5Lo6IQbzrzcLoCP5fFABm3VxPRXt2J7neRxV AXYeXPKGk9B8SB0CudBtf3C6C0hJhu20py0lSOfS38+AGUhXDN8IE4VpX/i+nicELVpj iSBe89t41vXvAccAkFJDc/fiqVZcUF2D1x5lAXKRw+SxENF+mZJn7rzxOC2AAtQMMExT IXyPkCq5z9MGH9Qhn6FpoocQqrHhVEXF3QgDyFhSXOcaM/TwPORxhrcAUTnXRsI+6xgD prW9db5YGphEf0G3F6wiwfVnpmoG44w/duTuwGjwUtgHW4sr1uReIk4CN+Ne5ZjUwVx9 sgCw== ARC-Authentication-Results: i=2; gmr-mx.google.com; spf=pass (google.com: best guess record for domain of streicher@mathematik.tu-darmstadt.de designates 130.83.252.150 as permitted sender) smtp.mailfrom=streicher@mathematik.tu-darmstadt.de DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=20210112; h=sender:date:from:to:cc:subject:message-id:references:mime-version :content-disposition:in-reply-to:user-agent:x-original-sender :x-original-authentication-results:precedence:mailing-list:list-id :list-post:list-help:list-archive:list-subscribe:list-unsubscribe; bh=s0MymgLODG+OHU4cU3iZsjOTTxX5gd/9IXF2KrIuTHA=; b=HHv4INWpVjvVOgiIDYhQ4ZsqQsHr1SwR+N1xv9xJ6YFXW6gC1uxsgF0AZ1S9cSgl4J 1u0WUeDrO/pFEmpy5euJUKq2PEiP1+4afZs2+I3oeHjLa0/C2PqD6u0R2XseZJPvjP5l +3dT9Bvn8X8wN3+VaWPVR2jzvxJG8zBwZxGJLse0EseHlX4/nPA8LKB/ZgXOJiT2dVqB pmWRrS0lEEBTTHiHPn4WGTFqO1tiZuLE4189HK40aELvXdh95R+bm628ho4bJH8ou77q vXVNa6DmgMKbNEJg05RvPpG5AK/1jpQbtcg3+CSiXgcKHuFts2PJT/rTS4RGN4aFd7es 2Itg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=sender:x-gm-message-state:date:from:to:cc:subject:message-id :references:mime-version:content-disposition:in-reply-to:user-agent :x-original-sender:x-original-authentication-results:precedence :mailing-list:list-id:x-spam-checked-in-group:list-post:list-help :list-archive:list-subscribe:list-unsubscribe; bh=s0MymgLODG+OHU4cU3iZsjOTTxX5gd/9IXF2KrIuTHA=; b=jgmWFY+la4XTF62DRBA7+0dILkl//m9xq2dx/GNnOVEasgiQgpsTcZGtv7lwMRy7vw H/yavxMsuVRQsKqWNadTorYc+BjaClqifCyfLR4egabFrWma2e9sCtS/IFlObdNtqPgB /2GmtMQapZOstql4rN1//HPMUd24KmXM3z4BLNIhZdrXZRA+jWlZYfCRGnj9iw4Mjld/ EZLRGlbhQPsDTCVhxcRlZz6ZMbtqKwArSUw56QPpYp9kP4Fy7wtRPvAK/3rPhqABzDA1 bNjUA5uL2ALUIz+PhPwJVp5JzHuRDWbwH192q++G0p4aKOGCZ4NrURROWNT3d9aHBSe2 080Q== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: AOAM533Tc8T4K0XjR3ZEHTipg2PRPjW43D9lXa4TobFvrqrLnSltImS8 tbNhseCXBuckxDTyXmH1v8U= X-Google-Smtp-Source: ABdhPJxDU1pbSZN/p5gRm25P/eKg0PMwd/TvMmSlcYKH0GvNWDTUPZDRPW0gT77nGh4gVRFov+C89A== X-Received: by 2002:a05:6512:1107:b0:44a:62dc:dd0f with SMTP id l7-20020a056512110700b0044a62dcdd0fmr1530488lfg.479.1649932964288; Thu, 14 Apr 2022 03:42:44 -0700 (PDT) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a05:6512:3f16:b0:449:f5bf:6f6a with SMTP id y22-20020a0565123f1600b00449f5bf6f6als4183501lfa.2.gmail; Thu, 14 Apr 2022 03:42:42 -0700 (PDT) X-Received: by 2002:a05:6512:ac4:b0:46b:88a0:e462 with SMTP id n4-20020a0565120ac400b0046b88a0e462mr1558744lfu.472.1649932962066; Thu, 14 Apr 2022 03:42:42 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1649932962; cv=none; d=google.com; s=arc-20160816; b=b90dX3PinGc6IjmefGi84XthQt/x3cfm0k0sw6jg54M30SDYxsHIr5bLbXWdYL7uM9 dD01R37J4pQUKi1afsIUr3ltJJVMjcYYSTGJ2TkmLer1bji8RSM9a/cQP3vbpb/C6SgH 641z9OY9acgrl0xbSOq6gb3bCoSfO0YUf7gcO5qBIMpEhkG8pXPzWDAvBVAA85ZNJp44 q4ASbcdCldK6Ijm4djEIN+HwqQTy0PgqTLA58xLZUWB4ENF/0Fs8gh7zAofZ8uXZ2f3I 2e4OX7LKH3QMRhkc27MWuMsTmPceGe9kg8j45vBdqoH4BXOIrXkuHmQCgWhLLmTcCkwD FOhQ== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=user-agent:in-reply-to:content-disposition:mime-version:references :message-id:subject:cc:to:from:date; bh=jEpINV5+tSSgjSzMbgJjBhuaH+4BRqyoCKWOPUjeyGQ=; b=UqmxjA75wiJrpaze3bJvtNC6RbT79UmSzPMbLm+c5uif0OvuEhR+ViWbNLeNL3Oc96 8NOvsVwQwEozzxBFT3MY9hNOV/LPnyg5zBoFITPFaemPgwFpNLzmGlnBG/f85Kln9xnC CgWY0kmtaXOlmP0uo7KgTeK84t+RMQAAonohRqw0K8e1p867reaZVjL9TVIuVfqvb9tJ kkBbdqlJzdUxAt2lCmcnbUaMGdVQXeZnWwY4E4iTdPt/ICp8O0XFFpQu1BLJKKSie0nP Eyi0ES758dSXBs0Pt9hxTL77PDq5g9UMHGB/Dqgf5zJHTHgOos6mTPvGCvyuDqqc3mFS 93lg== ARC-Authentication-Results: i=1; gmr-mx.google.com; spf=pass (google.com: best guess record for domain of streicher@mathematik.tu-darmstadt.de designates 130.83.252.150 as permitted sender) smtp.mailfrom=streicher@mathematik.tu-darmstadt.de Received: from mail-relay150.hrz.tu-darmstadt.de (mailout.hrz.tu-darmstadt.de. [130.83.252.150]) by gmr-mx.google.com with ESMTPS id d12-20020a2e96cc000000b0024af7c96040si925502ljj.5.2022.04.14.03.42.41 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Thu, 14 Apr 2022 03:42:41 -0700 (PDT) Received-SPF: pass (google.com: best guess record for domain of streicher@mathematik.tu-darmstadt.de designates 130.83.252.150 as permitted sender) client-ip=130.83.252.150; Received: from fb04281.mathematik.tu-darmstadt.de (fb04281.mathematik.tu-darmstadt.de [130.83.2.21]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (Client CN "mail.mathematik.tu-darmstadt.de", Issuer "DFN-Verein Global Issuing CA" (verified OK)) by mail-relay150.hrz.tu-darmstadt.de (Postfix) with ESMTPS id 4KfGJ04CgSz44X7; Thu, 14 Apr 2022 12:42:40 +0200 (CEST) Received: from fb04209.mathematik.tu-darmstadt.de (fb04209.mathematik.tu-darmstadt.de [130.83.2.209]) by fb04281.mathematik.tu-darmstadt.de (8.14.4/8.14.4/Debian-8+deb8u2) with ESMTP id 23EAgdEZ031079; Thu, 14 Apr 2022 12:42:39 +0200 Received: by fb04209.mathematik.tu-darmstadt.de (Postfix, from userid 11003) id 81951C005E; Thu, 14 Apr 2022 12:42:39 +0200 (CEST) Date: Thu, 14 Apr 2022 12:42:39 +0200 From: Thomas Streicher To: Chris Kapulkin Cc: HoTT Electronic Seminar Talks , Homotopy Type Theory , categories@mta.ca Subject: Re: [HoTT] Re: M. Shulman, Towards Third-Generation HOTT, April 14, 21, and 28 - HoTTEST Distinguished Lecture Series Message-ID: <20220414104239.GA29083@mathematik.tu-darmstadt.de> References: MIME-Version: 1.0 Content-Type: text/plain; charset="UTF-8" Content-Disposition: inline In-Reply-To: User-Agent: Mutt/1.5.23 (2014-03-12) X-Header-TUDa: BT1BA/hddEvcQA4t9NCNfvy65DUTuWhpM5zsNmkffK+PUCR+MTdICmGtshtdU6ZsFqFzVl+fmVaZWXBxH44AAfKPT9zVzsDSkH88SZ X-Original-Sender: streicher@mathematik.tu-darmstadt.de X-Original-Authentication-Results: gmr-mx.google.com; spf=pass (google.com: best guess record for domain of streicher@mathematik.tu-darmstadt.de designates 130.83.252.150 as permitted sender) smtp.mailfrom=streicher@mathematik.tu-darmstadt.de 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: , > The organizers of the HoTT Electronic Seminar Talks are committed to > the diversity and growth of homotopy type theory, and want everybody > to feel comfortable and welcome in our community. Thank you for this reveiling discussion. Has nicely enforced all the prejudices(?) I have against PC attitude. I am attending international meetings since the mid 80s and never observed any discrimination. This seems to be a more recent phenomenon since civilized liberal communicatio has been replaced by moralistic terror. A benevolent interpretation is that you want to avoid further hassle which I can understand. But I am afraid some people mean seriously what they say... In my eyes it is absurd to prevent people from giving a scientific talk because of a "grammatical mistake". Trying to enforce absolute virtue leads to absolute terror. Have considered this a house-and-garden wisdom taught by history since the Jacobinians. Well, no blood has flown yet in the HoTT community :-) but the increasing animosity caused by (mis?)use of the Internet has damaged our societies sufficiently much. No need to blame me as conservative or reactionary. In THIS context I would take it as a compliment. And I will not react. Leaving aside this parodistic epsiode I am confident that Mike will get the opportunity to present the intriguing points sketched in his abstract within another format! Thomas -- 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 HomotopyTypeTheory+unsubscribe@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/HomotopyTypeTheory/20220414104239.GA29083%40mathematik.tu-darmstadt.de.