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 19770 invoked from network); 11 May 2022 11:34:28 -0000 Received: from mail-ua1-x940.google.com (2607:f8b0:4864:20::940) by inbox.vuxu.org with ESMTPUTF8; 11 May 2022 11:34:28 -0000 Received: by mail-ua1-x940.google.com with SMTP id 75-20020a9f23d1000000b0036579695596sf851384uao.7 for ; Wed, 11 May 2022 04:34:28 -0700 (PDT) ARC-Seal: i=2; a=rsa-sha256; t=1652268866; cv=pass; d=google.com; s=arc-20160816; b=ZV4F4yTthAA1QSGLCdKLFbeKXZxhuofw+afAMW8uOPYJMdezfGjmodZSbePKHgGIUM u29Ff26sFphoyZdAsF1ce0Dpr4RZ7Lp2cxweWinyFM4NlJgBO1MWSrwvVdWK/iEb7eoL X8cGYL7e14Lg3KbTOPT9zaeKjJg17+LQ9inRxjc8f8CLE5sZt+xXcuvW3Q/d2Sq6/pXJ kjNYguOXmMd43WhaNu5IjHZsResUcSykzuO5kQtIxNEJXRjoCOqOwftzd9lfI6U2zd1b wr9N6fxAExha9r4cKN3C0eTXjdgKRx+gCNLbz3z+1834IomKFKqDfdMWB0OvXKgUslBr yAuQ== 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:to:date:message-id:subject :mime-version:from:sender:dkim-signature; bh=xctTh4KfJJ+Tal2Qe/fDTHkHKCaE7i1RLb6qcMAVXxU=; b=t9bIvCK6ihuNDZvOnhZplDJzyuHoGou9A1JmaGY+gafTkleICNjtibQeBWT0biJ3zB qIeFLF4pd5RvWfk/CN5eNL1xPalWVvNIPcNhePdMqm5R4OAJUo1Fnv+ZnlY48Vha5Lxe eOmWp5LIn1SmVwrAJOzb786WOB7Kpy1G1sZW3opsW0B/4diHifMQ68RcgciEhHMQMk8w DKqv9vtRlwrhioxIL/w/BdyTwGW2NSH/RBNm36vWmSHAKR/meayz7zXzqwlU7p7oLMWS Ui9aWxAi8SpTtOaAn5KWAPqJ5m5ycNvVjc7B5HC2Vmf5eG+bAwvj1oHsarggseAoHlhQ iVUw== ARC-Authentication-Results: i=2; gmr-mx.google.com; dkim=pass header.i=@cmu.edu header.s=google-2021 header.b=edwWhKtI; spf=pass (google.com: domain of awodey@andrew.cmu.edu designates 2607:f8b0:4864:20::82c as permitted sender) smtp.mailfrom=awodey@andrew.cmu.edu; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=cmu.edu DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=20210112; h=sender:from:mime-version:subject:message-id:date:to :x-original-sender:x-original-authentication-results:precedence :mailing-list:list-id:list-post:list-help:list-archive :list-subscribe:list-unsubscribe; bh=xctTh4KfJJ+Tal2Qe/fDTHkHKCaE7i1RLb6qcMAVXxU=; b=XlJ8KQysBmiDX0u3k8PYPNa6yOYrIdq/vi10oGpT9vIZY4MVoFhCJVlD7P+EPSz8SQ 19dkV9O8iWTLfIeBgMbhOu9pGFKVJ23/g8M8ZB4neVN6a1EQ4l4ihsJrerOP7M6+AqGT OwL6iELyZCtPICwl8SWsaBj5UEmaxFf4YAIUIslTekVQoGQCmL/O9I/41ThHAx4xJVzf /e5EfoEo0T9psBMacbGmQ8iieFNb80LaMUVJPekCzUdBblbxaoPn3m4LOnQf3sbtV5Wn S5we5FhsV3QmvJlkNnSJSvPpyEFd4pyJdLvq8sbvZCCfOtrsHkHixIrs/8mjD7QnwiwN yLEg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=sender:x-gm-message-state:from:mime-version:subject:message-id:date :to: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=xctTh4KfJJ+Tal2Qe/fDTHkHKCaE7i1RLb6qcMAVXxU=; b=4sebAwPLaBnzM5G3ekL9jBq1uSOMjH1f/+JSXJHbGD65tVA1Cm8THJzA22q/xZDuNU yJdE/pmXlXzq7g7bNWdvjAcPp72/AQKvZJ4VkRog3C+vrynV0XkGxQzyDuWtprqEOU+I KLs79gxWUeh0KCJV1UdnO/y58JoVC4Rq55TC1IlWBnbY3ctUZeAZ2n0Ytby1buqDOVUo ClbT22pKcGETDJeKS0tQMkMmVY4Y7Gu8o26zIhMpz39FDLrsbKF79jiy8tGix9EAjj2u Mq7mk96rSZMMHskGWSexMf6LWDvHfsBczHHA55BewjvWcVkc3aUyHbgkSG69aJXV1U3w BAcQ== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: AOAM530QEwA0L5T/+EDUUEnZ/PAfYNOwoIha+sbs70+TgCX8KSzGiY/y HmlBW+YR9VPTGILwL9ZnV8Y= X-Google-Smtp-Source: ABdhPJyG5G1j+9OjSu7cG7+GQ+pYkVkWzu+CLtuqMVzju2f71eP8Wq5qmjJIRu1FB4Iw9ot4VLW5Bw== X-Received: by 2002:a67:d713:0:b0:32d:57af:a401 with SMTP id p19-20020a67d713000000b0032d57afa401mr13069813vsj.80.1652268865930; Wed, 11 May 2022 04:34:25 -0700 (PDT) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a05:6122:1068:b0:34d:a8c2:2be6 with SMTP id k8-20020a056122106800b0034da8c22be6ls196131vko.3.gmail; Wed, 11 May 2022 04:34:24 -0700 (PDT) X-Received: by 2002:a1f:78ce:0:b0:34d:ad52:c201 with SMTP id t197-20020a1f78ce000000b0034dad52c201mr13806049vkc.18.1652268864505; Wed, 11 May 2022 04:34:24 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1652268864; cv=none; d=google.com; s=arc-20160816; b=du/Wy5HsWwMX9J9wbtbkqQq0uFwnvzkLy7loJc02BfCWHIsx/1V+GhQEGrCLLzeT8o JXk8sbDO0Tuajxvdobq0OFUkKhqgbaBlCYNM2d97XhHbHVQ+36ds5pJhzT5lYfnUQur8 UZF06HlmmruaVweW7Pelwq8BBskZ/4gU4hxSWDne3utS1fU9LQIZR62LpSZjsdWrw8ic UwTUWajfmdmzUeinCqnamnVIpnRvhPSfFfhSRgrHJQEFoMGcwPmIBAnrIiByNWf6yt7d 44b9nCvFtUNFqStx+2BC7Z8nI4og0Ma1s7Z8wkhVtKjrhn3aqag0cL4JxUo7PNBOLJYV OkKQ== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=to:date:message-id:subject:mime-version:content-transfer-encoding :from:dkim-signature; bh=LfuNOveCkg5CiCs7eHO2TC/MTJnryAO3vDt+otNy3M8=; b=AWuk3wmqZIjiKHKSVuk2mEUlCkA0Q1USQuVAgFEDNnyjeEQni79DUq7VAmr8wQSyeb NY+tDWw3PiP6R5U0TqQgzc2065a56FKgdSi754ypdTnO9+PwMNtZQ4Syh/L/F6uW5Bij GJW0mOiQhpXWvbek0JVZYt+ZRFCdd8uszY3uoPIUeIVzKR4fKXbdduYSotcViJEyeFAw CaF30ePl2JhRGeh2JbWYZb3h2+cemCbyYO1R8eSNRCNeylC1LfGbLfq5x2gNSRWIbDHw V7Zm6TbMg4+hs90nGZRrhmsoexy6aEp8vxS6y36DRIzj2ax2Mq3AMtKq8n6oeLcRlYwu s3eQ== ARC-Authentication-Results: i=1; gmr-mx.google.com; dkim=pass header.i=@cmu.edu header.s=google-2021 header.b=edwWhKtI; spf=pass (google.com: domain of awodey@andrew.cmu.edu designates 2607:f8b0:4864:20::82c as permitted sender) smtp.mailfrom=awodey@andrew.cmu.edu; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=cmu.edu Received: from mail-qt1-x82c.google.com (mail-qt1-x82c.google.com. [2607:f8b0:4864:20::82c]) by gmr-mx.google.com with ESMTPS id z10-20020a67330a000000b0032cddd78670si104467vsz.2.2022.05.11.04.34.24 for (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Wed, 11 May 2022 04:34:24 -0700 (PDT) Received-SPF: pass (google.com: domain of awodey@andrew.cmu.edu designates 2607:f8b0:4864:20::82c as permitted sender) client-ip=2607:f8b0:4864:20::82c; Received: by mail-qt1-x82c.google.com with SMTP id hf18so1759139qtb.0 for ; Wed, 11 May 2022 04:34:24 -0700 (PDT) X-Received: by 2002:ac8:5b50:0:b0:2f3:ae99:8e0 with SMTP id n16-20020ac85b50000000b002f3ae9908e0mr22980233qtw.669.1652268863773; Wed, 11 May 2022 04:34:23 -0700 (PDT) Received: from smtpclient.apple (pool-100-6-43-241.pitbpa.fios.verizon.net. [100.6.43.241]) by smtp.gmail.com with ESMTPSA id g24-20020a05620a13d800b0069fe1fc72e7sm1047381qkl.90.2022.05.11.04.34.22 (version=TLS1_2 cipher=ECDHE-ECDSA-AES128-GCM-SHA256 bits=128/128); Wed, 11 May 2022 04:34:23 -0700 (PDT) From: Steve Awodey Content-Type: text/plain; charset="UTF-8" Mime-Version: 1.0 (Mac OS X Mail 16.0 \(3696.80.82.1.1\)) Subject: [HoTT] CMU HoTT Seminar Online: Shulman (part III) Message-Id: <98A3D997-EDC5-42AC-97E4-98E6AB25F9B8@cmu.edu> Date: Wed, 11 May 2022 07:34:21 -0400 To: Homotopy Type Theory , categories net X-Mailer: Apple Mail (2.3696.80.82.1.1) X-Original-Sender: awodey@cmu.edu X-Original-Authentication-Results: gmr-mx.google.com; dkim=pass header.i=@cmu.edu header.s=google-2021 header.b=edwWhKtI; spf=pass (google.com: domain of awodey@andrew.cmu.edu designates 2607:f8b0:4864:20::82c as permitted sender) smtp.mailfrom=awodey@andrew.cmu.edu; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=cmu.edu 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: , Reminder: Part III, May 12 ~~~~~~~~ CMU HoTT Seminar Online ~~~~~~~~ Mike Shulman (University of San Diego) Towards Third-Generation HOTT April 28, May 5, May 12 11:30am-1:00pm EDT (UTC-04:00) Join Zoom Meeting https://cmu.zoom.us/j/622894049 Meeting ID: 622 894 049 Passcode: Brunerie's number -- 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/98A3D997-EDC5-42AC-97E4-98E6AB25F9B8%40cmu.edu.