https://topos.institute/team/supporters/index.html 2026-04-02T14:40:44.722Z https://topos.institute/events/past/index.html 2026-04-02T14:40:44.497Z https://topos.institute/events/oxford-seminar/talks/myers-2025-08-28-petri.html 2026-04-02T14:40:44.497Z https://topos.institute/events/oxford-seminar/talks/lavore-2025-11-06-program.html 2026-04-02T14:40:44.497Z https://topos.institute/events/oxford-seminar/talks/2025-01-31.html 2026-04-02T14:40:44.495Z https://topos.institute/events/oxford-seminar/talks/2025-07-24.html 2026-04-02T14:40:44.496Z https://topos.institute/events/oxford-seminar/talks/aubel-2026-02-19-petri.html 2026-04-02T14:40:44.496Z https://topos.institute/events/oxford-seminar/talks/2025-07-03.html 2026-04-02T14:40:44.496Z https://topos.institute/events/oxford-seminar/talks/2025-05-15.html 2026-04-02T14:40:44.496Z https://topos.institute/events/oxford-seminar/talks/phoa-2026-03-19-scenario.html 2026-04-02T14:40:44.497Z https://topos.institute/events/oxford-seminar/talks/2025-04-15.html 2026-04-02T14:40:44.496Z https://topos.institute/events/oxford-seminar/talks/2025-04-17.html 2026-04-02T14:40:44.496Z https://topos.institute/events/oxford-seminar/talks/2025-04-03.html 2026-04-02T14:40:44.496Z https://topos.institute/events/oxford-seminar/talks/2025-06-19.html 2026-04-02T14:40:44.496Z https://topos.institute/events/oxford-seminar/talks/2025-02-20.html 2026-04-02T14:40:44.496Z https://topos.institute/events/oxford-seminar/talks/komalan-2025-09-25-brainrot.html 2026-04-02T14:40:44.497Z https://topos.institute/events/oxford-seminar/talks/capucci-2025-12-04-taste.html 2026-04-02T14:40:44.497Z https://topos.institute/events/oxford-seminar/talks/office-2025-09-04-lightning.html 2026-04-02T14:40:44.497Z https://topos.institute/events/oxford-seminar/talks/2025-05-22.html 2026-04-02T14:40:44.496Z https://topos.institute/events/oxford-seminar/talks/2025-05-01.html 2026-04-02T14:40:44.496Z https://topos.institute/events/oxford-seminar/talks/komalan-2025-08-21-band.html 2026-04-02T14:40:44.497Z https://topos.institute/events/oxford-seminar/index.html 2026-04-02T14:40:43.889Z https://topos.institute/events/joa-bookclub/index.html 2026-04-02T14:40:43.889Z https://topos.institute/events/berkeley-seminar/talks/2024-11-21-amortized-analysis-via-coalgebra.html 2026-04-02T14:40:43.659Z https://topos.institute/events/berkeley-seminar/talks/2024-07-01-communicating-relational-thinking.html 2026-04-02T14:40:43.658Z https://topos.institute/events/berkeley-seminar/talks/2024-11-15-what-is-it-like-to-be-a-lax-double-functor.html 2026-04-02T14:40:43.659Z https://topos.institute/events/berkeley-seminar/talks/2025-01-07-categorical-algebra-with-segal-conditions.html 2026-04-02T14:40:43.659Z https://topos.institute/events/berkeley-seminar/talks/2024-04-05-products-in-double-categories-revisited.html 2026-04-02T14:40:43.658Z https://topos.institute/events/berkeley-seminar/talks/2025-03-06-classical-and-constructive-logics-together-ecumenical-systems.html 2026-04-02T14:40:43.659Z https://topos.institute/events/berkeley-seminar/talks/2025-09-08-formal-category-theory-for-scaled-institutions.html 2026-04-02T14:40:43.660Z https://topos.institute/events/berkeley-seminar/talks/2025-04-01-lightning-talks.html 2026-04-02T14:40:43.659Z https://topos.institute/events/berkeley-seminar/talks/2024-08-05-lightning-talks.html 2026-04-02T14:40:43.658Z https://topos.institute/events/berkeley-seminar/talks/2024-07-01-free-cocompletions-made-friendly.html 2026-04-02T14:40:43.658Z https://topos.institute/events/berkeley-seminar/talks/2024-09-20-monad-translations-compose.html 2026-04-02T14:40:43.658Z https://topos.institute/events/berkeley-seminar/talks/2025-03-20-incremental-homomorphism-search.html 2026-04-02T14:40:43.659Z https://topos.institute/events/berkeley-seminar/talks/2024-10-17-two-takeaways-from-act2infer.html 2026-04-02T14:40:43.658Z https://topos.institute/events/berkeley-seminar/talks/2025-09-10-lightning-talks.html 2026-04-02T14:40:43.660Z https://topos.institute/events/berkeley-seminar/talks/2025-12-11-tbd.html 2026-04-02T14:40:43.661Z https://topos.institute/events/berkeley-seminar/talks/2024-02-12-a-theoretical-computer-science-perspective-on-consciousness-and-artificial-general-intelligence.html 2026-04-02T14:40:43.658Z https://topos.institute/events/berkeley-seminar/talks/2024-04-22-em-cat.html 2026-04-02T14:40:43.658Z https://topos.institute/events/berkeley-seminar/talks/2025-12-03-tbd.html 2026-04-02T14:40:43.661Z https://topos.institute/events/berkeley-seminar/talks/2025-02-11-what-invites-us-into-collective-inquiry.html 2026-04-02T14:40:43.659Z https://topos.institute/events/berkeley-seminar/talks/2025-04-15-ultracompletions.html 2026-04-02T14:40:43.659Z https://topos.institute/events/berkeley-seminar/talks/2024-07-05-building-the-science-of-predictive-systems-for-ai-safety.html 2026-04-02T14:40:43.658Z https://topos.institute/events/berkeley-seminar/talks/2025-07-21-simple-sentences-fishbowl-interviews.html 2026-04-02T14:40:43.660Z https://topos.institute/events/berkeley-seminar/talks/2024-03-07-matter-implements-pattern.html 2026-04-02T14:40:43.658Z https://topos.institute/events/berkeley-seminar/talks/2025-12-15-possible-worlds-and-certain-answers.html 2026-04-02T14:40:43.661Z https://topos.institute/events/berkeley-seminar/talks/2024-11-11-a-polynomial-monad-approach-to-the-autophagy-problem.html 2026-04-02T14:40:43.659Z https://topos.institute/events/berkeley-seminar/talks/2024-01-29-the-2-category-of-categories-controls-and-flows.html 2026-04-02T14:40:43.657Z https://topos.institute/events/berkeley-seminar/talks/2024-07-30-composing-instantaneous-machines.html 2026-04-02T14:40:43.658Z https://topos.institute/events/berkeley-seminar/talks/2025-06-02-lightning-talks.html 2026-04-02T14:40:43.659Z https://topos.institute/events/berkeley-seminar/talks/2025-06-24-composition-of-attractor-lattices.html 2026-04-02T14:40:43.660Z https://topos.institute/events/berkeley-seminar/talks/2024-02-05-probing-the-developmental-landscape-of-neural-networks.html 2026-04-02T14:40:43.658Z https://topos.institute/events/berkeley-seminar/talks/2025-03-04-lightning-talks.html 2026-04-02T14:40:43.659Z https://topos.institute/events/berkeley-seminar/talks/2025-01-13-topos-uk-a-year-in-review.html 2026-04-02T14:40:43.659Z https://topos.institute/events/berkeley-seminar/talks/2025-12-04-tbd.html 2026-04-02T14:40:43.661Z https://topos.institute/events/berkeley-seminar/talks/2025-04-28-heidegger-skill-and-the-conversational-structure-of-human-work.html 2026-04-02T14:40:43.659Z https://topos.institute/events/berkeley-seminar/talks/2024-09-03-stateful-lenses-a-recipe-for-expressive-systems-theoretic-cartesian-double-categories.html 2026-04-02T14:40:43.658Z https://topos.institute/events/berkeley-seminar/talks/2026-02-24-tbd.html 2026-04-02T14:40:43.661Z https://topos.institute/events/berkeley-seminar/talks/2025-04-21-categories-by-kan-extension.html 2026-04-02T14:40:43.659Z https://topos.institute/events/berkeley-seminar/talks/2025-08-04-comonads-on-set.html 2026-04-02T14:40:43.660Z https://topos.institute/events/berkeley-seminar/talks/2024-12-09-the-delannoy-promonoidal-category-for-scheduling-processes.html 2026-04-02T14:40:43.659Z https://topos.institute/events/berkeley-seminar/talks/2026-04-07-a-type-system-for-finitely-supported-functions-via-pointed-sets-part-2.html 2026-04-02T14:40:43.661Z https://topos.institute/events/berkeley-seminar/index.html 2026-04-02T14:40:43.433Z https://topos.institute/events/topox/index.html 2026-04-02T14:40:44.535Z https://topos.institute/events/act2infer/index.html 2026-04-02T14:40:43.433Z https://topos.institute/events/ct-outreach-self-learners/index.html 2026-04-02T14:40:43.666Z https://topos.institute/community/index.html 2026-04-02T14:40:43.429Z https://topos.institute/index.html 2026-04-02T14:40:44.591Z https://topos.institute/blog/2024-08-30-postdoc-job-openings-in-topos-oxford/index.html 2026-04-02T14:40:43.269Z https://topos.institute/blog/2021-09-22-poly-inside-poly/index.html 2026-04-02T14:40:42.698Z https://topos.institute/blog/2021-07-01-jump-monads/index.html 2026-04-02T14:40:42.588Z https://topos.institute/blog/2024-05-28-topos-institute-chapman-university-collaboration/index.html 2026-04-02T14:40:43.166Z https://topos.institute/blog/2023-11-28-categorical-statistics-in-julia/index.html 2026-04-02T14:40:42.946Z https://topos.institute/blog/2025-05-05-the-sun-is-good/index.html 2026-04-02T14:40:43.356Z https://topos.institute/blog/2025-08-06-substitution-is-pushout/index.html 2026-04-02T14:40:43.383Z https://topos.institute/blog/2022-12-20-lenses-semi-monads/index.html 2026-04-02T14:40:42.845Z https://topos.institute/blog/2024-03-27-poly-at-work-2024/index.html 2026-04-02T14:40:43.137Z https://topos.institute/blog/2022-02-15-brandon-intro/index.html 2026-04-02T14:40:42.720Z https://topos.institute/blog/2023-04-05-imperative-programming-with-poly/index.html 2026-04-02T14:40:42.877Z https://topos.institute/blog/2022-09-20-ai-planning-csets/index.html 2026-04-02T14:40:42.811Z https://topos.institute/blog/2023-11-13-solving-problem-solving/index.html 2026-04-02T14:40:42.932Z https://topos.institute/blog/2023-06-17-singular-learning-theory-and-alignment-summit/index.html 2026-04-02T14:40:42.891Z https://topos.institute/blog/2023-05-26-natural-transformations-between-cofunctors/index.html 2026-04-02T14:40:42.890Z https://topos.institute/blog/2021-11-05-dnn-as-nds/index.html 2026-04-02T14:40:42.700Z https://topos.institute/blog/2022-06-16-graphs-in-poly/index.html 2026-04-02T14:40:42.774Z https://topos.institute/blog/2022-03-17-women-in-logic-website/index.html 2026-04-02T14:40:42.731Z https://topos.institute/blog/2024-10-11-nonlogical-concepts/index.html 2026-04-02T14:40:43.285Z https://topos.institute/blog/2024-12-10-polynomial-universes-natural-models/index.html 2026-04-02T14:40:43.300Z https://topos.institute/blog/2023-02-09-ask-eugenia-cheng-about-ct/index.html 2026-04-02T14:40:42.853Z https://topos.institute/blog/2023-06-22-new-director-of-research/index.html 2026-04-02T14:40:42.895Z https://topos.institute/blog/2026-03-16-extending-mass-action-semantics-1/index.html 2026-04-02T14:40:43.421Z https://topos.institute/blog/2023-08-15-unbiased-pseudomonoids/index.html 2026-04-02T14:40:42.921Z https://topos.institute/blog/2024-04-05-understanding-umap/index.html 2026-04-02T14:40:43.144Z https://topos.institute/blog/2023-12-05-trust-reification/index.html 2026-04-02T14:40:42.952Z https://topos.institute/blog/2022-05-18-the-artificial-distinction/index.html 2026-04-02T14:40:42.755Z https://topos.institute/blog/2023-07-21-nuclear-adjunction-poly-dir/index.html 2026-04-02T14:40:42.918Z https://topos.institute/blog/2022-06-07-all-models-are-wrong/index.html 2026-04-02T14:40:42.772Z https://topos.institute/blog/2022-04-06-co-design-dynamical-systems/index.html 2026-04-02T14:40:42.746Z https://topos.institute/blog/2023-05-12-categories-for-epidemiology/index.html 2026-04-02T14:40:42.886Z https://topos.institute/blog/2023-03-06-women-in-logic-history-so-far/index.html 2026-04-02T14:40:42.854Z https://topos.institute/blog/2025-08-15-incremental-adhesive/index.html 2026-04-02T14:40:43.393Z https://topos.institute/blog/2025-07-13-liberating-synthetic-quasi-coherence-from-forcing/index.html 2026-04-02T14:40:43.369Z https://topos.institute/blog/2025-09-26-free-pltl-algebras-and-hyperdoctrines/index.html 2026-04-02T14:40:43.394Z https://topos.institute/blog/2022-01-07-topos-institute-seminars-in-2022/index.html 2026-04-02T14:40:42.717Z https://topos.institute/blog/2022-11-23-scotts-lambda-calculus/index.html 2026-04-02T14:40:42.839Z https://topos.institute/blog/2022-10-14-jmm-workshop-act/index.html 2026-04-02T14:40:42.830Z https://topos.institute/blog/index.html 2026-04-02T14:40:43.426Z https://topos.institute/blog/2024-06-24-compact-double-categories-2/index.html 2026-04-02T14:40:43.174Z https://topos.institute/blog/2024-06-28-fantastic-book-four-months-i/index.html 2026-04-02T14:40:43.206Z https://topos.institute/blog/2022-10-28-hebbian-learning/index.html 2026-04-02T14:40:42.833Z https://topos.institute/blog/2021-07-25-dirichlet-and-entropy/index.html 2026-04-02T14:40:42.610Z https://topos.institute/blog/2025-07-01-summer-research-associates-2025/index.html 2026-04-02T14:40:43.369Z https://topos.institute/blog/2024-07-09-fantastic-book-four-months-iii/index.html 2026-04-02T14:40:43.233Z https://topos.institute/blog/2025-06-10-e-graphs-2/index.html 2026-04-02T14:40:43.368Z https://topos.institute/blog/2023-12-14-responsible-mathematics-metaphors-of-semantics/index.html 2026-04-02T14:40:42.955Z https://topos.institute/blog/2022-07-14-summer-research-associates-2022/index.html 2026-04-02T14:40:42.782Z https://topos.institute/blog/2022-03-01-summer-ra-announcement-2022/index.html 2026-04-02T14:40:42.725Z https://topos.institute/blog/2023-11-17-aiii-best-paper-award/index.html 2026-04-02T14:40:42.942Z https://topos.institute/blog/2025-02-05-catcolab-0-2-wren/index.html 2026-04-02T14:40:43.301Z https://topos.institute/blog/2025-11-07-dots-from-double-theories/index.html 2026-04-02T14:40:43.397Z https://topos.institute/blog/2025-11-21-set-sets/index.html 2026-04-02T14:40:43.401Z https://topos.institute/blog/2022-05-23-double-grothendieck/index.html 2026-04-02T14:40:42.763Z https://topos.institute/blog/2024-08-12-poly-as-accounting-for-bayesian-update/index.html 2026-04-02T14:40:43.263Z https://topos.institute/blog/2023-07-11-math-and-goodness/index.html 2026-04-02T14:40:42.917Z https://topos.institute/blog/2026-01-30-composition-of-attractor-lattices/index.html 2026-04-02T14:40:43.412Z https://topos.institute/blog/2022-07-07-david-15-year-history/index.html 2026-04-02T14:40:42.774Z https://topos.institute/blog/2023-05-08-symbolic-presentations-dynamical-systems/index.html 2026-04-02T14:40:42.883Z https://topos.institute/blog/2023-11-23-mathematics-for-climate-change/index.html 2026-04-02T14:40:42.945Z https://topos.institute/blog/2023-11-14-introducing-intertypes/index.html 2026-04-02T14:40:42.939Z https://topos.institute/blog/2022-11-16-mathematical-concepts/index.html 2026-04-02T14:40:42.839Z https://topos.institute/blog/2021-11-04-categorical-systems-theory/index.html 2026-04-02T14:40:42.699Z https://topos.institute/blog/2022-09-06-double-categorical-data-operations/index.html 2026-04-02T14:40:42.799Z https://topos.institute/blog/2024-08-02-rethink-math-talks/index.html 2026-04-02T14:40:43.239Z https://topos.institute/blog/2022-04-18-facets-of-networked-mathematics/index.html 2026-04-02T14:40:42.755Z https://topos.institute/blog/2021-10-08-postdoc-position/index.html 2026-04-02T14:40:42.698Z https://topos.institute/blog/2021-08-24-em-cats-announcement/index.html 2026-04-02T14:40:42.614Z https://topos.institute/blog/2022-03-25-creating-mathematics/index.html 2026-04-02T14:40:42.744Z https://topos.institute/blog/2025-04-29-care-at-the-edge-of-automation/index.html 2026-04-02T14:40:43.328Z https://topos.institute/blog/2022-05-20-operations-job-advert/index.html 2026-04-02T14:40:42.758Z https://topos.institute/blog/2026-01-08-catcolab-0-4-robin/index.html 2026-04-02T14:40:43.410Z https://topos.institute/blog/2024-10-02-introducing-catcolab/index.html 2026-04-02T14:40:43.277Z https://topos.institute/blog/2024-01-18-composing-springs/index.html 2026-04-02T14:40:43.017Z https://topos.institute/blog/2022-10-07-ethics-technology-21st-century/index.html 2026-04-02T14:40:42.823Z https://topos.institute/blog/2023-09-21-powers-of-polynomial-monads/index.html 2026-04-02T14:40:42.923Z https://topos.institute/blog/2024-06-20-compact-double-categories-1/index.html 2026-04-02T14:40:43.171Z https://topos.institute/blog/2022-06-03-account-of-sense-making/index.html 2026-04-02T14:40:42.768Z https://topos.institute/blog/2025-05-27-e-graphs-1/index.html 2026-04-02T14:40:43.364Z https://topos.institute/blog/2022-09-01-running-a-nonprofit/index.html 2026-04-02T14:40:42.790Z https://topos.institute/people/diasmer-bloe/index.html 2026-04-02T14:40:44.684Z https://topos.institute/people/tim-hosgood/index.html 2026-04-02T14:40:44.717Z https://topos.institute/people/david-danks/index.html 2026-04-02T14:40:44.627Z https://topos.institute/people/tish-tanski/index.html 2026-04-02T14:40:44.718Z https://topos.institute/people/toby-smithe/index.html 2026-04-02T14:40:44.718Z https://topos.institute/people/david-spivak/index.html 2026-04-02T14:40:44.683Z https://topos.institute/people/molly-white/index.html 2026-04-02T14:40:44.714Z https://topos.institute/people/owen-lynch/index.html 2026-04-02T14:40:44.715Z https://topos.institute/people/xiaoyan-li/index.html 2026-04-02T14:40:44.720Z https://topos.institute/people/edward-kmett/index.html 2026-04-02T14:40:44.685Z https://topos.institute/people/joanna-ko/index.html 2026-04-02T14:40:44.694Z https://topos.institute/people/ilyas-khan/index.html 2026-04-02T14:40:44.693Z https://topos.institute/people/priyaa-srinivasan/index.html 2026-04-02T14:40:44.715Z https://topos.institute/people/brandon-shapiro/index.html 2026-04-02T14:40:44.625Z https://topos.institute/people/shaowei-lin/index.html 2026-04-02T14:40:44.716Z https://topos.institute/people/jose-siqueira/index.html 2026-04-02T14:40:44.700Z https://topos.institute/people/b-scot-rousse/index.html 2026-04-02T14:40:44.623Z https://topos.institute/people/mitchell-riley/index.html 2026-04-02T14:40:44.713Z https://topos.institute/people/david-jaz-myers/index.html 2026-04-02T14:40:44.627Z https://topos.institute/people/kaspar-bumke/index.html 2026-04-02T14:40:44.702Z https://topos.institute/work/community-building/index.html 2026-04-02T14:40:44.746Z https://topos.institute/work/index.html 2026-04-02T14:40:44.747Z https://topos.institute/work/output/talks/2022-10-27-introduction-to-double-categories-and-applications-to-relational-databases.html 2026-04-02T14:40:44.754Z https://topos.institute/work/output/talks/2022-07-22-diagrammatic-differential-equations.html 2026-04-02T14:40:44.754Z https://topos.institute/work/output/talks/2023-07-25-applied-category-theory-towards-a-science-of-multidisciplinarity.html 2026-04-02T14:40:44.755Z https://topos.institute/work/output/talks/2023-08-04-structured-and-decorated-cospans-from-the-viewpoint-of-double-category-theory.html 2026-04-02T14:40:44.755Z https://topos.institute/work/output/talks/2022-10-20-dynamic-organizational-structures.html 2026-04-02T14:40:44.754Z https://topos.institute/work/output/talks/2022-02-19-sense-making-accounting-for-intelligibility.html 2026-04-02T14:40:44.753Z https://topos.institute/work/output/talks/2021-12-02-categories-of-diagrams-in-data-migration-and-computational-physics.html 2026-04-02T14:40:44.753Z https://topos.institute/work/output/talks/2021-07-12-topos-institute.html 2026-04-02T14:40:44.753Z https://topos.institute/work/output/talks/2025-11-14-the-polynomial-abacus.html 2026-04-02T14:40:44.757Z https://topos.institute/work/output/talks/2023-04-15-dynamic-interfaces-and-arrangements-an-algebraic-framework-for-interacting-systems.html 2026-04-02T14:40:44.755Z https://topos.institute/work/output/talks/2021-05-23-toward-interactive-control.html 2026-04-02T14:40:44.753Z https://topos.institute/work/output/talks/2023-01-05-dynamic-operads-for-evolving-organizations.html 2026-04-02T14:40:44.754Z https://topos.institute/work/output/talks/2025-11-14-dynamic-interfaces-and-arrangements-an-algebraic-framework-for-interacting-systems.html 2026-04-02T14:40:44.756Z https://topos.institute/work/output/talks/2021-05-18-a-short-introduction-to-categorical-logic.html 2026-04-02T14:40:44.753Z https://topos.institute/work/output/talks/2022-03-16-familial-monads-for-higher-and-lower-category-theory.html 2026-04-02T14:40:44.753Z https://topos.institute/work/output/talks/2022-02-14-principles-and-pitfalls-of-designing-software-for-applied-category-theory.html 2026-04-02T14:40:44.753Z https://topos.institute/work/output/talks/2021-02-17-polynomials-and-the-dynamics-of-data.html 2026-04-02T14:40:44.753Z https://topos.institute/work/output/talks/2024-07-17-ai-assisted-coding-correct-by-construction-not-by-generation.html 2026-04-02T14:40:44.756Z https://topos.institute/work/output/talks/2021-05-31-dynamic-interaction-patterns.html 2026-04-02T14:40:44.753Z https://topos.institute/work/output/talks/2023-06-01-dialectica-categories-and-doctrines.html 2026-04-02T14:40:44.755Z https://topos.institute/work/output/talks/2024-02-28-toward-formalizing-scientific-theories-and-models-using-categorical-logic.html 2026-04-02T14:40:44.756Z https://topos.institute/work/output/talks/2023-09-22-war-time-proofs-futuristic-programs.html 2026-04-02T14:40:44.755Z https://topos.institute/work/output/talks/2025-11-14-all-my-relations-contributing-to-a-fabric-of-belonging.html 2026-04-02T14:40:44.756Z https://topos.institute/work/output/talks/2021-02-02-applied-category-theory-mathematics-for-interdisciplinary-systems-modeling.html 2026-04-02T14:40:44.753Z https://topos.institute/work/output/talks/2025-11-14-polynomial-functors.html 2026-04-02T14:40:44.757Z https://topos.institute/work/output/talks/2021-06-01-categorical-semantics-for-explicit-substitutions.html 2026-04-02T14:40:44.753Z https://topos.institute/work/output/talks/2021-01-21-the-language-of-networks.html 2026-04-02T14:40:44.753Z https://topos.institute/work/output/talks/2022-03-08-dialectica-petri-nets.html 2026-04-02T14:40:44.753Z https://topos.institute/work/output/talks/2021-08-27-dynamic-rewiring-as-learning.html 2026-04-02T14:40:44.753Z https://topos.institute/work/output/talks/2021-08-19-categorical-explicit-substitutions.html 2026-04-02T14:40:44.753Z https://topos.institute/work/output/talks/2025-02-17-dialectica-and-hilbert-doctrines.html 2026-04-02T14:40:44.756Z https://topos.institute/work/output/talks/2021-01-07-applied-category-theory-towards-a-science-of-interdisciplinarity.html 2026-04-02T14:40:44.753Z https://topos.institute/work/output/talks/2021-05-25-constructive-modalities.html 2026-04-02T14:40:44.753Z https://topos.institute/work/output/talks/2021-12-03-the-importance-of-being-earnest-open-datasets-in-portuguese.html 2026-04-02T14:40:44.753Z https://topos.institute/work/output/talks/2022-09-06-double-categories-for-databases-and-knowledge-representation.html 2026-04-02T14:40:44.754Z https://topos.institute/work/output/talks/2021-05-01-tutorial-on-category-theory-part-2-applied.html 2026-04-02T14:40:44.753Z https://topos.institute/work/output/talks/2022-01-24-natural-language-inference-for-humans-and-machines.html 2026-04-02T14:40:44.753Z https://topos.institute/work/output/talks/2022-05-23-sketches-in-compositional-dynamics-and-planning.html 2026-04-02T14:40:44.754Z https://topos.institute/work/output/talks/2023-03-22-dialectica-and-godel-doctrines.html 2026-04-02T14:40:44.755Z https://topos.institute/work/output/talks/2023-04-14-dialectica-categories-revisited.html 2026-04-02T14:40:44.755Z https://topos.institute/work/output/talks/2021-06-16-constructive-modalities.html 2026-04-02T14:40:44.753Z https://topos.institute/work/output/talks/2020-12-10-corelational-computing-in-catlab-the-operad-of-uwds-and-its-algebras.html 2026-04-02T14:40:44.752Z https://topos.institute/work/output/talks/2023-10-03-extracting-math-concepts-from-text.html 2026-04-02T14:40:44.755Z https://topos.institute/work/output/talks/2026-03-17-accounting-for-our-inventiveness.html 2026-04-02T14:40:44.757Z https://topos.institute/work/output/talks/2022-11-04-algebraicjulia-a-compositional-approach-to-technical-computing.html 2026-04-02T14:40:44.754Z https://topos.institute/work/output/talks/2025-11-14-plausible-fiction-accounting-for-actualizing-potential.html 2026-04-02T14:40:44.757Z https://topos.institute/work/output/talks/2023-12-14-dynamic-operads-compositional-adaptive-systems.html 2026-04-02T14:40:44.755Z https://topos.institute/work/output/talks/2022-01-25-categorical-interaction-in-the-polynomial-ecosystem.html 2026-04-02T14:40:44.753Z https://topos.institute/work/output/talks/2024-04-17-ai-tools-for-better-math-network-mathematics.html 2026-04-02T14:40:44.756Z https://topos.institute/work/output/talks/2024-08-03-dialectica-categories-for-all.html 2026-04-02T14:40:44.756Z https://topos.institute/work/output/talks/2021-01-27-a-semntica-nossa-de-cada-dia.html 2026-04-02T14:40:44.753Z https://topos.institute/work/output/talks/2021-05-04-cultivating-strategies.html 2026-04-02T14:40:44.753Z https://topos.institute/work/output/talks/2024-12-21-nlp-in-the-math-world.html 2026-04-02T14:40:44.756Z https://topos.institute/work/output/talks/2023-01-09-poly-is-an-unreasonably-effective-abstraction.html 2026-04-02T14:40:44.754Z https://topos.institute/work/output/talks/2024-04-17-voce-e-sua-pesquisa-problemas-em-logica-quais-como-e-por-que.html 2026-04-02T14:40:44.756Z https://topos.institute/work/output/talks/2021-12-17-negation-in-the-ecumenical-system.html 2026-04-02T14:40:44.753Z https://topos.institute/work/output/talks/2022-07-19-typed-and-stratified-models-with-slice-categories.html 2026-04-02T14:40:44.754Z https://topos.institute/work/output/books/kittenlab.html 2026-04-02T14:40:44.748Z https://topos.institute/work/output/books/categorical-systems-theory.html 2026-04-02T14:40:44.748Z https://topos.institute/work/output/index.html 2026-04-02T14:40:44.748Z https://topos.institute/work/output/software/catlab.html 2026-04-02T14:40:44.752Z https://topos.institute/work/output/software/mathannotator.html 2026-04-02T14:40:44.752Z https://topos.institute/work/output/software/combinatorialspaces.html 2026-04-02T14:40:44.752Z https://topos.institute/work/output/software/catcolab.html 2026-04-02T14:40:44.752Z https://topos.institute/work/output/software/algebraicpetri.html 2026-04-02T14:40:44.752Z https://topos.institute/work/output/papers/dialectica-logical-principles-101007978-3-030-93100-1_22.html 2026-04-02T14:40:44.749Z https://topos.institute/work/output/papers/dirichlet-polynomials-and-entropy-103390e23081085.html 2026-04-02T14:40:44.749Z https://topos.institute/work/output/papers/dialectica-petri-nets-210512801.html 2026-04-02T14:40:44.749Z https://topos.institute/work/output/papers/intuitionistic-modal-logic-and-applications.html 2026-04-02T14:40:44.749Z https://topos.institute/work/output/papers/an-algebraic-framework-for-rapid-epidemic-modeling-101098rsta20210309.html 2026-04-02T14:40:44.749Z https://topos.institute/work/output/papers/towards-a-double-operadic-theory-of-systems.html 2026-04-02T14:40:44.751Z https://topos.institute/work/output/papers/dynamic-operads-dynamic-categories-from-deep-learning-to-prediction-markets-220503906.html 2026-04-02T14:40:44.749Z https://topos.institute/work/output/papers/translations-and-prawitz’s-ecumenical-system.html 2026-04-02T14:40:44.751Z https://topos.institute/work/output/papers/transposing-cartesian-and-other-structure-in-double-categories.html 2026-04-02T14:40:44.751Z https://topos.institute/work/output/papers/dynamic-tracing-a-graphical-language-for-rewriting-protocols-23041495.html 2026-04-02T14:40:44.749Z https://topos.institute/work/output/papers/extracting-mathematical-concepts-with-large-language-models-230900642.html 2026-04-02T14:40:44.749Z https://topos.institute/work/output/papers/decapodes-a-diagrammatic-tool-for-representing-composing-and-computing-spatialized-partial-differential-equations.html 2026-04-02T14:40:44.749Z https://topos.institute/work/output/papers/the-gdel-fibration-104230lipicsmfcs202187.html 2026-04-02T14:40:44.751Z https://topos.institute/work/output/papers/cartesian-double-theories-a-double-categorical-framework-for-categorical-doctrines-231005384.html 2026-04-02T14:40:44.749Z https://topos.institute/work/output/papers/operadic-modeling-of-dynamical-systems-mathematics-and-computation-104204eptcs37214.html 2026-04-02T14:40:44.750Z https://topos.institute/work/output/papers/polynomial-functors-a-mathematical-theory-of-interaction-231200099.html 2026-04-02T14:40:44.750Z https://topos.institute/work/output/papers/compositional-modeling-with-stock-and-flow-diagrams-104204eptcs3805.html 2026-04-02T14:40:44.749Z https://topos.institute/work/output/papers/curing-the-sick-and-other-nli-maladies.html 2026-04-02T14:40:44.749Z https://topos.institute/work/output/papers/a-toolchain-for-ai-assisted-code-specification-synthesis-and-verification.html 2026-04-02T14:40:44.749Z https://topos.institute/work/output/papers/an-ecumenical-notion-of-entailment.html 2026-04-02T14:40:44.749Z https://topos.institute/work/output/papers/computational-category-theoretic-rewriting-101007978-3-031-09843-7_9.html 2026-04-02T14:40:44.749Z https://topos.institute/work/output/papers/polynomial-functors-and-shannon-entropy-220112878.html 2026-04-02T14:40:44.750Z https://topos.institute/work/output/papers/captulo-9-semntica-com-tcnicas-simblicas.html 2026-04-02T14:40:44.749Z https://topos.institute/work/output/papers/a-compositional-account-of-motifs-mechanisms-and-dynamics-in-biochemical-regulatory-networks-230101445.html 2026-04-02T14:40:44.749Z https://topos.institute/work/output/papers/organizing-physics-with-open-energy-driven-sys-tems.html 2026-04-02T14:40:44.750Z https://topos.institute/work/output/papers/jason-brown-kevin-carlson-sophie-libkind-david-jaz-myers.html 2026-04-02T14:40:44.750Z https://topos.institute/work/output/papers/dialectica-petri-nets.html 2026-04-02T14:40:44.749Z https://topos.institute/work/output/papers/functorial-aggregation-211110968.html 2026-04-02T14:40:44.749Z https://topos.institute/work/output/papers/duoidal-structures-for-compositional-dependence-221001962.html 2026-04-02T14:40:44.749Z https://topos.institute/work/output/papers/fast-left-kan-extensions-using-the-chase-101007s10817-022-09634-2.html 2026-04-02T14:40:44.749Z https://topos.institute/work/output/papers/structured-and-decorated-cospans-from-the-viewpoint-of-double-category-theory-230400447.html 2026-04-02T14:40:44.751Z https://topos.institute/work/output/papers/functorial-aggregation.html 2026-04-02T14:40:44.749Z https://topos.institute/work/output/papers/dialectica-principles-via-gdel-doctrines-101016jtcs2023113692.html 2026-04-02T14:40:44.749Z https://topos.institute/work/output/papers/the-compact-double-category-int-poly_-models-control-flow-and-data-transformations.html 2026-04-02T14:40:44.751Z https://topos.institute/work/output/papers/kolmogorov-veloso-problems-and-dialectica-categories-210707854.html 2026-04-02T14:40:44.750Z https://topos.institute/work/output/papers/dirichlet-polynomials-form-a-topos.html 2026-04-02T14:40:44.749Z https://topos.institute/work/output/papers/polynomial-universes-and-dependent-types.html 2026-04-02T14:40:44.750Z https://topos.institute/work/output/papers/a-diagrammatic-view-of-differential-equations-in-physics-103934mine2023036.html 2026-04-02T14:40:44.749Z https://topos.institute/work/output/papers/compositional-active-inference-i-bayesian-lenses-statistical-games-210904461.html 2026-04-02T14:40:44.749Z https://topos.institute/work/output/papers/all-concepts-are-cat-230502571.html 2026-04-02T14:40:44.749Z https://topos.institute/work/output/papers/a-compositional-framework-for-convex-model-predictive-control-23050382.html 2026-04-02T14:40:44.749Z https://topos.institute/work/output/papers/skolem-gödel-and-hilbert-fibrations.html 2026-04-02T14:40:44.750Z https://topos.institute/work/output/papers/dialectica-logical-principles-not-only-rules-101093logcomexac079.html 2026-04-02T14:40:44.749Z https://topos.institute/work/output/papers/annotation-difficulties-in-natural-language-inference-105753stil202117804.html 2026-04-02T14:40:44.749Z https://topos.institute/work/output/papers/deriving-theorems-in-implicational-linear-logic-declaratively-104204eptcs32518.html 2026-04-02T14:40:44.749Z https://topos.institute/work/output/papers/porous-convection-in-the-discrete-exterior-calculus-with-geometric-multigrid.html 2026-04-02T14:40:44.750Z https://topos.institute/work/output/papers/categorifying-computable-reducibilities-1.html 2026-04-02T14:40:44.749Z https://topos.institute/work/output/papers/preliminary-conversations-towards-ai-for-the-global-good-the-scai-questions.html 2026-04-02T14:40:44.750Z https://topos.institute/work/collaborative-modelling/highlights/generalised-statistical-theories.html 2026-04-02T14:40:44.742Z https://topos.institute/work/collaborative-modelling/highlights/collaborative-pandemic-modelling.html 2026-04-02T14:40:44.742Z https://topos.institute/work/collaborative-modelling/highlights/diagrammatic-differential-equations.html 2026-04-02T14:40:44.742Z https://topos.institute/work/collaborative-modelling/highlights/efficient-graph-rewriting.html 2026-04-02T14:40:44.742Z https://topos.institute/work/collective-intelligence/index.html 2026-04-02T14:40:44.745Z https://topos.institute/work/collective-intelligence/highlights/poly-at-work.html 2026-04-02T14:40:44.745Z https://topos.institute/work/collective-intelligence/highlights/compositional-collectives.html 2026-04-02T14:40:44.745Z https://topos.institute/work/collective-intelligence/highlights/dynamic-categories.html 2026-04-02T14:40:44.745Z https://topos.institute/work/collective-intelligence/highlights/mathgloss.html 2026-04-02T14:40:44.745Z https://topos.institute/work/collective-intelligence/highlights/parmesan.html 2026-04-02T14:40:44.745Z https://topos.institute/work/research-ethics/index.html 2026-04-02T14:40:44.757Z https://topos.institute/work/catcolab/index.html 2026-04-02T14:40:44.740Z https://topos.institute/work/collective-intelligence/highlights/categorical-systems-theory.html 2026-04-02T14:40:44.745Z https://topos.institute/work/collective-intelligence/highlights/data-sets.html 2026-04-02T14:40:44.745Z https://topos.institute/work/collective-intelligence/highlights/mathannotator.html 2026-04-02T14:40:44.745Z https://topos.institute/work/collective-intelligence/highlights/poly-book.html 2026-04-02T14:40:44.745Z https://topos.institute/work/collective-intelligence/highlights/working-language.html 2026-04-02T14:40:44.745Z https://topos.institute/work/collaborative-modelling/highlights/interactive-string-diagrams.html 2026-04-02T14:40:44.743Z https://topos.institute/work/collaborative-modelling/highlights/compositional-dynamical-systems.html 2026-04-02T14:40:44.742Z https://topos.institute/work/collaborative-modelling/highlights/operadic-systems-engineering.html 2026-04-02T14:40:44.743Z https://topos.institute/work/collaborative-modelling/highlights/compositional-active-inference.html 2026-04-02T14:40:44.742Z https://topos.institute/work/collaborative-modelling/index.html 2026-04-02T14:40:44.743Z https://topos.institute/work/output/papers/mathematical-entities-corpora-and-benchmarks.html 2026-04-02T14:40:44.750Z https://topos.institute/work/output/papers/temporal-landscapes-a-graphical-logic-of-behavior-190401081.html 2026-04-02T14:40:44.751Z https://topos.institute/work/output/papers/deeply-interactive-learning-systems-211101297.html 2026-04-02T14:40:44.749Z https://topos.institute/work/output/papers/a-polynomial-construction-of-nerves-for-higher-categories.html 2026-04-02T14:40:44.749Z https://topos.institute/work/output/papers/compositional-thermostatics-211110315.html 2026-04-02T14:40:44.749Z https://topos.institute/work/output/papers/applied-category-theory-in-chemistry-computing-and-social-networks-101090noti2422.html 2026-04-02T14:40:44.749Z https://topos.institute/work/output/papers/bunge-festschrift-a-special-volume-celebrating-marta-bunges-contributions-to-category-theory.html 2026-04-02T14:40:44.749Z https://topos.institute/work/output/papers/proceedings-of-the-4th-natural-logic-meets-machine-learning-workshop-naloma.html 2026-04-02T14:40:44.750Z https://topos.institute/work/output/papers/towards-a-brazilian-history-knowledge-graph.html 2026-04-02T14:40:44.751Z https://topos.institute/work/output/papers/categories-by-kan-extension.html 2026-04-02T14:40:44.749Z https://topos.institute/work/output/papers/learners-languages-210301189.html 2026-04-02T14:40:44.750Z https://topos.institute/work/output/papers/categorical-data-structures-for-technical-computing-1032408compositionality-4-5.html 2026-04-02T14:40:44.749Z https://topos.institute/work/output/papers/extracting-blockchain-concepts-from-text-230510408.html 2026-04-02T14:40:44.749Z https://topos.institute/work/output/papers/dialectica-comonads-104230lipicscalco20213.html 2026-04-02T14:40:44.749Z https://topos.institute/work/output/papers/towards-fracas-br.html 2026-04-02T14:40:44.751Z https://topos.institute/work/output/papers/graphical-regular-logic-the-complete-2-dimensional-picture.html 2026-04-02T14:40:44.749Z https://topos.institute/work/output/papers/a-categorical-representation-language-and-computational-system-for-knowledge-based-planning-230517208.html 2026-04-02T14:40:44.749Z https://topos.institute/work/output/papers/proceedings-of-the-second-workshop-on-digital-humanities-and-natural-language-processing.html 2026-04-02T14:40:44.750Z https://topos.institute/work/output/papers/products-in-double-categories-revisited.html 2026-04-02T14:40:44.750Z https://topos.institute/work/output/papers/intelligent-computer-mathematics-proceedings-of-cicm-2025.html 2026-04-02T14:40:44.749Z https://topos.institute/work/output/papers/the-diagrammatic-presentation-of-equations-in-categories.html 2026-04-02T14:40:44.751Z https://topos.institute/work/output/papers/representing-knowledge-and-querying-data-using-double-functorial-semantics.html 2026-04-02T14:40:44.750Z https://topos.institute/work/output/papers/some-notions-of-open-dynamical-system-on-polynomial-interfaces-210811137.html 2026-04-02T14:40:44.751Z https://topos.institute/work/output/papers/what-kind-of-linearly-distributive-category-do-polynomial-functors-form.html 2026-04-02T14:40:44.751Z https://topos.institute/work/output/papers/extracting-mathematical-concepts-from-text-22081383.html 2026-04-02T14:40:44.749Z https://topos.institute/work/output/papers/math-natural-language-inference-this-should-be-easy.html 2026-04-02T14:40:44.750Z https://topos.institute/work/output/papers/collectives-compositional-protocols-for-contributions-and-returns-211211518.html 2026-04-02T14:40:44.749Z https://topos.institute/work/output/papers/computational-category-theoretic-rewriting-101016jjlamp2023100888.html 2026-04-02T14:40:44.749Z https://topos.institute/work/output/papers/40th-conference-on-mathematical-foundations-of-programming-semantics.html 2026-04-02T14:40:44.748Z https://topos.institute/work/output/papers/classifying-strict-discrete-opfibrations-with-lax-morphisms.html 2026-04-02T14:40:44.749Z https://topos.institute/work/output/papers/translations-and-prawitz’s-ecumenical-system-1.html 2026-04-02T14:40:44.751Z https://topos.institute/work/output/papers/proceedings-of-the-5th-workshop-on-natural-logic-meets-machine-learning-naloma.html 2026-04-02T14:40:44.750Z https://topos.institute/work/output/papers/pattern-runs-on-matter-the-free-monad-monad-as-a-module-over-the-cofree-comonad-comonad.html 2026-04-02T14:40:44.750Z https://topos.institute/work/output/papers/interactions-that-reshape-the-interfaces-of-the-interacting-parties.html 2026-04-02T14:40:44.749Z https://topos.institute/work/output/papers/of-seringueiros-and-sambistas-occupation-mappings-in-historical-text.html 2026-04-02T14:40:44.750Z https://topos.institute/work/output/papers/mathgloss-building-mathematical-glossaries-from-text-231112649.html 2026-04-02T14:40:44.750Z https://topos.institute/work/output/papers/remembrances-of-marta-bunge.html 2026-04-02T14:40:44.750Z https://topos.institute/work/output/papers/kevin-carlson-evan-patterson.html 2026-04-02T14:40:44.750Z https://topos.institute/work/output/papers/enrichment-of-algebraic-higher-categories-220512235.html 2026-04-02T14:40:44.749Z https://topos.institute/work/output/papers/parmesan-mathematical-concept-extraction-for-education-230706699.html 2026-04-02T14:40:44.750Z https://topos.institute/work/output/papers/calco-2023-proceedings.html 2026-04-02T14:40:44.749Z https://topos.institute/work/output/papers/structures-on-categories-of-polynomials-230500167.html 2026-04-02T14:40:44.751Z https://topos.institute/work/output/papers/a-reference-for-categorical-structures-on-poly-220200534.html 2026-04-02T14:40:44.749Z https://topos.institute/work/output/papers/duas-negaes-ecumnicas.html 2026-04-02T14:40:44.749Z https://topos.institute/work/output/papers/gatlab-modeling-and-programming-with-generalized-algebraic-theories.html 2026-04-02T14:40:44.749Z https://topos.institute/work/output/papers/a-compositional-framework-for-first-order-optimization.html 2026-04-02T14:40:44.749Z https://topos.institute/work/output/papers/proceedings-of-2020-joint-workshop-linearity--trends-on-linear-logic-and-applications-104204eptcs353.html 2026-04-02T14:40:44.750Z https://topos.institute/work/output/software/parmesan.html 2026-04-02T14:40:44.752Z https://topos.institute/work/output/software/algebraicdynamics.html 2026-04-02T14:40:44.752Z https://topos.institute/work/output/software/mathgloss.html 2026-04-02T14:40:44.752Z https://topos.institute/work/output/software/semagrams.html 2026-04-02T14:40:44.752Z https://topos.institute/work/output/software/algebraicrewriting.html 2026-04-02T14:40:44.752Z https://topos.institute/work/output/software/algebraicabms.html 2026-04-02T14:40:44.751Z https://topos.institute/work/output/books/polynomial-functors.html 2026-04-02T14:40:44.748Z https://topos.institute/work/output/books/relational-thinking.html 2026-04-02T14:40:44.748Z https://topos.institute/work/output/talks/2021-12-02-constructive-modal-and-linear-logics.html 2026-04-02T14:40:44.753Z https://topos.institute/work/output/talks/2023-10-25-relative-information-and-the-dual-numbers.html 2026-04-02T14:40:44.755Z https://topos.institute/work/output/talks/2024-12-21-categorifying-computable-reducibilities.html 2026-04-02T14:40:44.756Z https://topos.institute/work/output/talks/2021-07-09-panel-on-the-many-paths-to-understanding-deep-learning.html 2026-04-02T14:40:44.753Z https://topos.institute/work/output/talks/2022-05-13-polynomial-functors-and-shannon-entropy.html 2026-04-02T14:40:44.754Z https://topos.institute/work/output/talks/2024-08-03-three-prototypes-parmesan-mathgloss-and-mathannotator.html 2026-04-02T14:40:44.756Z https://topos.institute/work/output/talks/2023-09-07-extracting-mathematical-concepts-with-large-language-models.html 2026-04-02T14:40:44.755Z https://topos.institute/work/output/talks/2022-03-21-problemas-de-kolmogorov-veloso.html 2026-04-02T14:40:44.753Z https://topos.institute/work/output/talks/2021-06-25-backprop-as-functor.html 2026-04-02T14:40:44.753Z https://topos.institute/work/output/talks/2024-08-03-ai-tools-for-better-math.html 2026-04-02T14:40:44.756Z https://topos.institute/work/output/talks/2022-04-07-networked-mathematics.html 2026-04-02T14:40:44.754Z https://topos.institute/work/output/talks/2022-08-12-panel-logic-meets-ml.html 2026-04-02T14:40:44.754Z https://topos.institute/work/output/talks/2021-09-02-regular-logic-via-string-diagrams-a-case-study.html 2026-04-02T14:40:44.753Z https://topos.institute/work/output/talks/2025-09-24-abstractions-for-real-people.html 2026-04-02T14:40:44.756Z https://topos.institute/work/output/talks/2023-01-06-dialectica-categorical-constructions.html 2026-04-02T14:40:44.754Z https://topos.institute/work/output/talks/2021-09-21-dynamic-networks-and-learning.html 2026-04-02T14:40:44.753Z https://topos.institute/work/output/talks/2025-11-14-pattern-runs-on-matter-the-free-monad-monad-as-a-module-over-the-cofree-comonad-comonad.html 2026-04-02T14:40:44.757Z https://topos.institute/work/output/talks/2022-04-02-doing-without-a-modality.html 2026-04-02T14:40:44.753Z https://topos.institute/work/output/talks/2022-05-22-dialectica-categories-revisited.html 2026-04-02T14:40:44.754Z https://topos.institute/work/output/talks/2024-08-03-network-mathematics-for-all.html 2026-04-02T14:40:44.756Z https://topos.institute/work/output/talks/2021-02-08-categorical-models-for-explicit-substitutions.html 2026-04-02T14:40:44.753Z https://topos.institute/work/output/talks/2022-04-27-pln-pra-tods.html 2026-04-02T14:40:44.754Z https://topos.institute/work/output/talks/2024-02-28-all-you-need-is-relative-information.html 2026-04-02T14:40:44.755Z https://topos.institute/work/output/talks/2021-06-08-topos-institute.html 2026-04-02T14:40:44.753Z https://topos.institute/work/output/talks/2024-07-17-formal-ai-assisted-code-specification-and-synthesis-concrete-steps-towards-safe-sociotechnical-systems.html 2026-04-02T14:40:44.756Z https://topos.institute/work/output/talks/2023-09-25-cartesian-double-theories.html 2026-04-02T14:40:44.755Z https://topos.institute/work/output/talks/2021-05-04-welcome-to-topos.html 2026-04-02T14:40:44.753Z https://topos.institute/work/output/talks/2022-06-23-tutorial-constructive-modal-logics.html 2026-04-02T14:40:44.754Z https://topos.institute/work/output/talks/2025-11-14-applied-category-theory-towards-a-hard-science-of-interdisciplinarity.html 2026-04-02T14:40:44.756Z https://topos.institute/work/output/talks/2023-10-13-war-time-proofs--futuristic-programs.html 2026-04-02T14:40:44.755Z https://topos.institute/work/output/talks/2021-09-23-ologs-what-why-and-how.html 2026-04-02T14:40:44.753Z https://topos.institute/work/output/talks/2021-11-13-polynomial-functors-and-database-aggregation.html 2026-04-02T14:40:44.753Z https://topos.institute/work/output/talks/2023-02-17-dialectica-comonoids.html 2026-04-02T14:40:44.755Z https://topos.institute/work/output/talks/2021-03-04-mathematical-stem-cells-for-an-information-ecology.html 2026-04-02T14:40:44.753Z https://topos.institute/work/output/talks/2025-11-14-how-should-one-govern-a-plausible-fiction-platform.html 2026-04-02T14:40:44.757Z https://topos.institute/work/output/talks/2021-04-21-linear-logic-and-constructive-mathematics.html 2026-04-02T14:40:44.753Z https://topos.institute/work/output/talks/2021-10-07-dynamic-networks-generalize-deep-learning.html 2026-04-02T14:40:44.753Z https://topos.institute/work/output/talks/2021-10-20-semantics-and-reasoning-for-nlp-ai-and-act.html 2026-04-02T14:40:44.753Z https://topos.institute/work/output/talks/2025-11-14-how-can-math-promote-life.html 2026-04-02T14:40:44.757Z https://topos.institute/work/output/talks/2022-08-19-dialectica-categorical-constructions.html 2026-04-02T14:40:44.754Z https://topos.institute/work/output/talks/2022-09-13-dynamic-interfaces-and-arrangements-an-algebraic-framework-for-interacting-systems.html 2026-04-02T14:40:44.754Z https://topos.institute/work/output/talks/2021-05-01-tutorial-on-category-theory-part-1-pure-and-classical.html 2026-04-02T14:40:44.753Z https://topos.institute/work/output/talks/2021-08-31-dialectica-comonads.html 2026-04-02T14:40:44.753Z https://topos.institute/work/output/talks/2023-03-27-dynamic-organizational-systems-from-deep-learning-to-prediction-markets.html 2026-04-02T14:40:44.755Z https://topos.institute/work/output/talks/2021-03-31-cospans-as-a-tool-for-composition.html 2026-04-02T14:40:44.753Z https://topos.institute/work/output/talks/2025-11-14-plausible-fiction-tending-actualizes-potential.html 2026-04-02T14:40:44.757Z https://topos.institute/work/output/talks/2023-05-24-constructive-modal-logics-a-tutorial.html 2026-04-02T14:40:44.755Z https://topos.institute/work/output/talks/2022-07-19-polynomial-functors-and-shannon-entropy.html 2026-04-02T14:40:44.754Z https://topos.institute/work/output/talks/2022-07-19-dynamic-operads-for-evolving-organizations.html 2026-04-02T14:40:44.754Z https://topos.institute/work/output/talks/2024-04-17-women-in-logic-online-network-mathematics.html 2026-04-02T14:40:44.756Z https://topos.institute/work/output/talks/2021-05-19-dialectica-and-kolmogorov-problems.html 2026-04-02T14:40:44.753Z https://topos.institute/work/output/talks/2023-01-05-category-theory-is-living-language.html 2026-04-02T14:40:44.754Z https://topos.institute/work/output/talks/2022-11-29-double-presheaf-categories-via-polynomial-functors.html 2026-04-02T14:40:44.754Z https://topos.institute/work/output/talks/2025-02-01-relative-information-and-the-dual-numbers.html 2026-04-02T14:40:44.756Z https://topos.institute/work/output/talks/2022-12-11-online-learning-for-spiking-neural-networks-with-relative-information-rate.html 2026-04-02T14:40:44.754Z https://topos.institute/work/output/talks/2023-06-23-lenses-and-dialectica-constructions.html 2026-04-02T14:40:44.755Z https://topos.institute/work/output/talks/2021-01-20-c-sets-for-data-analysis-graphs-relational-data-and-conjunctive-queries.html 2026-04-02T14:40:44.753Z https://topos.institute/work/output/talks/2021-07-08-compositional-modeling-with-algebraicjulia.html 2026-04-02T14:40:44.753Z https://topos.institute/work/summer/index.html 2026-04-02T14:40:44.763Z https://topos.institute/legal/index.html 2026-04-02T14:40:44.620Z https://topos.institute/people/angeline-aguinaldo/index.html 2026-04-02T14:40:44.622Z https://topos.institute/people/dana-scott/index.html 2026-04-02T14:40:44.626Z https://topos.institute/people/sophie-libkind/index.html 2026-04-02T14:40:44.717Z https://topos.institute/people/john-baez/index.html 2026-04-02T14:40:44.697Z https://topos.institute/people/grace-lyo/index.html 2026-04-02T14:40:44.692Z https://topos.institute/people/kristopher-brown/index.html 2026-04-02T14:40:44.705Z https://topos.institute/people/blake-borgeson/index.html 2026-04-02T14:40:44.625Z https://topos.institute/people/juliet-szatko/index.html 2026-04-02T14:40:44.702Z https://topos.institute/people/anton-de-piro/index.html 2026-04-02T14:40:44.622Z https://topos.institute/people/tslil-clingman/index.html 2026-04-02T14:40:44.718Z https://topos.institute/people/jason-brown/index.html 2026-04-02T14:40:44.694Z https://topos.institute/people/lisa-raphals/index.html 2026-04-02T14:40:44.707Z https://topos.institute/people/hamidah-oderinwale/index.html 2026-04-02T14:40:44.692Z https://topos.institute/people/wesley-phoa/index.html 2026-04-02T14:40:44.720Z https://topos.institute/people/evan-patterson/index.html 2026-04-02T14:40:44.690Z https://topos.institute/people/eugenia-cheng/index.html 2026-04-02T14:40:44.689Z https://topos.institute/people/valeria-de-paiva/index.html 2026-04-02T14:40:44.719Z https://topos.institute/people/kevin-carlson/index.html 2026-04-02T14:40:44.702Z https://topos.institute/people/beth-williams/index.html 2026-04-02T14:40:44.624Z https://topos.institute/people/brendan-fong/index.html 2026-04-02T14:40:44.626Z https://topos.institute/cookies/index.html 2026-04-02T14:40:43.431Z https://topos.institute/blog/2021-07-08-seminars-so-far/index.html 2026-04-02T14:40:42.591Z https://topos.institute/blog/2023-04-11-conegation-rewriting/index.html 2026-04-02T14:40:42.878Z https://topos.institute/blog/2024-11-13-structure-aware-version-control-via-observational-bridge-types/index.html 2026-04-02T14:40:43.293Z https://topos.institute/blog/2022-09-12-dynamic-monoidal-games/index.html 2026-04-02T14:40:42.801Z https://topos.institute/blog/2022-03-29-poly-fun-summary/index.html 2026-04-02T14:40:42.744Z https://topos.institute/blog/2025-07-18-catcolab-for-model-building/index.html 2026-04-02T14:40:43.377Z https://topos.institute/blog/2021-12-30-selection-categories/index.html 2026-04-02T14:40:42.716Z https://topos.institute/blog/2022-05-30-decorated-cospans-via-grothendieck/index.html 2026-04-02T14:40:42.768Z https://topos.institute/blog/2025-11-24-summer-ra-announcement-2026/index.html 2026-04-02T14:40:43.407Z https://topos.institute/blog/2022-08-04-poly-pale-reflection-proly/index.html 2026-04-02T14:40:42.785Z https://topos.institute/blog/2022-01-19-poly-makes-me-happy/index.html 2026-04-02T14:40:42.718Z https://topos.institute/blog/2022-10-24-project-cards/index.html 2026-04-02T14:40:42.831Z https://topos.institute/blog/2021-07-19-summer-research-associates/index.html 2026-04-02T14:40:42.603Z https://topos.institute/blog/2024-09-06-open-source-curriculum-workshop/index.html 2026-04-02T14:40:43.275Z https://topos.institute/blog/2023-03-23-distributions-and-lotteries/index.html 2026-04-02T14:40:42.868Z https://topos.institute/blog/2023-07-07-agent-based-modeling-graph-rewriting/index.html 2026-04-02T14:40:42.907Z https://topos.institute/blog/2023-10-13-cartesian-double-theories/index.html 2026-04-02T14:40:42.924Z https://topos.institute/blog/2024-07-29-summer-research-associates-2024/index.html 2026-04-02T14:40:43.237Z https://topos.institute/blog/2023-04-24-spooling-syntax-from-behavior/index.html 2026-04-02T14:40:42.878Z https://topos.institute/blog/2023-03-23-algebraic-geometry-working-programmer/index.html 2026-04-02T14:40:42.868Z https://topos.institute/blog/2024-07-04-fantastic-book-four-months-ii/index.html 2026-04-02T14:40:43.211Z https://topos.institute/blog/2023-03-29-seventy-years-fixed-points/index.html 2026-04-02T14:40:42.875Z https://topos.institute/blog/2023-10-20-retrotransformations/index.html 2026-04-02T14:40:42.931Z https://topos.institute/blog/2022-02-21-rse-position/index.html 2026-04-02T14:40:42.720Z https://topos.institute/blog/2024-11-12-summer-ra-announcement-2025/index.html 2026-04-02T14:40:43.292Z https://topos.institute/blog/2022-04-08-diagrammatic-differential-equations-1/index.html 2026-04-02T14:40:42.747Z https://topos.institute/blog/2024-03-13-a-retrospective-on-the-oxford–topos-meeting/index.html 2026-04-02T14:40:43.135Z https://topos.institute/blog/2021-07-11-introducing-mathfoldr/index.html 2026-04-02T14:40:42.596Z https://topos.institute/blog/2024-01-15-why-double-categories-part-1/index.html 2026-04-02T14:40:42.959Z https://topos.institute/blog/2023-01-31-promonoidal-categories-wiring-diagrams/index.html 2026-04-02T14:40:42.851Z https://topos.institute/blog/2025-05-08-topox-seminar/index.html 2026-04-02T14:40:43.358Z https://topos.institute/blog/2026-03-23-catcolab-0-5-sandpiper/index.html 2026-04-02T14:40:43.423Z https://topos.institute/blog/2021-12-02-annual-summary/index.html 2026-04-02T14:40:42.708Z https://topos.institute/blog/2023-03-09-ct-outreach-panel/index.html 2026-04-02T14:40:42.863Z https://topos.institute/blog/2021-11-24-left-adjoints-lenses-and-localisation/index.html 2026-04-02T14:40:42.700Z https://topos.institute/blog/2024-04-25-ontological-commitments-for-boundaries/index.html 2026-04-02T14:40:43.151Z https://topos.institute/blog/2025-05-29-software-team/index.html 2026-04-02T14:40:43.364Z https://topos.institute/blog/2022-11-19-ftx-statement/index.html 2026-04-02T14:40:42.839Z https://topos.institute/blog/2023-06-20-acsets-with-variables/index.html 2026-04-02T14:40:42.893Z https://topos.institute/blog/2024-01-09-building-dynamic-structures/index.html 2026-04-02T14:40:42.958Z https://topos.institute/blog/2022-08-10-computation-category-theory/index.html 2026-04-02T14:40:42.786Z https://topos.institute/blog/2022-03-22-brits-in-berkeley/index.html 2026-04-02T14:40:42.737Z https://topos.institute/blog/2024-01-29-algebras-are-promonads/index.html 2026-04-02T14:40:43.127Z https://topos.institute/blog/2023-10-09-summer-research-assistants-2023/index.html 2026-04-02T14:40:42.923Z https://topos.institute/blog/2023-06-15-compositional-world-modeling/index.html 2026-04-02T14:40:42.890Z https://topos.institute/blog/2023-01-10-recursive-types/index.html 2026-04-02T14:40:42.848Z https://topos.institute/blog/2025-05-07-three-functions-of-a-name/index.html 2026-04-02T14:40:43.358Z https://topos.institute/blog/2022-10-04-what-is-category-theory-anyway/index.html 2026-04-02T14:40:42.816Z https://topos.institute/blog/2023-10-26-lie-groups-induce-hopf-monoids-in-poly/index.html 2026-04-02T14:40:42.932Z https://topos.institute/blog/2022-03-15-strategic-plan/index.html 2026-04-02T14:40:42.725Z https://topos.institute/blog/2025-02-27-codified-context/index.html 2026-04-02T14:40:43.306Z https://topos.institute/blog/2022-11-04-youtube-and-gender/index.html 2026-04-02T14:40:42.836Z https://topos.institute/blog/2022-09-29-nate-jesses-adjoint-5-tuple/index.html 2026-04-02T14:40:42.816Z https://topos.institute/blog/2025-10-07-director-of-uk-operations/index.html 2026-04-02T14:40:43.394Z https://topos.institute/blog/2022-04-15-diagrammatic-differential-equations-2/index.html 2026-04-02T14:40:42.754Z https://topos.institute/blog/2024-08-19-wiring-diagrams-mealy-machines/index.html 2026-04-02T14:40:43.265Z https://topos.institute/blog/2023-02-22-what-made-fra-structure-successful/index.html 2026-04-02T14:40:42.853Z https://topos.institute/blog/2022-07-12-dial-and-poly-1/index.html 2026-04-02T14:40:42.774Z https://topos.institute/blog/2024-10-31-declarative-models-and-collaborative-modeling/index.html 2026-04-02T14:40:43.288Z https://topos.institute/blog/2022-12-12-ra-rse-announcements-2023/index.html 2026-04-02T14:40:42.841Z https://topos.institute/blog/2022-11-08-matter-and-pattern/index.html 2026-04-02T14:40:42.838Z https://topos.institute/blog/2024-11-08-neural-wiring-diagrams/index.html 2026-04-02T14:40:43.288Z https://topos.institute/blog/2024-06-03-applied-category-theory-for-engineering-design/index.html 2026-04-02T14:40:43.167Z https://topos.institute/blog/2024-08-27-plausible-fiction/index.html 2026-04-02T14:40:43.267Z https://topos.institute/blog/2021-09-09-compositional-thermostatics/index.html 2026-04-02T14:40:42.639Z https://topos.institute/blog/2022-08-19-bicomodules-type-theory/index.html 2026-04-02T14:40:42.786Z https://topos.institute/blog/2025-05-01-graded-categories/index.html 2026-04-02T14:40:43.356Z https://topos.institute/blog/2022-10-09-dana-90th/index.html 2026-04-02T14:40:42.829Z https://topos.institute/blog/2021-09-02-enriched-categories-as-dynamical-systems/index.html 2026-04-02T14:40:42.615Z https://topos.institute/blog/2025-04-04-scalable-distillations-for-research/index.html 2026-04-02T14:40:43.307Z https://topos.institute/blog/2024-02-02-scai-ai-for-global-good/index.html 2026-04-02T14:40:43.129Z https://topos.institute/blog/2024-01-03-algebraic-effect-handlers/index.html 2026-04-02T14:40:42.958Z https://topos.institute/blog/2023-01-05-preparing-for-networked-mathematics/index.html 2026-04-02T14:40:42.847Z https://topos.institute/blog/2025-03-11-category-theory-inspired-bbn/index.html 2026-04-02T14:40:43.306Z https://topos.institute/blog/2022-12-06-dialectia-in-computing/index.html 2026-04-02T14:40:42.840Z https://topos.institute/blog/2023-03-15-structured-cospans-cocartesian-equipment/index.html 2026-04-02T14:40:42.867Z https://topos.institute/blog/2021-06-28-welcome-to-topos-blog/index.html 2026-04-02T14:40:42.583Z https://topos.institute/blog/2022-08-24-strategies-for-research-ethics/index.html 2026-04-02T14:40:42.787Z https://topos.institute/blog/2025-04-30-wiring-euclid-for-manufacturing/index.html 2026-04-02T14:40:43.337Z https://topos.institute/blog/2026-03-18-quanta-can-the-most-abstract-math/index.html 2026-04-02T14:40:43.421Z https://topos.institute/community/jobs/ca-2026-postdoc-02/index.html 2026-04-02T14:40:43.431Z https://topos.institute/events/em-cats/index.html 2026-04-02T14:40:43.748Z https://topos.institute/events/intercats/index.html 2026-04-02T14:40:43.853Z https://topos.institute/events/poly-course/index.html 2026-04-02T14:40:44.535Z https://topos.institute/events/index.html 2026-04-02T14:40:43.853Z https://topos.institute/events/berkeley-seminar/talks/2025-07-14-the-double-category-int-poly_-models-control-flow-and-data-flow.html 2026-04-02T14:40:43.660Z https://topos.institute/events/berkeley-seminar/talks/2024-03-26-computational-mechanics-of-transformers.html 2026-04-02T14:40:43.658Z https://topos.institute/events/berkeley-seminar/talks/2025-05-13-a-double-operadic-approach-to-assume-guarantee-reasoning.html 2026-04-02T14:40:43.659Z https://topos.institute/events/berkeley-seminar/talks/2024-03-21-category-theory-over-a-minimalist-or-no-foundation.html 2026-04-02T14:40:43.658Z https://topos.institute/events/berkeley-seminar/talks/2024-04-22-lightning-talks.html 2026-04-02T14:40:43.658Z https://topos.institute/events/berkeley-seminar/talks/2025-06-09-category-theory-as-the-formal-study-of-the-processes-of-production-of-abstraction.html 2026-04-02T14:40:43.660Z https://topos.institute/events/berkeley-seminar/talks/2024-10-14-collaborative-modeling-with-domain-specific-categorical-logics-the-early-design-of-catcolab.html 2026-04-02T14:40:43.658Z https://topos.institute/events/berkeley-seminar/talks/2025-11-06-the-construction-of-possible-worlds.html 2026-04-02T14:40:43.660Z https://topos.institute/events/berkeley-seminar/talks/2025-11-04-lightning-talks.html 2026-04-02T14:40:43.660Z https://topos.institute/events/berkeley-seminar/talks/2025-03-20-science-under-authoritarian-rule.html 2026-04-02T14:40:43.659Z https://topos.institute/events/berkeley-seminar/talks/2024-03-26-tbd.html 2026-04-02T14:40:43.658Z https://topos.institute/events/berkeley-seminar/talks/2024-10-14-act2infer-two-takeaways.html 2026-04-02T14:40:43.658Z https://topos.institute/events/berkeley-seminar/talks/2024-08-12-lightning-talks.html 2026-04-02T14:40:43.658Z https://topos.institute/events/berkeley-seminar/talks/2024-09-20-safety-by-shared-synthesis.html 2026-04-02T14:40:43.658Z https://topos.institute/events/berkeley-seminar/talks/2024-08-26-roads-not-yet-taken-some-times-when-more-mathematical-structure-might-have-helped-in-the-progress-of-economics.html 2026-04-02T14:40:43.658Z https://topos.institute/events/berkeley-seminar/talks/2024-04-22-conditioning-and-bayesian-learning-in-poly.html 2026-04-02T14:40:43.658Z https://topos.institute/events/berkeley-seminar/talks/2025-10-18-lightning-talks.html 2026-04-02T14:40:43.660Z https://topos.institute/events/berkeley-seminar/talks/2024-07-18-all-concepts-are-essentially-algebraic.html 2026-04-02T14:40:43.658Z https://topos.institute/events/berkeley-seminar/talks/2025-07-29-a-characterization-of-pro-representable-virtual-double-categories.html 2026-04-02T14:40:43.660Z https://topos.institute/events/berkeley-seminar/talks/2025-01-28-ask-me-anything-about-math-or-anything.html 2026-04-02T14:40:43.659Z https://topos.institute/events/berkeley-seminar/talks/2025-06-09-how-to-prove-equations-using-diagrams-a-category-theorist-looks-at-e-graphs.html 2026-04-02T14:40:43.660Z https://topos.institute/events/berkeley-seminar/talks/2025-07-07-compositional-optimization.html 2026-04-02T14:40:43.660Z https://topos.institute/events/berkeley-seminar/talks/2025-02-24-proof-school-research-talks.html 2026-04-02T14:40:43.659Z https://topos.institute/events/berkeley-seminar/talks/2025-06-02-how-rust-won-the-quest-for-performant-reliable-software.html 2026-04-02T14:40:43.659Z https://topos.institute/events/berkeley-seminar/talks/2024-08-16-categorical-approaches-to-inferentialist-semantics.html 2026-04-02T14:40:43.658Z https://topos.institute/events/berkeley-seminar/talks/2025-09-10-tba.html 2026-04-02T14:40:43.660Z https://topos.institute/events/berkeley-seminar/talks/2024-09-20-lightning-talks.html 2026-04-02T14:40:43.658Z https://topos.institute/events/berkeley-seminar/talks/2025-11-19-abstract-interpretation-for-semi-dependent-type-theories.html 2026-04-02T14:40:43.661Z https://topos.institute/events/berkeley-seminar/talks/2025-03-17-does-it-matter-whether-there-are-infinite-sets.html 2026-04-02T14:40:43.659Z https://topos.institute/events/berkeley-seminar/talks/2025-10-24-what-works-and-doesn't-selling-formal-methods-in-industry.html 2026-04-02T14:40:43.660Z https://topos.institute/events/berkeley-seminar/talks/2024-12-09-lightning-talks.html 2026-04-02T14:40:43.659Z https://topos.institute/events/berkeley-seminar/talks/2025-06-16-programmatic-semantics.html 2026-04-02T14:40:43.660Z https://topos.institute/events/berkeley-seminar/talks/2025-07-01-arboreal-coreflections.html 2026-04-02T14:40:43.660Z https://topos.institute/events/berkeley-seminar/talks/2025-07-01-synthetic-mathematics-logical-frameworks-and-categorical-algebra.html 2026-04-02T14:40:43.660Z https://topos.institute/events/berkeley-seminar/talks/2024-07-01-lightning-talks.html 2026-04-02T14:40:43.658Z https://topos.institute/events/berkeley-seminar/talks/2025-10-23-lightning-talks.html 2026-04-02T14:40:43.660Z https://topos.institute/events/berkeley-seminar/talks/2025-09-26-tbd.html 2026-04-02T14:40:43.660Z https://topos.institute/events/berkeley-seminar/talks/2025-08-06-h-t-odums-systems-ecology-in-catcolab-first-steps.html 2026-04-02T14:40:43.660Z https://topos.institute/events/berkeley-seminar/talks/2026-03-24-a-type-system-for-finitely-supported-functions-via-pointed-sets.html 2026-04-02T14:40:43.661Z https://topos.institute/events/berkeley-seminar/talks/2024-03-07-tbd.html 2026-04-02T14:40:43.658Z https://topos.institute/events/fra-summit/index.html 2026-04-02T14:40:43.748Z https://topos.institute/events/poly-at-work/index.html 2026-04-02T14:40:44.534Z https://topos.institute/events/oxford-seminar/slides/hosgood-2026-03-12-formal/index.html 2026-04-02T14:40:44.085Z https://topos.institute/events/oxford-seminar/talks/perrone-2025-10-16-descent.html 2026-04-02T14:40:44.497Z https://topos.institute/events/oxford-seminar/talks/2025-02-27.html 2026-04-02T14:40:44.496Z https://topos.institute/events/oxford-seminar/talks/hosgood-2026-03-12-formal.html 2026-04-02T14:40:44.497Z https://topos.institute/events/oxford-seminar/talks/2025-05-29.html 2026-04-02T14:40:44.496Z https://topos.institute/events/oxford-seminar/talks/le-2025-09-18-ltl.html 2026-04-02T14:40:44.497Z https://topos.institute/events/oxford-seminar/talks/corfield-2026-03-05-emergence.html 2026-04-02T14:40:44.497Z https://topos.institute/events/oxford-seminar/talks/brown-2025-10-02-wreaths.html 2026-04-02T14:40:44.496Z https://topos.institute/events/oxford-seminar/talks/2025-03-20.html 2026-04-02T14:40:44.496Z https://topos.institute/events/oxford-seminar/talks/2025-03-27.html 2026-04-02T14:40:44.496Z https://topos.institute/events/oxford-seminar/talks/2025-03-13.html 2026-04-02T14:40:44.496Z https://topos.institute/events/oxford-seminar/talks/lynch-2026-04-02-geolog.html 2026-04-02T14:40:44.497Z https://topos.institute/events/oxford-seminar/talks/roman-2025-10-23-normalization.html 2026-04-02T14:40:44.497Z https://topos.institute/events/oxford-seminar/talks/2025-02-14.html 2026-04-02T14:40:44.496Z https://topos.institute/events/oxford-seminar/talks/myers-2025-09-11-petri.html 2026-04-02T14:40:44.497Z https://topos.institute/events/oxford-seminar/talks/capucci-2025-11-26-quantitative.html 2026-04-02T14:40:44.496Z https://topos.institute/events/oxford-seminar/talks/2025-06-26.html 2026-04-02T14:40:44.496Z https://topos.institute/events/oxford-seminar/talks/2025-06-12.html 2026-04-02T14:40:44.496Z https://topos.institute/events/oxford-seminar/talks/2025-03-06.html 2026-04-02T14:40:44.496Z https://topos.institute/events/oxford-seminar/talks/2025-08-07.html 2026-04-02T14:40:44.496Z https://topos.institute/team/index.html 2026-04-02T14:40:44.721Z