{"id":276,"date":"2026-06-03T15:15:59","date_gmt":"2026-06-03T15:15:59","guid":{"rendered":"https:\/\/conferences.leeds.ac.uk\/yamcats\/?page_id=276"},"modified":"2026-06-09T11:52:00","modified_gmt":"2026-06-09T11:52:00","slug":"meeting-41-manchester","status":"publish","type":"page","link":"https:\/\/conferences.leeds.ac.uk\/yamcats\/meeting-41-manchester\/","title":{"rendered":"Meeting 41 - Manchester"},"content":{"rendered":"<p>Meeting #41 of YaMCATS will happen:<\/p>\n<h3>9th June 2026 (University of Manchester)<\/h3>\n<h3>Schedule<\/h3>\n<ul>\n<li>13:00 -- 14:00: <a href=\"https:\/\/webhomes.maths.ed.ac.uk\/~djordan\/\">David Jordan<\/a><\/li>\n<li>14:00 -- 14:30: Coffee break<\/li>\n<li>14:30 -- 15:30: <a href=\"https:\/\/jelinekv.github.io\/\"> V\u00edt Jel\u00ednek<\/a><\/li>\n<li>15:30 -- 16:00 Coffee break<\/li>\n<li>16:00 -- 17:00 <a href=\"https:\/\/sites.google.com\/view\/joannako\">Joanna Ko<\/a>.<\/li>\n<li>17:00 -- onwards: Informal Discussions \/ Pub \/ Dinner.<\/li>\n<\/ul>\n<p>If you wish to attend this meeting, please register by using this <a href=\"https:\/\/forms.cloud.microsoft\/pages\/responsepage.aspx?id=B8tSwU5hu0qBivA1z6kad7t51ZTRTH9GudEyO7RUTERUNkFGMDlKN01RN1hLVjBMRktDMkwwMVFHRS4u&amp;route=shorturl\">link<\/a> by 12:00noon (UK time) on Thursday 4th June 2026. This will facilitate us organising the coffee breaks and dinner, and preparing the final report of the network, as required by LMS.<\/p>\n<p><b>Venue:<\/b> <a href=\"https:\/\/www.google.com\/maps\/place\/Alan+Turing+Building\/@53.4801697,-2.2601967,14z\/data=!4m14!1m7!3m6!1s0x487bb1921c3f83b9:0x78fabbc63d349e5a!2sAlan+Turing+Building!8m2!3d53.4680625!4d-2.2310143!16s%2Fg%2F116bxj1z2!3m5!1s0x487bb1921c3f83b9:0x78fabbc63d349e5a!8m2!3d53.4680625!4d-2.2310143!16s%2Fg%2F116bxj1z2?entry=ttu\">Alan Turing Building<\/a>, University of Manchester. Frank Adams room (level 1).<\/p>\n<p>Oxford Road train station is ~10 minutes walk, Piccadilly train station is ~25 minutes walk. Manchester Victoria train station ~40 minutes walk.<\/p>\n<h4>Titles and abstracts:<\/h4>\n<ul>\n<li><a href=\"https:\/\/webhomes.maths.ed.ac.uk\/~djordan\/\">David Jordan<\/a> (University of Edinburgh)\n<ul>\n<li><b>Title:<\/b> Finiteness for skein categories.<\/li>\n<li><b>Abstract:<\/b> Skein categories are diagrammatically defined categories important in quantum topology (the field which studies topology of 2-, 3- and 4-manifolds via tensor categories and related topics).\u00a0 In this talk I'll outline what skein categories are, and how to apply some tools from category theory.\u00a0 I'll explain a \"finiteness\" conjecture of Sam Gunningham, Monica Vazirani and myself asserting that their Yoneda categories have a compact projective generator, and I'll outline a proof we have developed with Renaud Detcherry.<\/li>\n<\/ul>\n<\/li>\n<li><a href=\"https:\/\/jelinekv.github.io\/\"> V\u00edt Jel\u00ednek<\/a> (University of Sussex)\n<ul>\n<li><b>Title:<\/b> Pseudomonadicity of Dependent Type Theories.<\/li>\n<li><b>Abstract:<\/b> Historically, semantics of dependent type theory (DTT) had been studied on a case by case basis: one could study the semantics of DTT with $\\Sigma$-types and then one could also independently study the semantics of DTT with $\\Pi$-types. A more uniform approach first required a definition of a DTT. One proposal for such a definition was given by Taichi Uemura: in the spirit of functorial semantics, a DTT is a small category with finite limits and a class of exponentiable arrows. Models of such a theory $T$ are functors out of $T$ preserving all the structure. In this talk, we will study the 2-category of dependent type theories and explain why it is pseudomonadic over a 2-category of categories equipped with a class of arrows and a class of commutative squares.This is a joint work with John Bourke.<\/li>\n<\/ul>\n<\/li>\n<li><a href=\"https:\/\/sites.google.com\/view\/joannako\">Joanna Ko<\/a> (Topos Institute, Oxford)\n<ul>\n<li><b>Title:<\/b> Models of Enhanced 2-sketches &amp; Algebras over Enhanced 2-monads.<\/li>\n<li><b>Abstract:<\/b> We study the enhanced 2-category of models of enhanced limit 2-sketches with tight weighted cones. We show that for any enhanced limit 2-sketch $\\mathbb{T}$ with tight cones, the enhanced 2-category $\\mathbb{M}\\mathrm{od}_{s, w}(\\mathbb{T}, \\mathbb{K})$ of models of $\\mathbb{T}$ in a locally presentable enhanced 2-category $\\mathbb{K}$, in which the tight and the loose morphisms are the $\\mathscr{F}$-natural transformations and the loose $w$-natural transformations, respectively, is equivalent to the enhanced 2-category ${\\mathrm{T}\\text{-}\\mathbb{A}\\mathrm{lg}}_{s, w}$ of algebras over an enhanced 2-monad $T$ on the models $\\mathbb{M}\\mathrm{od}(\\mathcal{T}_\\tau, \\mathbb{K})$ restricted to the tight morphisms in $\\mathbb{T}$ with strict $T$-morphisms and $w$-$T$-morphisms.Along the way, we establish an enriched analogue of the Orthogonal Sub-category Theorem, and generalise results on the reflectivity and the monadicity of models of enriched limit sketches in the base of enrichment to any arbitrary locally presentable enriched category.<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n","protected":false},"excerpt":{"rendered":"Meeting #41 of YaMCATS will happen: 9th June 2026 (University of Manchester) Schedule 13:00 -- 14:00: David Jordan 14:00 -- 14:30: Coffee break 14:30 -- 15:30: V\u00edt Jel\u00ednek 15:30 -- 16:00 Coffee break 16:00 -- 17:00 Joanna Ko. 17:00 -- onwards: Informal Discussions \/ Pub \/ Dinner. If you wish to attend this meeting, please...","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-276","page","type-page","status-publish","hentry"],"acf":[],"_links":{"self":[{"href":"https:\/\/conferences.leeds.ac.uk\/yamcats\/wp-json\/wp\/v2\/pages\/276","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=276"}],"version-history":[{"count":1,"href":"https:\/\/conferences.leeds.ac.uk\/yamcats\/wp-json\/wp\/v2\/pages\/276\/revisions"}],"predecessor-version":[{"id":278,"href":"https:\/\/conferences.leeds.ac.uk\/yamcats\/wp-json\/wp\/v2\/pages\/276\/revisions\/278"}],"wp:attachment":[{"href":"https:\/\/conferences.leeds.ac.uk\/yamcats\/wp-json\/wp\/v2\/media?parent=276"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}