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 24333 invoked from network); 25 Jan 2021 15:35:35 -0000 Received: from mail-oi1-x23d.google.com (2607:f8b0:4864:20::23d) by inbox.vuxu.org with ESMTPUTF8; 25 Jan 2021 15:35:34 -0000 Received: by mail-oi1-x23d.google.com with SMTP id x71sf3353112oia.13 for ; Mon, 25 Jan 2021 07:35:34 -0800 (PST) ARC-Seal: i=2; a=rsa-sha256; t=1611588927; cv=pass; d=google.com; s=arc-20160816; b=dGch41yRRjOdqhZiwXqYGtJMl2ywSqjIRGkRppZ0cywbISzoE4RMZHJlOoARmDHW7a an6EEZ7J/1XxzG2ssBCIR3axzRy1IFYiqj5RwPHFCyMRb7xJvnU5XtTcqPZ6GTG4Qp9L BbpDnSMO1TUG3gOYh3EP4HIIYxBfVKcIoMddog/jdhv6h3mDufpCLo0JJyUVO6lXgm0x GoiGE8m6zvrOZXAthc/viM/8J/A/zEqfxl4PIKmiYmv3yg92Es8qW1hEl9WNJQOXaUqs 1EPBSDIBNYQfUfGQ1dSezfrU4sfY/y8WiJywvxCXoutG/8usStxeOGucrxmCnZsl6bAw sLhw== 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=Wgn8qoD/fniRJoTy+hXl8tSxRkRWX/3qODCeUv2h/q0=; b=m1jg+BRfr8mb+0FXE1mxZz8UwDm+Y4FgQUFI8qO6wRsC2gsylNsAELKzHGtCuD2+p1 hocwHpYfoccWOZm654aXDg2Bp13j0wnQWCJ7o7ujn3yl4/ZKuG+2StEar/Eqn7XvSjJW JwA9aK2qIsXRye0Oqc+KKpIs1c8irV2ERitUwHqDsSVGJB3YzGdZUkc1olIn+wYv8x/0 a3jTgp2dDDb6hJU0UGHdRHypqH+RrqR72WHwukbf/JocWP71UMosQRhCKLVmRCS4ZnG6 Ssba7vAjFDzQs8Q41wZEBmv2s+h1CnbwKSqhaQPGx1IG8asO7evG47NNciPAyf+VNt4e 1xmA== ARC-Authentication-Results: i=2; gmr-mx.google.com; dkim=pass header.i=@cmu-edu.20150623.gappssmtp.com header.s=20150623 header.b="K0KEpT/u"; spf=pass (google.com: domain of awodey@andrew.cmu.edu designates 2607:f8b0:4864:20::f35 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=Wgn8qoD/fniRJoTy+hXl8tSxRkRWX/3qODCeUv2h/q0=; b=XUp7fQu/SdYx6R4JIbEre071zXNBqhKSwkRL2yEqoQUNjB2iZRbTSfRGcRODqaWePt Gu/iI4oPSRRHMMTPg56+BRzFBq6WyBz7XfblK0CDulH5PnAfHbsG+7W8oDaq3ey32ZG2 BdUIpjRq6kZ40214XY9naLPZOZXsuD4Jwnu7qGrpD5byCtkVmwHLTm3YjsuyJ9s/RR/B cypgSP9qilxleUli9hmaaVe+Ktni8IxLgaZwgQFz5V38RHPiqlvIjT//PaZvdzpnuILg aiD0AN8M0HlFoCTcjmv4CPB4+Eg6UE3a68/tGgi34tafKzhFV827sF1oILek56HCHLFS wV2Q== 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=Wgn8qoD/fniRJoTy+hXl8tSxRkRWX/3qODCeUv2h/q0=; b=Gn41MUm1ju7HHBlx8IDmgHqg8Q8eryyciv+qF7QjwwlaK31OgQDJFHP9teBDUHUq0J YPh1Ii9ebbx7WGM5r+wq9Q+U6QCyFhPAudZ+o6dDtqEsdv1qavE894xlQYSy5UVe6qnO 0UdbE2u0AYZJ9JIkZ84REgvUUs9OBKA31QxNlc3l0IhJvUCuGX0tUTMRf+U62C/IU6am faRZbqGPXcN5gXep1GOi4zDjywTKemwgau9B0lojfnYvKUPgvuikW58hzr8QHj4cwQ60 DH7KNXLAvarC0HNu97VZtevEV6ppfoQTMuZaulEm0BixyxxiwEQzS2vFUaOduGpuhZiq oZVA== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: AOAM530dS4rujmkn4xf9eC2M/w8cI4J5q9c0aYAywnQNavXj3ykDIH3v smshAlYk07eMW2hkivCiGgY= X-Google-Smtp-Source: ABdhPJyymOApK24+OEQKD9lqnyBOfcSMwREjd6pte/vnO6zDygDZ8m1MGQ0cYYPItqnXMIGRPYbD4Q== X-Received: by 2002:a9d:774b:: with SMTP id t11mr814718otl.337.1611588926784; Mon, 25 Jan 2021 07:35:26 -0800 (PST) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:aca:cc51:: with SMTP id c78ls3302973oig.5.gmail; Mon, 25 Jan 2021 07:35:26 -0800 (PST) X-Received: by 2002:aca:aac6:: with SMTP id t189mr480129oie.86.1611588926308; Mon, 25 Jan 2021 07:35:26 -0800 (PST) ARC-Seal: i=1; a=rsa-sha256; t=1611588926; cv=none; d=google.com; s=arc-20160816; b=OW4oXAAeNO7Gvw95FEBQ8OqGy4d1xO6Z+sY1UV9HP6IFRtbEkUU3zon73EBLioYse4 9spsT23qX7pShDDZG/S8LJ/a5FmB2imHmLenQuAp0FGlorgQOBW4Gjs8BgJHghoNcLQI cXQSHzctnSJEfN2X/lGvBahkg5hyVAx4M84jQwmceyxPQx54RGfzL4cnwpCztU+b7oWl Dpm6FeLtvSHpZtLwMjqP8CiG1BSefLUEhyB+5lVjJ+8wf2/5nIO2q6jBh5m0KuTjR65Q XUf0QIyRHkzvXXM46UzidhU9Eqhjwhq7mC45k+6RVhyICIlrJXmJdaXSCXaQNNgDkiMI uu8w== 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=Et7Di5ZHr5/r/DHWpQk4wH4pGD8ejaqME5qNDT6dRbI=; b=ioOGmVue0/j/IGVAw1971/F7s9++nXrG/ESqmV1jiQF8lWkKU6MXx3coDHXMevb84F t4ElxqCjHw6GHReGe9oWEkkJ7qXPBgT/MW9TymTHzBZJl1nPwYdMDrbsXFA7ctChy75Z mylwIweihjXvA8I7xLU39tw/NeQHTYFPvlxw9xNzd9pWndQcTZmGvaFEMlaZZI6uKP3v 71JEDJW7Z0z4a898zlDOctpSAv8YbPFP8bJRtqkYjE8EJ+SJkQTt1fHtGLHtfoqGTSHI OPsCtQbKRVXhP7XwrXi5XZ/O3rh0HfBpogtqqpzpZdlcdOYjPExm07Fx0gNyyQkljmff bsRQ== ARC-Authentication-Results: i=1; gmr-mx.google.com; dkim=pass header.i=@cmu-edu.20150623.gappssmtp.com header.s=20150623 header.b="K0KEpT/u"; spf=pass (google.com: domain of awodey@andrew.cmu.edu designates 2607:f8b0:4864:20::f35 as permitted sender) smtp.mailfrom=awodey@andrew.cmu.edu; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=cmu.edu Received: from mail-qv1-xf35.google.com (mail-qv1-xf35.google.com. [2607:f8b0:4864:20::f35]) by gmr-mx.google.com with ESMTPS id r8si1033826otp.4.2021.01.25.07.35.26 for (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Mon, 25 Jan 2021 07:35:26 -0800 (PST) Received-SPF: pass (google.com: domain of awodey@andrew.cmu.edu designates 2607:f8b0:4864:20::f35 as permitted sender) client-ip=2607:f8b0:4864:20::f35; Received: by mail-qv1-xf35.google.com with SMTP id n3so2818414qvf.11 for ; Mon, 25 Jan 2021 07:35:26 -0800 (PST) X-Received: by 2002:a0c:ab16:: with SMTP id h22mr1247291qvb.44.1611588925622; Mon, 25 Jan 2021 07:35:25 -0800 (PST) Received: from [192.168.1.143] (pool-71-112-154-2.pitbpa.fios.verizon.net. [71.112.154.2]) by smtp.gmail.com with ESMTPSA id s186sm12167172qka.98.2021.01.25.07.35.24 for (version=TLS1_2 cipher=ECDHE-ECDSA-AES128-GCM-SHA256 bits=128/128); Mon, 25 Jan 2021 07:35:25 -0800 (PST) From: Steve Awodey Content-Type: multipart/alternative; boundary="Apple-Mail=_BBF81190-DA61-470B-AB9F-2535105DA0EE" 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_January_2?= =?UTF-8?Q?6?= Message-Id: Date: Mon, 25 Jan 2021 10:35:23 -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="K0KEpT/u"; spf=pass (google.com: domain of awodey@andrew.cmu.edu designates 2607:f8b0:4864:20::f35 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=_BBF81190-DA61-470B-AB9F-2535105DA0EE 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. January 26 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/DFEBDA07-2227-414D-82D4-EF7A403C6E6B%40cmu.edu. --Apple-Mail=_BBF81190-DA61-470B-AB9F-2535105DA0EE 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 dimensional categories.
=
January 26 at 16.00 Prague time (GMT+1= )
The zoom link is on the web= page:

https://bohemianlpc.github.io

Makkai=E2=80=99s abstract is= at this link: 

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

Regards,

Steve<= /div>

--
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/DFEBDA07-2227-414D-82D4-EF7A403C6E6B%40cmu.edu.
--Apple-Mail=_BBF81190-DA61-470B-AB9F-2535105DA0EE--