
Bruno Drieux e Gabriel Merlin, dottorandi e borsisti dell’Istituto Grothendieck, hanno partecipato alla conferenza internazionale TACL 2026 (Topology, Algebra, and Categories in Logic), tenutasi a Cracovia, in Polonia, dal 27 al 31 luglio 2026.
Entrambi hanno presentato i rispettivi lavori condotti in collaborazione con Olivia Caramello, contribuendo allo sviluppo della teoria dei topoi relativi e dei suoi fondamenti categoriali.
L’intervento di Bruno Drieux, “Relative (co-)Yoneda Lemma for Categories Indexed over a Small-Generated Site“, ha riguardato versioni relative dei lemmi di Yoneda e di co-Yoneda, risultati fondamentali che descrivono come gli oggetti matematici possano essere compresi attraverso le loro relazioni con altri oggetti.
La presentazione ha inoltre sviluppato strumenti per lo studio di limiti e colimiti indicizzati, contribuendo ai fondamenti della teoria delle categorie su un topos di base arbitrario.
L’intervento di Gabriel Merlin, “Relative Points and Completions of Indexed Categories“, ha esaminato come estendere costruzioni categoriali classiche al contesto relativo, nel quale le strutture matematiche sono studiate su un topos di base anziché sugli insiemi.
In particolare, ha presentato descrizioni geometriche dei pro-completamenti indicizzati e degli inviluppi di Karoubi indicizzati in termini di punti relativi di topoi, illustrando la teoria con un’applicazione alle algebre di Boole dotate di azioni di gruppi.
| Cookie | Durata | Descrizione |
|---|---|---|
| __stripe_mid | 1 year | Stripe sets this cookie to process payments. |
| __stripe_sid | 30 minutes | Stripe sets this cookie to process payments. |
| _GRECAPTCHA | 5 months 27 days | This cookie is set by the Google recaptcha service to identify bots to protect the website against malicious spam attacks. |
| cookielawinfo-checkbox-analytics | 1 year | Set by the GDPR Cookie Consent plugin, this cookie is used to record the user consent for the cookies in the "Analytics" category . |
| cookielawinfo-checkbox-necessary | 1 year | Set by the GDPR Cookie Consent plugin, this cookie is used to record the user consent for the cookies in the "Necessary" category . |
| CookieLawInfoConsent | 1 year | Records the default button state of the corresponding category & the status of CCPA. It works only in coordination with the primary cookie. |
| elementor | never | This cookie is used by the website's WordPress theme. It allows the website owner to implement or change the website's content in real-time. |
| viewed_cookie_policy | 1 year | Set by GDPR cookie plugin: this cookie records the user consent for the usage of the cookies upon accept and reject. |
| wp-wpml_current_language | session | No description available. |
| Cookie | Durata | Descrizione |
|---|---|---|
| CONSENT | 2 years | YouTube sets this cookie via embedded youtube-videos and registers anonymous statistical data. |
| Google Maps | Google Maps is a map visualization service managed by Google Inc. and is used to integrate such contents within its pages. |
| Cookie | Durata | Descrizione |
|---|---|---|
| m | 1 year 1 month 4 days | No description available. |
| Cookie | Durata | Descrizione |
|---|---|---|
| VISITOR_INFO1_LIVE | 5 months 27 days | A cookie set by YouTube to measure bandwidth that determines whether the user gets the new or old player interface. This cookie is mandatory to show videos in the homepage. |
| YSC | session | YSC cookie is set by Youtube and is used to track the views of embedded videos on Youtube pages. This cookie is mandatory to show videos in the homepage. |
| yt-remote-connected-devices | never | YouTube sets this cookie to store the video preferences of the user using embedded YouTube video. |
| yt-remote-device-id | never | YouTube sets this cookie to store the video preferences of the user using embedded YouTube video. |
| yt.innertube::nextId | never | This cookie, set by YouTube, registers a unique ID to store data on what videos from YouTube the user has seen. |
| yt.innertube::requests | never | This cookie, set by YouTube, registers a unique ID to store data on what videos from YouTube the user has seen. |