![[Berkeley Seminar] David Espinosa: Monad translations compose @ToposInstitute](https://i.ytimg.com/vi/Snvwc4JVIYc/maxresdefault.jpg)
Uploaded October 2024 | Updated September 2026, 2 weeks ago
Title: Monad Translations Compose
Abstract: Many people have observed that monad translations compose. We give this idea a try using the ML module system and see what mileage we can get out of it.
https://topos.site/events/berkeley-seminar/
Title: Monad Translations Compose
Abstract: Many people have observed that monad translations compose. We give this idea a try using the ML module system and see what mileage we can get out of it.
https://topos.site/events/berkeley-seminar/
![[Berkeley Seminar] David Espinosa: Monad translations compose](https://i.ytimg.com/vi/Snvwc4JVIYc/mqdefault.jpg "[Berkeley Seminar] David Espinosa: Monad translations compose
Title: Monad Translations Compose
Abstract: Many people have observed that monad translations compose. We give this idea a try using the ML module system and see what mileage we can get out of it.
https://topos.site/events/berkeley-seminar/")
![[2-torial] Categorical algebraic geometry, Part 1](https://i.ytimg.com/vi/SwnZ_i0t86g/mqdefault.jpg "[2-torial] Categorical algebraic geometry, Part 1
2-torial, July 28 2026
Speaker: Tim Hosgood
There are many approaches to algebraic geometry, and many different ways to arrive at the subject. Here were going to take an incredibly specific and biased approach: what if you already love 2-categories and want to be able to say the phrase fpqc sheaf as quickly as possible, but not /too/ quickly? In this series of exercises we will build towards an understanding of *relative algebraic geometry*, which allows us to work in arbitrary (nice) symmetric monoidal categories.
*Prerequisites.* Quotients of rings, Yoneda embedding, 2-limits, symmetric monoidal categories (cosmoi).
*Key concepts.* Functor of points, affine scheme, quasi-coherent sheaf, Grothendieck pseudofunctor, pre-topology, faithfully flat topology, algebra over a commutative monoid, sheaf, affine scheme (again).
*Further reading.*
- Bertrand Toën, Michel Vaquié, Under Spec Z. [arXiv:math/0509684]
- Bertrand Toen, Gabriele Vezzosi, Homotopical Algebraic Geometry II: geometric stacks and applications. [arXiv:math/0404373]
[arXiv:math/0509684] https://arxiv.org/abs/math/0509684
[arXiv:math/0404373] https://arxiv.org/abs/math/0404373")
![Rory Lucyshyn-Wright: V-graded categories [...] for enrichment and actions of monoidal categories](https://i.ytimg.com/vi/UR9LUUfaJiM/mqdefault.jpg "Rory Lucyshyn-Wright: V-graded categories [...] for enrichment and actions of monoidal categories
Topos Institute Colloquium, 24th of April 2025.
———
Enriched categories have hom-objects in a monoidal category V, but their theory is usually formulated under the assumption that V is biclosed and so is enriched in itself. Categories equipped with an action of V (or V-actegories) provide a related setting with the advantage that an arbitrary monoidal category V can always be regarded as a V-actegory. Richard Wood delineated a setting subsuming both V-enriched categories and V-actegories by considering V-graded categories, which are categories enriched in a monoidal category of presheaves on V but admit also a direct and elementary definition in terms of a notion of morphism with an additional parameter in V. Graded categories have also been called procategories (by Kelly-Labella-Schmitt-Street) and locally V-graded categories (by Levy).")
![[2-torial] José tells Jason about coalgebraic-modal extensions of logic](https://i.ytimg.com/vi/UVj3BDy0iaU/mqdefault.jpg "[2-torial] José tells Jason about coalgebraic-modal extensions of logic
[2-torial] José tells Jason about coalgebraic-modal extensions of logic")
![[Oxford Seminar] Paolo Perrone | Descent in Probability Theory: the first steps downward](https://i.ytimg.com/vi/VG2RTE1R0BY/mqdefault.jpg "[Oxford Seminar] Paolo Perrone | Descent in Probability Theory: the first steps downward
Oxford Seminar, October 16 2025
Speaker: Paolo Perrone
Full Title: Descent in Probability Theory: the first steps downward
Abstract: Coarse-graining, forming quotients by dropping distinctions, is a unifying idea across mathematics: identifying the endpoints of an interval yields a circle; groups are conveniently presented as quotients of free ones; sheaves and stacks emerge from gluing local data. This idea is also central to probability, where “observing” a random variable similarly quotients a sample space via the sigma-algebra it generates (and is crucial for modeling randomness as ignorance). Yet this quotienting procedure, in probability, has so far lacked a systematic categorical treatment.
We develop a descent theory for probability that makes this intuition precise, while respecting probabilistic practice as much as possible. On the category theory side, the theory parallels classical descent, but diverges in a few ways due to the presence of stochastic dependence (correlations). On the probability side, it unifies the three core concepts of measurability, disintegration and stochastic dominance, within a single framework, providing conceptual understanding of the relationships between random variables, statistical experiments, and inference procedures.")
![[Oxford Seminar] B. Scot Rousse | Who cares about values?](https://i.ytimg.com/vi/VJZUZ37gj2Y/mqdefault.jpg "[Oxford Seminar] B. Scot Rousse | Who cares about values?
Oxford Seminar, 19th of June 2025
Today it is common to hear about “human values” and the importance of designing technologies that “align” with our values. But where does this notion of “human values” come from? In this talk I trace the history of the concept of human values. I connect this notion with an evolution in our understanding of human autonomy, and argue that both are inadequate abstractions for the challenges of being human in our technological age. Finally, I introduce the notion of care as an alternative to “values,” showing how it furnishes a subtler map for imagining and shaping our relationship to technology today.")
![[Berkeley Seminar] Brendan Fong | Processes of Production of Abstraction](https://i.ytimg.com/vi/WzAPGmW5YHQ/mqdefault.jpg "[Berkeley Seminar] Brendan Fong | Processes of Production of Abstraction
Title: Category Theory as the Formal Study of the Processes of Production of Abstraction
Abstract: For the last few months I’ve been reflecting on the phrase “Category theory is the formal study of the processes of production of abstraction”. I’ll say some words about what this phrase means to me. I ask your help inquiring about the epistemology of these meditations.
Date: 2025-06-10
https://topos.institute/events/berkeley-seminar/")
