In April, I attended the Mathematical Boundaries Workshop with many fellow Topos researchers. I had two big takeaways:
This is a companion discussion topic for the original entry at https://topos.site/blog/2024-04-25-ontological-commitments-for-boundaries/