https://trottadavide.github.io/publication-type/2/2025-06-05T00:00:00+00:00weeklyhttps://trottadavide.github.io/publication/pubb_15/2025-06-05T00:00:00+00:00weeklyhttps://trottadavide.github.io/2025-06-05T00:00:00+00:00weeklyhttps://trottadavide.github.io/publication_types/2025-06-05T00:00:00+00:00weeklyhttps://trottadavide.github.io/publication/2025-06-05T00:00:00+00:00weeklyhttps://trottadavide.github.io/publication-type/3/2025-05-15T00:00:00+00:00weeklyhttps://trottadavide.github.io/preprint/preprint_2/2025-05-15T00:00:00+00:00weeklyhttps://trottadavide.github.io/preprint/2025-05-15T00:00:00+00:00weeklyhttps://trottadavide.github.io/preprint/preprint_1/2025-05-05T00:00:00+00:00weeklyhttps://trottadavide.github.io/publication/pubb_14/2025-01-05T00:00:00+00:00weeklyhttps://trottadavide.github.io/publication/pubb_13/2024-08-23T00:00:00+00:00weeklyhttps://trottadavide.github.io/preprint/preprint_3/2024-07-21T00:00:00+00:00weeklyhttps://trottadavide.github.io/teaching/2024-07-14T00:00:00+00:00weeklyhttps://trottadavide.github.io/publication/pubb_12/2024-07-06T00:00:00+00:00weeklyhttps://trottadavide.github.io/publication/pubb_11/2024-01-03T00:00:00+00:00weeklyhttps://trottadavide.github.io/publication-type/1/2023-10-23T00:00:00+00:00weeklyhttps://trottadavide.github.io/publication/pubb_10/2023-10-23T00:00:00+00:00weeklyhttps://trottadavide.github.io/publication/pubb_9/2023-09-28T00:00:00+00:00weeklyhttps://trottadavide.github.io/publication/pubb_8/2023-09-02T00:00:00+00:00weeklyhttps://trottadavide.github.io/publication/pubb_7/2023-07-12T00:00:00+00:00weeklyhttps://trottadavide.github.io/event/2023-06-04T00:00:00+00:00weeklyhttps://trottadavide.github.io/talk/sheafification-as-a-geometric-tripos-to-topos-adjunction/2023-06-04T00:00:00+00:00weeklyhttps://trottadavide.github.io/talk/abstracting-sheafification-like-adjunctions-via-the-tripos-to-topos-construction/2023-05-29T00:00:00+00:00weeklyhttps://trottadavide.github.io/publication/pubb_6/2023-01-02T00:00:00+00:00weeklyhttps://trottadavide.github.io/publication/pubb_5/2023-01-01T00:00:00+00:00weeklyhttps://trottadavide.github.io/publication/pubb_3/2022-10-10T00:00:00+00:00weeklyhttps://trottadavide.github.io/publication/pubb_4/2022-10-10T00:00:00+00:00weeklyhttps://trottadavide.github.io/talk/godel-doctrines-and-dialectica-logical-principles/2021-10-28T00:00:00+00:00weeklyhttps://trottadavide.github.io/talk/dialectica-logical-principles-via-free-categorical-constructions/2021-09-20T00:00:00+00:00weeklyhttps://trottadavide.github.io/talk/generalized-existential-completions-regular-and-exact-completions/2021-09-03T00:00:00+00:00weeklyhttps://trottadavide.github.io/publication/pubb_2/2021-08-01T00:00:00+00:00weeklyhttps://trottadavide.github.io/talk/the-godel-fibration/2021-05-20T00:00:00+00:00weeklyhttps://trottadavide.github.io/talk/the-existential-completion-choice-principles-and-applications/2020-10-01T00:00:00+00:00weeklyhttps://trottadavide.github.io/publication/pubb_1/2020-09-01T00:00:00+00:00weeklyhttps://trottadavide.github.io/categories/weeklyhttps://trottadavide.github.io/tags/weekly