{"id":2267,"date":"2023-04-04T14:50:25","date_gmt":"2023-04-04T12:50:25","guid":{"rendered":"https:\/\/www.uni.lu\/fstm-fr\/events\/toposes-as-bridges-for-mathematics-and-artificial-intelligence\/"},"modified":"2023-04-04T14:50:25","modified_gmt":"2023-04-04T12:50:25","slug":"toposes-as-bridges-for-mathematics-and-artificial-intelligence","status":"publish","type":"events","link":"https:\/\/www.uni.lu\/fstm-fr\/events\/toposes-as-bridges-for-mathematics-and-artificial-intelligence\/","title":{"rendered":"Toposes as \u2018bridges\u2019 for mathematics and artificial intelligence"},"content":{"rendered":"<section class=\"wp-block-unilux-blocks-free-section section\"><div class=\"container xl:max-w-screen-xl\"><p><strong>Abstract:\u00a0<\/strong><\/p><p>I will introduce the theory of toposes as unifying \u2018bridges\u2019, give a survey of the main results obtained so far and discuss some work in progress and future research directions on applying this theory to fundamental themes in the field of artificial intelligence, such as the development of a semantic theory of information, the modelling of deep neural networks and automated theorem proving.<\/p><p><strong>About the speaker:\u00a0<\/strong><\/p><p>Olivia Caramello is a mathematician working as Associate Professor at the <a href=\"https:\/\/www4.uninsubria.it\/on-line\/home\/articolo10327.html\" target=\"_self\" title=\"\" rel=\"noopener\">University of Insubria<\/a> in Como. She is also\u00a0the President of the\u00a0<a href=\"http:\/\/www.igrothendieck.org\/\" target=\"_self\" title=\"\" rel=\"noopener\">Grothendieck Institute<\/a>, an Italian foundation devoted to interdisciplinary research in the mathematical sciences.<\/p><p>Her research has focused on investigating the role of Grothendieck toposes as unifying spaces in Mathematics and Logic.<\/p><p>My main contribution has been the development of the\u00a0<a href=\"https:\/\/www.oliviacaramello.com\/Unification\/Unification.htm\" target=\"_self\" title=\"\" rel=\"noopener\">unifying theory of topos-theoretic &lsquo;bridges&rsquo;<\/a>, consisting in methods and techniques for transferring information between distinct mathematical theories by using toposes.<\/p><p>These methodologies are interdisciplinary in character and, even though they find their theoretical and most natural expression in Mathematics, they can also be applied outside it, in subjects such as Physics, Computer Science, Linguistics and Philosophy.<\/p><\/div><\/section>","protected":false},"excerpt":{"rendered":"","protected":false},"author":0,"featured_media":2268,"parent":0,"menu_order":0,"comment_status":"open","ping_status":"closed","template":"","format":"standard","meta":{"featured_image_focal_point":[],"show_featured_caption":false,"ulux_newsletter_groups":"","uluxPostTitle":"","uluxPrePostTitle":"","_trash_the_other_posts":false,"_price":"","_stock":"","_tribe_ticket_header":"","_tribe_default_ticket_provider":"","_tribe_ticket_capacity":"0","_ticket_start_date":"","_ticket_end_date":"","_tribe_ticket_show_description":"","_tribe_ticket_show_not_going":false,"_tribe_ticket_use_global_stock":"","_tribe_ticket_global_stock_level":"","_global_stock_mode":"","_global_stock_cap":"","_tribe_rsvp_for_event":"","_tribe_ticket_going_count":"","_tribe_ticket_not_going_count":"","_tribe_tickets_list":"[]","_tribe_ticket_has_attendee_info_fields":false,"event_start_date":"2023-04-20 14:30:00","event_end_date":"2023-04-20 15:30:00","event_speaker_name":"Olivia Caramello ","event_speaker_link":"","event_is_online":false,"event_location":"Belval campus, Maison du Savoir, room 3.040 ","event_street":"","event_location_link":"","event_zip_code":"","event_city":"","event_country":"LU"},"events-topic":[],"events-type":[],"organisation":[24],"authorship":[],"acf":[],"yoast_head":"<!-- This site is optimized with the Yoast SEO Premium plugin v22.3 (Yoast SEO v22.3) - https:\/\/yoast.com\/wordpress\/plugins\/seo\/ -->\n<title>Toposes as \u2018bridges\u2019 for mathematics and artificial intelligence - FSTM I Uni.lu<\/title>\n<meta name=\"description\" content=\"Abstract:\u00a0I will introduce the theory of toposes as unifying \u2018bridges\u2019, give a survey of the main results obtained so far and discuss some work in\" \/>\n<meta name=\"robots\" content=\"index, follow, max-snippet:-1, max-image-preview:large, max-video-preview:-1\" \/>\n<link rel=\"canonical\" href=\"https:\/\/www.uni.lu\/fstm-fr\/events\/toposes-as-bridges-for-mathematics-and-artificial-intelligence\/\" \/>\n<meta property=\"og:locale\" content=\"fr_FR\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"Toposes as \u2018bridges\u2019 for mathematics and artificial intelligence\" \/>\n<meta property=\"og:description\" content=\"Abstract:\u00a0I will introduce the theory of toposes as unifying \u2018bridges\u2019, give a survey of the main results obtained so far and discuss some work in\" \/>\n<meta property=\"og:url\" content=\"https:\/\/www.uni.lu\/fstm-fr\/events\/toposes-as-bridges-for-mathematics-and-artificial-intelligence\/\" \/>\n<meta property=\"og:site_name\" content=\"FSTM FR\" \/>\n<meta property=\"article:publisher\" content=\"https:\/\/www.facebook.com\/fstm.uni.lu\/\" \/>\n<meta property=\"og:image\" content=\"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/20\/2026\/03\/03111744\/FSTM_SM-Profile_1600x1600px-scaled.jpg\" \/>\n\t<meta property=\"og:image:width\" content=\"2560\" \/>\n\t<meta property=\"og:image:height\" content=\"2560\" \/>\n\t<meta property=\"og:image:type\" content=\"image\/jpeg\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<meta name=\"twitter:label1\" content=\"Dur\u00e9e de lecture estim\u00e9e\" \/>\n\t<meta name=\"twitter:data1\" content=\"1 minute\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\/\/schema.org\",\"@graph\":[{\"@type\":\"WebPage\",\"@id\":\"https:\/\/www.uni.lu\/fstm-fr\/events\/toposes-as-bridges-for-mathematics-and-artificial-intelligence\/\",\"url\":\"https:\/\/www.uni.lu\/fstm-fr\/events\/toposes-as-bridges-for-mathematics-and-artificial-intelligence\/\",\"name\":\"Toposes as \u2018bridges\u2019 for mathematics and artificial intelligence - FSTM I Uni.lu\",\"isPartOf\":{\"@id\":\"https:\/\/www.uni.lu\/fstm-fr\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\/\/www.uni.lu\/fstm-fr\/events\/toposes-as-bridges-for-mathematics-and-artificial-intelligence\/#primaryimage\"},\"image\":{\"@id\":\"https:\/\/www.uni.lu\/fstm-fr\/events\/toposes-as-bridges-for-mathematics-and-artificial-intelligence\/#primaryimage\"},\"thumbnailUrl\":\"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/20\/2023\/04\/toposes_as_bridges_for_mathematics_and_artificial_intelligence.jpg\",\"datePublished\":\"2023-04-04T12:50:25+00:00\",\"dateModified\":\"2023-04-04T12:50:25+00:00\",\"description\":\"Abstract:\u00a0I will introduce the theory of toposes as unifying \u2018bridges\u2019, give a survey of the main results obtained so far and discuss some work in\",\"breadcrumb\":{\"@id\":\"https:\/\/www.uni.lu\/fstm-fr\/events\/toposes-as-bridges-for-mathematics-and-artificial-intelligence\/#breadcrumb\"},\"inLanguage\":\"fr-FR\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\/\/www.uni.lu\/fstm-fr\/events\/toposes-as-bridges-for-mathematics-and-artificial-intelligence\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"fr-FR\",\"@id\":\"https:\/\/www.uni.lu\/fstm-fr\/events\/toposes-as-bridges-for-mathematics-and-artificial-intelligence\/#primaryimage\",\"url\":\"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/20\/2023\/04\/toposes_as_bridges_for_mathematics_and_artificial_intelligence.jpg\",\"contentUrl\":\"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/20\/2023\/04\/toposes_as_bridges_for_mathematics_and_artificial_intelligence.jpg\",\"width\":800,\"height\":600},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\/\/www.uni.lu\/fstm-fr\/events\/toposes-as-bridges-for-mathematics-and-artificial-intelligence\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\/\/www.uni.lu\/fr\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"Facult\u00e9 des Sciences, des Technologies et de M\u00e9decine\",\"item\":\"https:\/\/www.uni.lu\/fstm-fr\/\"},{\"@type\":\"ListItem\",\"position\":3,\"name\":\"Events\",\"item\":\"https:\/\/www.uni.lu\/fstm-fr\/events\/\"},{\"@type\":\"ListItem\",\"position\":4,\"name\":\"Toposes as \u2018bridges\u2019 for mathematics and artificial intelligence\"}]},{\"@type\":\"WebSite\",\"@id\":\"https:\/\/www.uni.lu\/fstm-fr\/#website\",\"url\":\"https:\/\/www.uni.lu\/fstm-fr\/\",\"name\":\"FSTM\",\"description\":\"Facult\u00e9 des Sciences, des Technologies et de M\u00e9decine I Uni.lu\",\"publisher\":{\"@id\":\"https:\/\/www.uni.lu\/fstm-fr\/#organization\"},\"alternateName\":\"Facult\u00e9 des Sciences, des Technologies et de M\u00e9decine I Universit\u00e9 du Luxembourg\",\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"https:\/\/www.uni.lu\/fstm-fr\/?s={search_term_string}\"},\"query-input\":\"required name=search_term_string\"}],\"inLanguage\":\"fr-FR\"},{\"@type\":\"Organization\",\"@id\":\"https:\/\/www.uni.lu\/fstm-fr\/#organization\",\"name\":\"FSTM - Universit\u00e9 du Luxembourg I Uni.lu\",\"alternateName\":\"Facult\u00e9 des Sciences, des Technologies et de M\u00e9decine\",\"url\":\"https:\/\/www.uni.lu\/fstm-fr\/\",\"logo\":{\"@type\":\"ImageObject\",\"inLanguage\":\"fr-FR\",\"@id\":\"https:\/\/www.uni.lu\/fstm-fr\/#\/schema\/logo\/image\/\",\"url\":\"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/20\/2026\/03\/03111744\/FSTM_SM-Profile_1600x1600px-scaled.jpg\",\"contentUrl\":\"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/20\/2026\/03\/03111744\/FSTM_SM-Profile_1600x1600px-scaled.jpg\",\"width\":2560,\"height\":2560,\"caption\":\"FSTM - Universit\u00e9 du Luxembourg I Uni.lu\"},\"image\":{\"@id\":\"https:\/\/www.uni.lu\/fstm-fr\/#\/schema\/logo\/image\/\"},\"sameAs\":[\"https:\/\/www.facebook.com\/fstm.uni.lu\/\",\"https:\/\/www.linkedin.com\/showcase\/fstm-uni-lu\"]}]}<\/script>\n<!-- \/ Yoast SEO Premium plugin. -->","yoast_head_json":{"title":"Toposes as \u2018bridges\u2019 for mathematics and artificial intelligence - FSTM I Uni.lu","description":"Abstract:\u00a0I will introduce the theory of toposes as unifying \u2018bridges\u2019, give a survey of the main results obtained so far and discuss some work in","robots":{"index":"index","follow":"follow","max-snippet":"max-snippet:-1","max-image-preview":"max-image-preview:large","max-video-preview":"max-video-preview:-1"},"canonical":"https:\/\/www.uni.lu\/fstm-fr\/events\/toposes-as-bridges-for-mathematics-and-artificial-intelligence\/","og_locale":"fr_FR","og_type":"article","og_title":"Toposes as \u2018bridges\u2019 for mathematics and artificial intelligence","og_description":"Abstract:\u00a0I will introduce the theory of toposes as unifying \u2018bridges\u2019, give a survey of the main results obtained so far and discuss some work in","og_url":"https:\/\/www.uni.lu\/fstm-fr\/events\/toposes-as-bridges-for-mathematics-and-artificial-intelligence\/","og_site_name":"FSTM FR","article_publisher":"https:\/\/www.facebook.com\/fstm.uni.lu\/","og_image":[{"width":2560,"height":2560,"url":"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/20\/2026\/03\/03111744\/FSTM_SM-Profile_1600x1600px-scaled.jpg","type":"image\/jpeg"}],"twitter_card":"summary_large_image","twitter_misc":{"Dur\u00e9e de lecture estim\u00e9e":"1 minute"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"WebPage","@id":"https:\/\/www.uni.lu\/fstm-fr\/events\/toposes-as-bridges-for-mathematics-and-artificial-intelligence\/","url":"https:\/\/www.uni.lu\/fstm-fr\/events\/toposes-as-bridges-for-mathematics-and-artificial-intelligence\/","name":"Toposes as \u2018bridges\u2019 for mathematics and artificial intelligence - FSTM I Uni.lu","isPartOf":{"@id":"https:\/\/www.uni.lu\/fstm-fr\/#website"},"primaryImageOfPage":{"@id":"https:\/\/www.uni.lu\/fstm-fr\/events\/toposes-as-bridges-for-mathematics-and-artificial-intelligence\/#primaryimage"},"image":{"@id":"https:\/\/www.uni.lu\/fstm-fr\/events\/toposes-as-bridges-for-mathematics-and-artificial-intelligence\/#primaryimage"},"thumbnailUrl":"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/20\/2023\/04\/toposes_as_bridges_for_mathematics_and_artificial_intelligence.jpg","datePublished":"2023-04-04T12:50:25+00:00","dateModified":"2023-04-04T12:50:25+00:00","description":"Abstract:\u00a0I will introduce the theory of toposes as unifying \u2018bridges\u2019, give a survey of the main results obtained so far and discuss some work in","breadcrumb":{"@id":"https:\/\/www.uni.lu\/fstm-fr\/events\/toposes-as-bridges-for-mathematics-and-artificial-intelligence\/#breadcrumb"},"inLanguage":"fr-FR","potentialAction":[{"@type":"ReadAction","target":["https:\/\/www.uni.lu\/fstm-fr\/events\/toposes-as-bridges-for-mathematics-and-artificial-intelligence\/"]}]},{"@type":"ImageObject","inLanguage":"fr-FR","@id":"https:\/\/www.uni.lu\/fstm-fr\/events\/toposes-as-bridges-for-mathematics-and-artificial-intelligence\/#primaryimage","url":"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/20\/2023\/04\/toposes_as_bridges_for_mathematics_and_artificial_intelligence.jpg","contentUrl":"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/20\/2023\/04\/toposes_as_bridges_for_mathematics_and_artificial_intelligence.jpg","width":800,"height":600},{"@type":"BreadcrumbList","@id":"https:\/\/www.uni.lu\/fstm-fr\/events\/toposes-as-bridges-for-mathematics-and-artificial-intelligence\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/www.uni.lu\/fr"},{"@type":"ListItem","position":2,"name":"Facult\u00e9 des Sciences, des Technologies et de M\u00e9decine","item":"https:\/\/www.uni.lu\/fstm-fr\/"},{"@type":"ListItem","position":3,"name":"Events","item":"https:\/\/www.uni.lu\/fstm-fr\/events\/"},{"@type":"ListItem","position":4,"name":"Toposes as \u2018bridges\u2019 for mathematics and artificial intelligence"}]},{"@type":"WebSite","@id":"https:\/\/www.uni.lu\/fstm-fr\/#website","url":"https:\/\/www.uni.lu\/fstm-fr\/","name":"FSTM","description":"Facult\u00e9 des Sciences, des Technologies et de M\u00e9decine I Uni.lu","publisher":{"@id":"https:\/\/www.uni.lu\/fstm-fr\/#organization"},"alternateName":"Facult\u00e9 des Sciences, des Technologies et de M\u00e9decine I Universit\u00e9 du Luxembourg","potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https:\/\/www.uni.lu\/fstm-fr\/?s={search_term_string}"},"query-input":"required name=search_term_string"}],"inLanguage":"fr-FR"},{"@type":"Organization","@id":"https:\/\/www.uni.lu\/fstm-fr\/#organization","name":"FSTM - Universit\u00e9 du Luxembourg I Uni.lu","alternateName":"Facult\u00e9 des Sciences, des Technologies et de M\u00e9decine","url":"https:\/\/www.uni.lu\/fstm-fr\/","logo":{"@type":"ImageObject","inLanguage":"fr-FR","@id":"https:\/\/www.uni.lu\/fstm-fr\/#\/schema\/logo\/image\/","url":"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/20\/2026\/03\/03111744\/FSTM_SM-Profile_1600x1600px-scaled.jpg","contentUrl":"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/20\/2026\/03\/03111744\/FSTM_SM-Profile_1600x1600px-scaled.jpg","width":2560,"height":2560,"caption":"FSTM - Universit\u00e9 du Luxembourg I Uni.lu"},"image":{"@id":"https:\/\/www.uni.lu\/fstm-fr\/#\/schema\/logo\/image\/"},"sameAs":["https:\/\/www.facebook.com\/fstm.uni.lu\/","https:\/\/www.linkedin.com\/showcase\/fstm-uni-lu"]}]}},"_links":{"self":[{"href":"https:\/\/www.uni.lu\/fstm-fr\/wp-json\/wp\/v2\/events\/2267"}],"collection":[{"href":"https:\/\/www.uni.lu\/fstm-fr\/wp-json\/wp\/v2\/events"}],"about":[{"href":"https:\/\/www.uni.lu\/fstm-fr\/wp-json\/wp\/v2\/types\/events"}],"replies":[{"embeddable":true,"href":"https:\/\/www.uni.lu\/fstm-fr\/wp-json\/wp\/v2\/comments?post=2267"}],"version-history":[{"count":0,"href":"https:\/\/www.uni.lu\/fstm-fr\/wp-json\/wp\/v2\/events\/2267\/revisions"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.uni.lu\/fstm-fr\/wp-json\/wp\/v2\/media\/2268"}],"wp:attachment":[{"href":"https:\/\/www.uni.lu\/fstm-fr\/wp-json\/wp\/v2\/media?parent=2267"}],"wp:term":[{"taxonomy":"events-topic","embeddable":true,"href":"https:\/\/www.uni.lu\/fstm-fr\/wp-json\/wp\/v2\/events-topic?post=2267"},{"taxonomy":"events-type","embeddable":true,"href":"https:\/\/www.uni.lu\/fstm-fr\/wp-json\/wp\/v2\/events-type?post=2267"},{"taxonomy":"organisation","embeddable":true,"href":"https:\/\/www.uni.lu\/fstm-fr\/wp-json\/wp\/v2\/organisation?post=2267"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}