{"id":251,"date":"2025-02-14T15:02:00","date_gmt":"2025-02-14T15:02:00","guid":{"rendered":"https:\/\/conferences.leeds.ac.uk\/yamcats\/?page_id=251"},"modified":"2025-04-17T09:38:37","modified_gmt":"2025-04-17T09:38:37","slug":"meeting-37","status":"publish","type":"page","link":"https:\/\/conferences.leeds.ac.uk\/yamcats\/meeting-37\/","title":{"rendered":"Meeting 37"},"content":{"rendered":"<h2>23 April 2025 (Sheffield)<\/h2>\n<p>Hosted by the <a href=\"https:\/\/www.sheffield.ac.uk\/maths\">School of Mathematics and Statistics<\/a> of the <a href=\"https:\/\/www.sheffield.ac.uk\/\"> University of Sheffield<\/a>.<br \/>\nSupported by LMS.<br \/>\nIf you will arrive by train, can either walk from the station or take the tram.\u00a0 <a href=\"https:\/\/www.google.com\/maps\/d\/viewer?msa=0&amp;mid=1H9huDTi4e5hgH0WkAMKnrZbmxiU&amp;ll=53.379311122415594%2C-1.472879406082166&amp;z=15\">Here are some directions.<\/a><\/p>\n<p>Please register by using <a href=\"https:\/\/forms.office.com\/e\/BjdQAAgwLS\">this link,<\/a> by 12:00 noon (UK time) on Friday 18th April 2025. This will help the organisers planning the coffee breaks, and will also facilitate the completion of the final report for the London Mathematical Society.<\/p>\n<p>All talks will happen in the Hicks building (Lecture Theatre 05 on the E Floor, one up from the entrance). Coffee breaks will be served in the Common Room I15.<\/p>\n<h3>Speakers<\/h3>\n<ul>\n<li><a href=\"https:\/\/profiles.ucl.ac.uk\/72648-mehrnoosh-sadrzadeh\"> Mehrnoosh Sadrzadeh<\/a> (University College London).<\/li>\n<li><a href=\"https:\/\/mching.people.amherst.edu\/\">Michael Ching<\/a> (Amherst College)<\/li>\n<li><a href=\"https:\/\/www.cst.cam.ac.uk\/people\/js2878\">Jonathan Sterling<\/a> (Cambridge).<\/li>\n<\/ul>\n<p><strong>Schedule<\/strong><\/p>\n<ul>\n<li>13:00 \u2014 14:00 Mehrnoosh Sadrzadeh (University College London).<\/li>\n<li>14:00 \u2014 14:30 Coffee break.<\/li>\n<li>14:30 \u2014 15:30 Michael Ching (Amherst College, USA).<\/li>\n<li>15:30 \u2014 16:00 Coffee break.<\/li>\n<li>16:00 \u2014 17:00 Jonathan Sterling (Cambridge).<\/li>\n<li>17:00 \u2014 20:00 Informal discussions \/ pub \/ dinner.<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n<h3>Titles and Abstracts<\/h3>\n<ul>\n<li><a href=\"https:\/\/profiles.ucl.ac.uk\/72648-mehrnoosh-sadrzadeh\">Mehrnoosh Sadrzadeh<\/a>\n<ul>\n<li><b>Title:<\/b> Quantum machine learning for natural language processing<\/li>\n<li><b>Abstract:<\/b>  In the 1930's,  logicians  observed that  natural language obeys rules similar to rational numbers and  developed the first logical model of language. In 1958,  a decision procedure for this logic was proposed and led to one of the first automatic  parsers. More than half a century later, in 2010, my colleagues and I showed that this logic also relates to real numbers and developed a  vector space semantics for it, using the theory of compact closec categories.\n<p>A defining feature all along has been the  use of higher order tensors. Tensors are natural inhabitants of quantum systems and they are more efficiently learnt  via quantum simulations. Since realising this, we have trained our models by machine learning on quantum computers, obtained manifold improvements,  many publications and awards.  In this talk, I will introduce our framework, go over its related learning algorithms, and present our recent  results on a mainstream linguistic challenge.<\/li>\n<\/ul>\n<\/li>\n<li><a href=\"https:\/\/mching.people.amherst.edu\/\">Michael Ching<\/a><\/li>\n<ul>\n<li><b>Title:<\/b> Differential bundles in Goodwillie calculus<\/li>\n<li><b>Abstract:<\/b>  In joint work with Kristine Bauer and Matthew Burke, we have formalized the analogy between Goodwillie's functor calculus and the ordinary differential calculus of smooth manifolds. Both are examples of a tangent $\\infty-$category. That abstract structure, introduced by Rosick\u00fd in the 1-categorical setting and developed in more detail by Cockett and Cruttwell, is based on categorical properties of the tangent bundle functor in differential geometry. I will describe how we generalize their work to $\\infty$-categories and how Goodwillie's theory fits into this framework. Our main result is that Goodwillie's Taylor tower can be completely recovered from a certain tangent $(\\infty,2)$-category of $\\infty$-categories.\n<p>This work makes it possible to investigate analogues in Goodwillie calculus of various aspects of ordinary differential geometry, and I will describe joint work in progress with Kaya Arro, where we identify the notions corresponding to smooth vector bundles. These turn out to be, more-or-less, cartesian and cocartesian fibrations of \u221e-categories for which all the fibres are stable.\n   <\/li>\n<\/ul>\n<\/li>\n<li><a href=\"https:\/\/www.cst.cam.ac.uk\/people\/js2878\">Jonathan Sterling<\/a>.\n<ul>\n<li><b>Title:<\/b> When is the partial map classifier a Sierpi\u0144ski cone?<\/li>\n<li><b>Abstract:<\/b> The idea of synthetic domain theory is to work in the internal language of a topos containing an interval object that forms a dominance and satisfies a few other axioms, such as Phoa\u2019s principle. Then, not all objects deserve to be called \u201cpredomains\u201d, but the ones that do invariably arise within full internal reflective subcategories defined by simple orthogonality laws stated in terms of the interval\u2019s geometry. It so happens that some of these orthogonality laws are also of use in defining synthetic \u221e-categories \u00e0 la Riehl and Shulman.\n<p>I will outline some recent results in synthetic (higher) domain theory obtained with my former Masters student Leoni Pugh concerning partial map classifiers, including (1) the closure of synthetic $\\infty$-categories under partial map classifiers, and (2) the discovery of a strengthening of the Segal completeness law that, amongst synthetic partial orders, causes the partial map classifier to coincide with the Sierpi\u0144ski cone. <\/li>\n<\/ul>\n<\/li>\n<\/ul>\n","protected":false},"excerpt":{"rendered":"23 April 2025 (Sheffield) Hosted by the School of Mathematics and Statistics of the University of Sheffield. Supported by LMS. If you will arrive by train, can either walk from the station or take the tram.\u00a0 Here are some directions. Please register by using this link, by 12:00 noon (UK time) on Friday 18th April...","protected":false},"author":162,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"_acf_changed":false,"footnotes":""},"class_list":["post-251","page","type-page","status-publish","hentry"],"acf":[],"_links":{"self":[{"href":"https:\/\/conferences.leeds.ac.uk\/yamcats\/wp-json\/wp\/v2\/pages\/251","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/conferences.leeds.ac.uk\/yamcats\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/conferences.leeds.ac.uk\/yamcats\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/conferences.leeds.ac.uk\/yamcats\/wp-json\/wp\/v2\/users\/162"}],"replies":[{"embeddable":true,"href":"https:\/\/conferences.leeds.ac.uk\/yamcats\/wp-json\/wp\/v2\/comments?post=251"}],"version-history":[{"count":0,"href":"https:\/\/conferences.leeds.ac.uk\/yamcats\/wp-json\/wp\/v2\/pages\/251\/revisions"}],"wp:attachment":[{"href":"https:\/\/conferences.leeds.ac.uk\/yamcats\/wp-json\/wp\/v2\/media?parent=251"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}