<html><head><meta http-equiv="content-type" content="text/html; charset=us-ascii"></head><body style="overflow-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;">Dear Colleagues,<div><br></div><div>FYI:<br><div><br><blockquote type="cite"><div>Begin forwarded message:</div><br class="Apple-interchange-newline"><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px;"><span style="font-family: -webkit-system-font, Helvetica Neue, Helvetica, sans-serif; color:rgba(0, 0, 0, 1.0);"><b>From: </b></span><span style="font-family: -webkit-system-font, Helvetica Neue, Helvetica, sans-serif;">Denis Hirschfeldt <drh@uchicago.edu><br></span></div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px;"><span style="font-family: -webkit-system-font, Helvetica Neue, Helvetica, sans-serif; color:rgba(0, 0, 0, 1.0);"><b>Subject: </b></span><span style="font-family: -webkit-system-font, Helvetica Neue, Helvetica, sans-serif;"><b>Talk of potential interest</b><br></span></div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px;"><span style="font-family: -webkit-system-font, Helvetica Neue, Helvetica, sans-serif; color:rgba(0, 0, 0, 1.0);"><b>Date: </b></span><span style="font-family: -webkit-system-font, Helvetica Neue, Helvetica, sans-serif;">April 24, 2023 at 10:12:43 AM CDT<br></span></div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px;"><span style="font-family: -webkit-system-font, Helvetica Neue, Helvetica, sans-serif; color:rgba(0, 0, 0, 1.0);"><b>To: </b></span><span style="font-family: -webkit-system-font, Helvetica Neue, Helvetica, sans-serif;">"Stuart A. Kurtz" <stuart@cs.uchicago.edu><br></span></div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px;"><span style="font-family: -webkit-system-font, Helvetica Neue, Helvetica, sans-serif; color:rgba(0, 0, 0, 1.0);"><b>Cc: </b></span><span style="font-family: -webkit-system-font, Helvetica Neue, Helvetica, sans-serif;">Akhil Mathew <amathew3@uchicago.edu><br></span></div><br><div><div>Dear Stuart,<br><br>I'm forwarding below the announcement of a couple of talks by Emily Riehl tomorrow that might be of interest to you and others in CS/TTIC. I'd appreciate it if you could forward it to whatever mailing lists you think are appropriate.<br><br>Thanks,<br><br> Denis<br><br>________________________________________<br>From: full_math-request@lists.uchicago.edu <full_math-request@lists.uchicago.edu> on behalf of Akhil Mathew <amathew@math.uchicago.edu><br>Sent: Sunday, April 23, 2023 9:50 AM<br>To: all@math.uchicago.edu<br>Subject: Emily Riehl speaks in AT seminar (4/25)<br><br>Emily Riehl (Johns Hopkins University) will speak in the algebraic<br>topology seminar on Tuesday (4/25). The seminar will meet in E308 from<br>4-5pm, preceded by a<br>pretalk from 2:40-3:40pm.<br><br>Talk Title: Infinity-category theory for undergraduates<br><br>Abstract:<br>At its current state of the art, infinity-category theory is<br>challenging to explain even to specialists in closely related<br>mathematical areas. Nevertheless, historical experience suggests that<br>in, say, a century's<br>time, we will routinely teach this material to undergraduates. This talk<br>describes one dream about how this might come about --- under the<br>assumption that 22nd century undergraduates have absorbed the<br>background intuitions of homotopy type theory/univalent foundations. If time<br>permits, we'll share a new computer formalized proof of the<br>infinity-categorical Yoneda lemma in this formal system that reveals<br>how close it is to the classical proof of the 1-categorical Yoneda<br>lemma.<br><br>Pretalk Title: Homotopy type theory and univalent foundations<br><br>Abstract: This talk will introduce an alternative foundation system<br>for mathematics in which "equality" becomes "identity," which is no<br>longer a mere predicate but can carry structure. The primitive notion<br>is called a "type," which can be interpreted as something like a set,<br>or as something like a mathematical proposition, or as a something<br>like a groupoid or moduli space, which has higher structure. What<br>Voevodsky named the "univalent foundations of mathematics" arose from<br>a recently discovered homotopy theoretic interpretation of dependent<br>type theory, originally designed as a formal system for constructive<br>mathematics. We will introduce this formal system, explore Voevodsky's<br>univalence axiom and its consequences, and discuss advantages for<br>computer formalization.<br></div></div></blockquote></div><br><div>
<div dir="auto" style="text-align: start; text-indent: 0px; word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" style="text-align: start; text-indent: 0px; word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" style="text-align: start; text-indent: 0px; word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div><div dir="auto" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;">Peace,</div><div dir="auto" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><br></div><div dir="auto" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;">Stu</div><div dir="auto" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><br></div><div dir="auto" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;">---------------</div><div dir="auto" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><br></div><div dir="auto" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;">Stuart A. Kurtz</div><div dir="auto" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;">George and Elizabeth Yovovich Professor, Department of Computer Science and the College</div><div dir="auto" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;">Master, Physical Sciences Collegiate Division</div><div dir="auto" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;">The University of Chicago</div><div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: monospace; letter-spacing: normal; text-transform: none; white-space: normal; word-spacing: 0px; text-decoration: none; -webkit-text-stroke-width: 0px;"><br></div></div></div></div></div><br class="Apple-interchange-newline">
</div>
<br></div></body></html>