{"id":9982,"date":"2025-12-09T13:39:39","date_gmt":"2025-12-09T11:39:39","guid":{"rendered":"https:\/\/www.desda.org\/?page_id=9982"},"modified":"2026-02-02T14:42:28","modified_gmt":"2026-02-02T12:42:28","slug":"symposium-2026","status":"publish","type":"page","link":"https:\/\/www.desda.org\/en\/symposium-2026\/","title":{"rendered":"Nationaal Wiskunde Symposium 2026: Fun with Functors"},"content":{"rendered":"
\t\t\t

It is approaching! In less than a month, on thursday february 5th, we will hold the National Mathematics Symposium on Category Theory at the Radboud Universiteit in Nijmegen. The preliminary planning is as follows:<\/p>\n\n\n\n\n\n\n\n\n\n\n\n\n\n
Time<\/th>\nTalk<\/th>\nSpeaker<\/th>\nLocation<\/th>\n<\/tr>\n
09:30 – 10:00<\/td>\nDoors open<\/td>\nHG00.303<\/td>\n<\/tr>\n
10:00 – 10:15<\/td>\nWelcome Speech<\/td>\nSteffen Sagave<\/td>\nHG00.303<\/td>\n<\/tr>\n
10:15 – 11:00<\/td>\nGrondbegrippen en eerste voorbeelden uit de categorie\u00ebntheorie<\/td>\nIeke Moerdijk<\/td>\nHG00.303<\/td>\n<\/tr>\n
11:15 – 12:00<\/td>\nCategorie\u00ebn en topologie<\/td>\nGijs Heuts<\/td>\nHG00.303<\/td>\n<\/tr>\n
12:15 – 13:15<\/td>\nBreak<\/td>\nZuidstraat<\/td>\n<\/tr>\n
13:30 – 14:15<\/td>\nCategorische Logica en Topossen<\/td>\nJaap van Oosten<\/td>\nLIN 3<\/td>\n<\/tr>\n
14:30 – 15:15<\/td>\nEen inleiding in the synthetische differentiaalmeetkunde<\/td>\nBenno van den Berg<\/td>\nLIN 3<\/td>\n<\/tr>\n
15:30 – 16:15<\/td>\nIntroduction to monoidal categories<\/td>\nL\u00e9onard Guetta<\/td>\nLIN 3<\/td>\n<\/tr>\n
16:15 – 16:30<\/td>\nClosing speech<\/td>\nSteffen Sagave<\/td>\nLIN 3<\/td>\n<\/tr>\n
[16:30, x<\/em>)<\/td>\nDrinks<\/td>\nZuidstraat<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n

The symposium is mainly aimed at second and third year bachelor students but everyone is welcome. There will be a free lunch and free drinks afterwards. Also there is no registration, so feel free to come. Travel expenses will be reimbursed. We hope to see you then!<\/p>\n

To be reimbursed for your travel expenses go to https:\/\/administration.desda.org\/declaraties<\/a> and fill in “Symposium” for the “Orgaan” and “Activiteit” field.<\/p>\n<\/div>\n\t\t<\/div>

Ieke Moerdijk: Grondbegrippen en eerste voorbeelden uit de categorie\u00ebntheorie<\/h3>\t\t\t

Categorie\u00ebntheorie is oorspronkelijk bedacht door Eilenberg en MacLane in de context van hun werk in de algebraische topologie, als een systematische manier om wiskundige objecten van een heel verschillende soort met elkaar te verbinden, in hun geval vooral topologische ruimten enerzijds en groepen en ringen anderzijds. Deze manier van bechrijven van verbanden wordt inmiddels overal in de wiskunde gebruikt. Naast deze vorm van categorie\u00ebntheorie als een soort organiserend principe blijken categorie\u00ebn ook nog op een andere manier voor te komen: sommige wiskundige objecten (bijvoorbeeld groepen, partiele ordeningen) zijn z\u00e9lf categorie\u00ebn. In deze inleidende voordracht zal ik enkele aspecten bespreken van deze twee incarnaties van het begrip categorie.<\/p>\n<\/div>\n\t\t<\/div>

Gijs Heuts: Categorie\u00ebn en topologie<\/h3>\t\t\t

We zullen bespreken hoe aan elke categorie C een topologische ruimte kan worden toegekend, de zogeheten \u201cclassifying space\u201d BC. Interessante speciale voorbeelden zijn de classifying spaces van groepen, waarvan we een aantal voorbeelden bekijken. De constructie van BC geeft een familie van ruimten die interessant zijn in de topologie; andersom geven eigenschappen van de ruimte BC interessante informatie over de oorspronkelijke categorie C.<\/p>\n<\/div>\n\t\t<\/div>

Jaap van Oosten: Categorische Logica en Topossen<\/h3>\t\t\t

Alle constructies uit de logica en verzamelingenleer zijn in categorietheoretische termen te formuleren. De voordracht zal dit duidelijk maken aan de hand van de definitie van een belangrijk type categorie\u00ebn: topossen.<\/p>\n<\/div>\n\t\t<\/div>

Benno van den Berg: Een inleiding in the synthetische differentiaalmeetkunde<\/h3>\t\t\t

Zoals jullie in het vorige praatje gezien hebben, kun je een topos zien als een alternatief wiskundig universum waarin andere principes gelden dan in het standaarduniversum. Zo zijn er topossen waarin elke functie continu, oneindig vaak differentieerbaar (“glad”) of berekenbaar is.
\nIn dit praatje wil ik ingaan op werelden waarin elke functie glad is. In deze werelden gelden de axioma’s van een theorie die we “synthetische differentiaalmeetkunde” noemen, een axiomatische theorie voor varieteiten. Dergelijke theorieen gaan terug op ideeen van Bill Lawvere, die geinspireerd werd door het werk van Alexandre Grothendieck in de algebraische meetkunde.<\/p>\n<\/div>\n\t\t<\/div>

L\u00e9onard Guetta: Introduction to monoidal categories<\/h3>\t\t\t

In this talk, I will give an introduction to the theory of monoidal categories, which are categories equipped with an abstract notion of “tensor product”. Examples of monoidal categories abound in nature, such as the category of vector spaces with the usual tensor product or the category of sets with the usual cartesian product.
\nThis talk will also be the occasion of introducing two important concepts of category theory: internalisation and categorification.<\/p>\n<\/div>\n\t\t<\/div>

\"\"<\/div><\/div><\/div><\/div>\n\n\n

<\/p>\n","protected":false},"excerpt":{"rendered":"

It is approaching! In less than a month, on thursday february 5th, we will hold the National Mathematics Symposium on Category Theory at the Radboud Universiteit in Nijmegen. The preliminary planning is as follows: Time Talk Speaker Location 09:30 – 10:00 Doors open HG00.303 10:00 – 10:15 Welcome Speech Steffen Sagave HG00.303 10:15 – 11:00 … Read more<\/a><\/p>\n","protected":false},"author":649,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-9982","page","type-page","status-publish"],"_links":{"self":[{"href":"https:\/\/www.desda.org\/en\/wp-json\/wp\/v2\/pages\/9982","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.desda.org\/en\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/www.desda.org\/en\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/www.desda.org\/en\/wp-json\/wp\/v2\/users\/649"}],"replies":[{"embeddable":true,"href":"https:\/\/www.desda.org\/en\/wp-json\/wp\/v2\/comments?post=9982"}],"version-history":[{"count":34,"href":"https:\/\/www.desda.org\/en\/wp-json\/wp\/v2\/pages\/9982\/revisions"}],"predecessor-version":[{"id":10248,"href":"https:\/\/www.desda.org\/en\/wp-json\/wp\/v2\/pages\/9982\/revisions\/10248"}],"wp:attachment":[{"href":"https:\/\/www.desda.org\/en\/wp-json\/wp\/v2\/media?parent=9982"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}