![[Oxford Seminar] Jana Nickel | Coend calculus in a compact closed virtual equipment @ToposInstitute](https://i.ytimg.com/vi/uwey3deuN7E/maxresdefault.jpg)
Uploaded July 2026 | Updated September 2026, 2 weeks ago
Oxford Seminar, June 29 2026
You can view the listing for this talk online at https://topos.institute/events/oxford-seminar/talks/2026-06-29_nickel_coend.html
Speaker: Jana Nickel
Full Title: Coend calculus in a compact closed virtual equipment
Abstract: The talk is based on a project joint with Nathanael Arkor. We lay the foundations for a coend calculus in the framework of virtual double categories. To this end, we construct the concept of a /compact closed virtual equipment/ \(\mathbb{X}\) and introduce the notion of a coend for each tight arrow \(f\colon\thinspace X\otimes A^\circ\otimes A\otimes Y\to C\) in \(\mathbb{X}\). The goal is to generalize the coend calculus for locally internal categories due to Betti and Walters (R. Betti and R.F.C. Walters, 1989) to compact closed virtual equipments and recover some prominent results, such as the Fubini theorem for coends. To cite an example, we will consider the virtual equipment \(\mathbb{S}\textsf{pan}(\mathcal{E})\) of spans in an ordinary category \(\mathcal{E}\) with pullbacks and describe a compact closure on it.
R. Betti and R.F.C. Walters (1989). /The calculus of ends over a base topos/, Journal of Pure and Applied Algebra.
Oxford Seminar, June 29 2026
You can view the listing for this talk online at https://topos.institute/events/oxford-seminar/talks/2026-06-29_nickel_coend.html
Speaker: Jana Nickel
Full Title: Coend calculus in a compact closed virtual equipment
Abstract: The talk is based on a project joint with Nathanael Arkor. We lay the foundations for a coend calculus in the framework of virtual double categories. To this end, we construct the concept of a /compact closed virtual equipment/ \(\mathbb{X}\) and introduce the notion of a coend for each tight arrow \(f\colon\thinspace X\otimes A^\circ\otimes A\otimes Y\to C\) in \(\mathbb{X}\). The goal is to generalize the coend calculus for locally internal categories due to Betti and Walters (R. Betti and R.F.C. Walters, 1989) to compact closed virtual equipments and recover some prominent results, such as the Fubini theorem for coends. To cite an example, we will consider the virtual equipment \(\mathbb{S}\textsf{pan}(\mathcal{E})\) of spans in an ordinary category \(\mathcal{E}\) with pullbacks and describe a compact closure on it.
R. Betti and R.F.C. Walters (1989). /The calculus of ends over a base topos/, Journal of Pure and Applied Algebra.
![[Oxford Seminar] Jana Nickel | Coend calculus in a compact closed virtual equipment](https://i.ytimg.com/vi/uwey3deuN7E/mqdefault.jpg "[Oxford Seminar] Jana Nickel | Coend calculus in a compact closed virtual equipment
Oxford Seminar, June 29 2026
You can view the listing for this talk online at https://topos.institute/events/oxford-seminar/talks/2026-06-29_nickel_coend.html
Speaker: Jana Nickel
Full Title: Coend calculus in a compact closed virtual equipment
Abstract: The talk is based on a project joint with Nathanael Arkor. We lay the foundations for a coend calculus in the framework of virtual double categories. To this end, we construct the concept of a /compact closed virtual equipment/ (mathbb{X}) and introduce the notion of a coend for each tight arrow (fcolonthinspace Xotimes A^circotimes Aotimes Yto C) in (mathbb{X}). The goal is to generalize the coend calculus for locally internal categories due to Betti and Walters (R. Betti and R.F.C. Walters, 1989) to compact closed virtual equipments and recover some prominent results, such as the Fubini theorem for coends. To cite an example, we will consider the virtual equipment (mathbb{S}textsf{pan}(mathcal{E})) of spans in an ordinary category (mathcal{E}) with pullbacks and describe a compact closure on it.
R. Betti and R.F.C. Walters (1989). /The calculus of ends over a base topos/, Journal of Pure and Applied Algebra.")
![[Oxford Seminar] Amitai Nachmany | Hyperdoctrines in DOTS](https://i.ytimg.com/vi/ve6Xotcuxbs/mqdefault.jpg "[Oxford Seminar] Amitai Nachmany | Hyperdoctrines in DOTS
Oxford Seminar, August 27 2026
You can view the listing for this talk online at https://topos.institute/events/oxford-seminar/talks/2026-08-27_nachmany_hyperdoctrine.html
Speaker: Amitai Nachmany
Full Title: Hyperdoctrines in DOTS
Abstract: In this talk we motivate and define (regular) hyperdoctrines and sketch how to view them as double-operadic systems theories. We relate this to the notion of /systems with certificates/, which allows us to formally verify a systems theorys properties in a way that is reminiscent of the internal language of a category. Finally, we sketch a program to generalise this procedure to other logics (and functorialise it), and express some of the benefits of this program for strengthening the toolbox of categorical systems theory.
*Assumed knowledge:* General category theory, especially monoidal categories, double categories and adjunctions. Familiarity with functorial semantics and/or DOTS would help but isnt necessary.")
![[Berkeley Seminar] Owen Lynch | Stateful Lenses](https://i.ytimg.com/vi/veQbMfPSi9M/mqdefault.jpg "[Berkeley Seminar] Owen Lynch | Stateful Lenses
Title: Stateful Lenses - A Recipe for Expressive Systems-Theoretic Cartesian Double Categories
Abstract: This is a talk on work-in-progress that was started with David Spivak, and this abstract should be seen as well-motivated conjecture rather than math that has been completely worked out. Double categorical systems theory tells us how to unify various types of system under a single heading: operad algebras of symmetric monoidal double categories. Both resource sharers being composed by undirected wiring diagrams and Moore machines being composed by directed wiring diagrams are examples of double categorical systems theories. However, it turns out that both resource sharers and Moore machines can be found in the same (cartesian!) double category: resource sharers make up the horizontal morphisms into the (vertically) terminal object, and Moore machines make up the horizontal morphisms out of the (vertically) terminal object. Even better, variants of this construction produce both discrete and continuous resource sharers/Moore machines. Another special case of these stateful lenses include the energy-driven open systems from Spivak, Capucci, and _s Organizing Physics paper. Finally, the fact that stateful lenses form a cartesian double category dramatically reduces the amount of structure in formulating them compared to the double operad/operad algebra perspective on Moore machines/resource sharers.
https://topos.site/events/berkeley-seminar/")
![[2-torial] Tim tells Jason about Deformation Theory [3/3]](https://i.ytimg.com/vi/vxceguk8DRY/mqdefault.jpg "[2-torial] Tim tells Jason about Deformation Theory [3/3]
[2-torial] Tim tells Jason about Deformation Theory [3/3]")
![[2-torial] Tim tells Jason about Deformation Theory [2/3]](https://i.ytimg.com/vi/w1tKHbphFlc/mqdefault.jpg "[2-torial] Tim tells Jason about Deformation Theory [2/3]
[2-torial] Tim tells Jason about Deformation Theory [2/3]")
![[Oxford Seminar] David Corfield | Categorical systems theory: control and emergence](https://i.ytimg.com/vi/wSWmHZNjpzg/mqdefault.jpg "[Oxford Seminar] David Corfield | Categorical systems theory: control and emergence
Oxford Seminar, March 5 2026
Speaker: David Corfield
Also appearing in this recording are David Jaz Myers and Matteo Capucci.
Full Title: Categorical systems theory: control and emergence
Abstract: This will be an informal session with plenty of discussion time, investigating a couple of concepts that arise from the category-theoretic treatment of systems.
*(1) Control*
How inputs to a system regulate its behaviour. Starting points: (a) In response to the active inference program, some recent articles (e.g., https://arxiv.org/abs/2406.07577 and https://arxiv.org/abs/2508.06326) have looked to understand autonomous systems as composed of agent and controller subsystems, equipped with dual interfaces; (b) Ordinary Lyapunov functions have been treated category-theoretically (https://arxiv.org/abs/2502.15276), work that should be extendable to variants. Where ISS (input-to-state stability) Lyapunov functions concern stability under any external perturbation, control Lyapunov functions concern stability under a chosen input.
*(2) Emergence*
Phenomena where the composite behaviour of the parts does not equate to the behaviour of the composite. Starting points: (a) Elie Adams thesis, Systems, Generativity and Interactional Effects (https://elieadam.com/eadam_PhDThesis.pdf); (b) Puca et al. on Failures of compositionality (https://arxiv.org/abs/2307.14461) (c) Erik Hoel on causal emergence (e.g., https://arxiv.org/abs/2202.01854). Two relevant CT constructions appear to be laxness of functors and coarse-graining as epimorphisms, potentially fitting well with a double category-theoretic outlook.")
