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,HTML_MESSAGE,MAILING_LIST_MULTI,RCVD_IN_DNSWL_NONE autolearn=ham autolearn_force=no version=3.4.4 Received: (qmail 578 invoked from network); 27 Jan 2021 17:14:39 -0000 Received: from mail-oi1-x23c.google.com (2607:f8b0:4864:20::23c) by inbox.vuxu.org with ESMTPUTF8; 27 Jan 2021 17:14:39 -0000 Received: by mail-oi1-x23c.google.com with SMTP id z140sf1175265oia.12 for ; Wed, 27 Jan 2021 09:14:39 -0800 (PST) ARC-Seal: i=2; a=rsa-sha256; t=1611767677; cv=pass; d=google.com; s=arc-20160816; b=ofyexHEMlBgnURVELb6dvfKbYElIRxaUmnF5sCgyMY19Vk/Vlybk0HWoe4fuhfEJ8W UDCpf/ijmsUMVUOfi09yo4n3pdLBEnqglSlsad1Dlv8uCDxWn/KuAivGOFX/wtZPdxSv TpmC/tg31zlrIf3YGii91LQmqu4pox3DnkvOXm/uYHHVLgnbPMWRvYby0Wqh5DMpXgP8 2GQXjCgRtShBvAZhMEZ0Wlgeqeb1YbdIzFgNSN8g2NPWrDZywqGsHl0Q3vJMU9CnKMqL wvF1hb00n9Y6DWxBxhp9igcx82prfUavnXOMW5MaCrEKjSgyG1FS+DVSFJxIYu6Ldq24 LcLg== ARC-Message-Signature: i=2; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=list-unsubscribe:list-archive:list-help:list-post:list-id :mailing-list:precedence:to:date:message-id:subject:mime-version :from:sender:dkim-signature; bh=aDfsMg6/mmQiprnO9Evo0sbkVdDvQS13j5E0JRXxles=; b=tQPI4iQuC5Yepvh2C/77sZFH5vzmHsFDdVyDzxazNtaRZNfvuw+ads+BtHxYUoIW4n 0zW0LRsxCL7jHtovXe/X2kwL7rxu3Gbx/tlMtiplD6Sl3NAf2Bt2RMpvlYNyKuWTMRpd w9HN5YXZaAc1gRBAUEZgL6a9v4L6co+eUIT1YsHGHL+AZZxSmtFEnm8+IDmk7ojgyykT T/iDhVMbh1odX1QcpmktaeBiutQKGP00CqapvUpBuvHaeib+GuxcMjarRIAWXU5tOWho DqQEVNwVMwGfKzaGhIpyG+Ri7YUg1yDNn9Hxxuj3cUCHSIe9B0WGJrnbLc7ADRWWiRI5 aocw== ARC-Authentication-Results: i=2; gmr-mx.google.com; dkim=pass header.i=@cmu-edu.20150623.gappssmtp.com header.s=20150623 header.b=IEKLPBXx; spf=pass (google.com: domain of awodey@andrew.cmu.edu designates 2607:f8b0:4864:20::834 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=20161025; 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-unsubscribe; bh=aDfsMg6/mmQiprnO9Evo0sbkVdDvQS13j5E0JRXxles=; b=U6vzE4AGPARqmL1tkCYmJp4GNdbzNlIHF64xLeKCiGz+qRYUjBZRWTswcA3eu/ug0t UvUBO1u6TSzt+WGRIadahOrnX2ErTJR+GSq30aJ/Nn8UyFnrTk1e0IW11yhCNbUjjKFH WfhiiIiwgfTC9PU2qN/JHFpJ17QdglrdAYqdLsMtRXbw0Bm1gyRz5cwEBgmZhK1xYIEn v44TY7rUcve6JUg8ePYraew2XF8kNGGtOo/Y7qa2g8wllHwWWIA+U3oHyB98yOlh6Kja Fq9qOkWSmOWu+qVEgttuEAm83O1vsV+com/n9dWlgGZCIHpHq+C1eUBonXFmhcrr9CGJ ps/g== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; 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-unsubscribe; bh=aDfsMg6/mmQiprnO9Evo0sbkVdDvQS13j5E0JRXxles=; b=jY73L0oe1ty5rTfXUZ/eR0CXMiO9g+xdEcMaS8AKHk43nZs06DvnltdFWNZYLKc7nC Vfuu7hKC8hgis21+OvWuNrpfxSextNXm1fop6s1oVH5zVyRaoGOl/TqdNJ7T1LpB0bcB PNj4P5rR5Wf8W/2oq9DmZhHJ9n4UhXxpF/DWCAi+MAsmUAN6uZShZMPrlB3wXjm9HVPD K+vG2PHi1zlyDJC1nXTtWfw4DtuejMetnRBL7zyzw/i6Zy4DsoiZOyUzjQqQITgcW208 Ou9CQN60l4xFpfP0XEm9OzAOU6ozDTNBG/ld2+d68H6VDt8fwF3oqii+Ow6FliWupdVr lWNw== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: AOAM532rsgoTCMl4Y2xemUkKU91XW5VZWE2ytnfNN6crzI36Jb2vKEkb vyz1J6LT8pMMi4F/aMhosXA= X-Google-Smtp-Source: ABdhPJwnkMTsVdKVSZD2WPilwj3kUNFcIXQ32UYVCWWWSGArBaMQNclnGcR/lClyRF2AS6SqFrh7JA== X-Received: by 2002:a05:6830:22e7:: with SMTP id t7mr8180533otc.10.1611767677352; Wed, 27 Jan 2021 09:14:37 -0800 (PST) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a9d:3c5:: with SMTP id f63ls679552otf.6.gmail; Wed, 27 Jan 2021 09:14:37 -0800 (PST) X-Received: by 2002:a9d:bf8:: with SMTP id 111mr8479547oth.55.1611767676931; Wed, 27 Jan 2021 09:14:36 -0800 (PST) ARC-Seal: i=1; a=rsa-sha256; t=1611767676; cv=none; d=google.com; s=arc-20160816; b=RkotFO44vmOXrb7FHdtQ/c3BdfrGF2IhY9F2/Tu+7+fvGclM3di9Hxbht46wKTiTEl mQPO7zrMrAIC5ujKV82PHveQENXioRz9gipcX5n3MRNLktpUlc+mQh2TJbz7h6P7BcD4 JMq6N6ZRc86351yl8hKPYZB3XZxWh4gpcJhW31oVH4DDJkvqkoQ4TAtzSAF0N3VFgm6n K0XNuFiPmEymp00Jaedpn/qi+BZ97+CwawJgVixCoHYv+d4uhdjWdOUwVbACRuPfYdOZ 0CKHisGDwK6i8ckNx/i38OuD/haqU6irJTxqna7WsGLrqVVtRbZeMIDa2zlCXqboR/ai lXDw== 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:from:dkim-signature; bh=ERn//w0815XWU4N3W2dbw24cIHBW8QSjYsMGEeGr7aQ=; b=pL822XcZhAIwHSyovJ+JT1S00gg1vk/c1H1BUyxUt8HR4re9rUSVCQvzHoDYmgYXUv jrvJFVwkGLxSZpC1G3htSI0gd2by8zzt/4xBU4Iz/0qLYgMyodR8ihSyO6rhxlF3rWO4 hVZYzg5tlZ7jlK3P1fDCJBW2hgtV1QIIGgnbVeIJJZw2jMI1AoJPx7P4UpwkZS11TJil 4j0CNgvNbxam9mco7tqdiFGTS45tFBZWGNCT3QB1ba+ckzO1sfNBKKZMkiuKTeLv9iRP PipG8zF8Hrr3YmwJaWNDyCqdnlJTKy5MEydxGj29JVIJY7D0Fs+fc3Csn4lAe+YP6z6B OCfQ== ARC-Authentication-Results: i=1; gmr-mx.google.com; dkim=pass header.i=@cmu-edu.20150623.gappssmtp.com header.s=20150623 header.b=IEKLPBXx; spf=pass (google.com: domain of awodey@andrew.cmu.edu designates 2607:f8b0:4864:20::834 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-x834.google.com (mail-qt1-x834.google.com. [2607:f8b0:4864:20::834]) by gmr-mx.google.com with ESMTPS id t22si176924otr.0.2021.01.27.09.14.36 for (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Wed, 27 Jan 2021 09:14:36 -0800 (PST) Received-SPF: pass (google.com: domain of awodey@andrew.cmu.edu designates 2607:f8b0:4864:20::834 as permitted sender) client-ip=2607:f8b0:4864:20::834; Received: by mail-qt1-x834.google.com with SMTP id t17so1946672qtq.2 for ; Wed, 27 Jan 2021 09:14:36 -0800 (PST) X-Received: by 2002:ac8:7ca:: with SMTP id m10mr10794629qth.231.1611767676382; Wed, 27 Jan 2021 09:14:36 -0800 (PST) Received: from steveawodeysair.wifi.local.cmu.edu (cmu-secure-128-237-82-2.nat.cmu.net. [128.237.82.2]) by smtp.gmail.com with ESMTPSA id t71sm606003qka.86.2021.01.27.09.14.35 for (version=TLS1_2 cipher=ECDHE-ECDSA-AES128-GCM-SHA256 bits=128/128); Wed, 27 Jan 2021 09:14:35 -0800 (PST) From: Steve Awodey Content-Type: multipart/alternative; boundary="Apple-Mail=_259C8382-B531-485B-ADC2-6B95F0B85187" Mime-Version: 1.0 (Mac OS X Mail 11.5 \(3445.9.7\)) Subject: =?UTF-8?Q?=5BHoTT=5D_Bohemian_L=26P_Caf=C3=A9=3A_Michael_Makkai=2C_Feb=2E_2?= Message-Id: <17ED85C4-1DFD-4DE6-A9D1-D3A1BC4E58D5@cmu.edu> Date: Wed, 27 Jan 2021 12:15:03 -0500 To: Homotopy Type Theory X-Mailer: Apple Mail (2.3445.9.7) X-Original-Sender: awodey@cmu.edu X-Original-Authentication-Results: gmr-mx.google.com; dkim=pass header.i=@cmu-edu.20150623.gappssmtp.com header.s=20150623 header.b=IEKLPBXx; spf=pass (google.com: domain of awodey@andrew.cmu.edu designates 2607:f8b0:4864:20::834 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: , --Apple-Mail=_259C8382-B531-485B-ADC2-6B95F0B85187 Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset="UTF-8" Bohemian Logical & Philosophical Caf=C3=A9 Michael Makkai Notions of identity for and in higher dimensional categories. RESCHEDULED February 2 at 16.00 Prague time (GMT+1) The zoom link is on the webpage: https://bohemianlpc.github.io Makkai=E2=80=99s abstract is at this link:=20 https://bohemianlpc.github.io/abstracts/Makkai.pdf Regards, Steve --=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/17ED85C4-1DFD-4DE6-A9D1-D3A1BC4E58D5%40cmu.edu. --Apple-Mail=_259C8382-B531-485B-ADC2-6B95F0B85187 Content-Transfer-Encoding: quoted-printable Content-Type: text/html; charset="UTF-8"
Bohemian Logical &= ; Philosophical Caf=C3=A9

Michael Makkai
Notions of identity for and in higher dimen= sional categories.

RESCHEDULED
February 2 at 16.00 Prague time (GMT+1)<= br class=3D"">
The zoom link is on the webpa= ge:

https://bohemianlpc.github.io<= br class=3D"">
Makkai=E2=80=99s abstract is a= t this link: 

https://bohemianlpc.github.io/abstracts/Makkai.pdf

Reg= ards,

Steve
=

--
You received this message because you are subscribed to the Google Groups &= quot;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/17ED85C4-1DFD-4DE6-A9D1-D3A1BC4E58D5%40cmu.edu.
--Apple-Mail=_259C8382-B531-485B-ADC2-6B95F0B85187--