2025_june_talks

In the past few weeks I have given two talks on the topic of what I am calling arboreal coreflections, one at the Applied Category Theory (ACT) 2025 conference in Gainesville, Florida, USA; and another at the Foundational Methods in Computer Science (FMCS) 2025 Workshop in Ottawa, Canada.